CarneadesDSL-1.3: An implementation and DSL for the Carneades argumentation model.

Safe HaskellNone
LanguageHaskell98

Language.Carneades.ExampleCAES

Documentation

arg1 :: Argument Source

arg2 :: Argument Source

arg3 :: Argument Source

argSet :: ArgSet Source

weight :: ArgWeight Source

assumptions :: [PropLiteral] Source

audience :: Audience Source

standard :: PropStandard Source

caes :: CAES Source

testAppIntent :: [Argument] Source

testAppNotIntent :: [Argument] Source

testAppMurder :: [Argument] Source

testAppNotMurder :: [Argument] Source

testMurder :: Bool Source

testNotMurder :: Bool Source

parse :: IO () Source