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

Safe HaskellNone

Language.Carneades.ExampleCAES

Synopsis

Documentation

arg1 :: ArgumentSource

mkArgSet| respectively:

arg3 :: ArgumentSource

mkArgSet| respectively:

arg2 :: ArgumentSource

mkArgSet| respectively:

weight :: ArgWeightSource

mkAssumptions| on the propositions which are to be assumed. The audience is just a pair of these: