| Safe Haskell | None |
|---|
Language.Carneades.ExampleCAES
- arg1 :: Argument
- arg3 :: Argument
- arg2 :: Argument
- argSet :: ArgSet
- weight :: ArgWeight
- assumptions :: [PropLiteral]
- audience :: Audience
- standard :: PropStandard
- caes :: CAES
- testAppIntent :: [Argument]
- testAppNotIntent :: [Argument]
- testAppMurder :: [Argument]
- testAppNotMurder :: [Argument]
- testMurder :: Bool
- testNotMurder :: Bool
- parse :: IO ()
Documentation
mkAssumptions| on the propositions which are to be assumed. The audience is just a pair of these: