Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories.
Robin KaarsgaardPublished in: MFPS (2019)
Keyphrases
- decision making
- sufficient conditions
- decision rules
- real world
- decision problems
- decision makers
- logic programming
- classical logic
- automatically classify
- digital circuits
- decision processes
- decision model
- epistemic logic
- predicate logic
- nonmonotonic logics
- multi valued
- automated reasoning
- decision process
- modal logic
- data mining