Safe Haskell	Safe-Inferred
Language	Haskell2010

SMCDEL.Examples.Toynabi

Synopsis

cardIsAt :: Int -> Int -> Int -> Int -> Int -> Prp
toPlay :: Int -> Int -> Int -> Prp
done :: Int -> Int -> Prp
vocab :: Int -> Int -> IO ()
explain :: Int -> Int -> Prp -> String
explainState :: Int -> Int -> State -> String
toynabiStartFor :: Int -> Int -> MultipointedKnowScene
tell :: Int -> Int -> Int -> Int -> Int -> Labelled MultipointedEvent
play :: Int -> Int -> Int -> Int -> Labelled MultipointedEvent
toynabiGoal :: Int -> Int -> Form
toynabi :: Int -> Int -> CoopTask MultipointedKnowScene MultipointedEvent
exampleResult :: PointedModelS5

Documentation

cardIsAt :: Int -> Int -> Int -> Int -> Int -> Prp Source #

Given nPlayers and nCards in total, this proposition encodes that player i has card c in position p. Note that we start counting players with 1, but cards and positions with 0.

toPlay :: Int -> Int -> Int -> Prp Source #

A proposition to say that the card c should be played next.

done :: Int -> Int -> Prp Source #

This proposition says that the game has ended.

vocab :: Int -> Int -> IO () Source #

Print and translate the vocabulary in both directions, just for debugging.

explain :: Int -> Int -> Prp -> String Source #

explainState :: Int -> Int -> State -> String Source #

toynabiStartFor :: Int -> Int -> MultipointedKnowScene Source #

The starting knowledge structure.

tell :: Int -> Int -> Int -> Int -> Int -> Labelled MultipointedEvent Source #

Tell agent i that they have card c at position p.

play :: Int -> Int -> Int -> Int -> Labelled MultipointedEvent Source #

Let agent i play the card at position p.

toynabiGoal :: Int -> Int -> Form Source #

The goal.

toynabi :: Int -> Int -> CoopTask MultipointedKnowScene MultipointedEvent Source #

The whole cooperative planning task.

exampleResult :: PointedModelS5 Source #

An example result to test whether updating works, translated to a Kripke model.