Safe Haskell	None
Language	Haskell98

Language.Carneades.CarneadesDSL

Documentation

type PropLiteral = (Bool, String) Source

negate :: PropLiteral -> PropLiteral Source

newtype Argument Source

Constructors

Arg ([PropLiteral], [PropLiteral], PropLiteral)

Instances

Eq Argument Source
Ord Argument Source
Show Argument Source

showProp :: PropLiteral -> String Source

type ArgSet = Gr (PropLiteral, [Argument]) () Source

newtype CAES Source

Constructors

CAES (ArgSet, Audience, PropStandard)

type Audience = (Assumptions, ArgWeight) Source

type Assumptions = [PropLiteral] Source

type ArgWeight = Argument -> Weight Source

type Weight = Double Source

type PropStandard = PropLiteral -> PSName Source

data PSName Source

Constructors

Scintilla
Preponderance
ClearAndConvincing
BeyondReasonableDoubt
DialecticalValidity

Instances

Eq PSName Source
Show PSName Source

type ProofStandard = PropLiteral -> CAES -> Bool Source

newtype ProofStandardNamed Source

Constructors

P (String, PropLiteral -> CAES -> Bool)

Instances

Eq ProofStandardNamed Source

applicable :: Argument -> CAES -> Bool Source

acceptable :: PropLiteral -> CAES -> Bool Source

scintilla :: ProofStandard Source

maxWeightApplicable :: [Argument] -> CAES -> Weight Source

maxWeightPro :: PropLiteral -> CAES -> Weight Source

maxWeightCon :: PropLiteral -> CAES -> Weight Source

preponderance :: ProofStandard Source

clear_and_convincing :: ProofStandard Source

beyond_reasonable_doubt :: ProofStandard Source

dialectical_validity :: ProofStandard Source

psMap :: PSName -> ProofStandard Source

getAllArgs :: ArgSet -> [Argument] Source

getProps :: ArgSet -> [PropLiteral] Source

applicableArgs :: CAES -> [Argument] Source

nonApplicableArgs :: CAES -> [Argument] Source

acceptableProps :: CAES -> [PropLiteral] Source

nonAcceptableProps :: CAES -> [PropLiteral] Source

contextP :: PropLiteral -> AGraph -> [Context (PropLiteral, [Argument]) ()] Source

getArgs :: PropLiteral -> AGraph -> [Argument] Source

type AGraph = ArgSet Source

type PropNode = LNode (PropLiteral, [Argument]) Source

type AssociatedGraph = (AGraph, Map PropLiteral Node) Source

mkArgSet :: [Argument] -> ArgSet Source

mkArgGraph :: [Argument] -> AGraph Source

addArgument :: Argument -> AssociatedGraph -> AssociatedGraph Source

addToContext :: Argument -> (Context (PropLiteral, [Argument]) (), AGraph) -> AGraph Source

unsafeMatch :: Graph gr => Node -> gr a b -> (Context a b, gr a b) Source

addArgument' :: Argument -> AssociatedGraph -> (AssociatedGraph, Node) Source

addNode :: PropLiteral -> AssociatedGraph -> (AssociatedGraph, Node) Source

addEdges :: Node -> [PropLiteral] -> AssociatedGraph -> AssociatedGraph Source

addEdges' :: Node -> [Node] -> AssociatedGraph -> AssociatedGraph Source

propsToNodes :: [PropLiteral] -> Node -> [PropNode] Source

checkCycle :: AGraph -> Bool Source

mkProp :: String -> PropLiteral Source

mkAssumptions :: [String] -> [PropLiteral] Source

mkArg :: [String] -> [String] -> String -> Argument Source

alpha :: Double Source

beta :: Double Source

gamma :: Double Source