A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor.
Christopher J. MatheusMieczyslaw M. KokarRobert DionnePublished in: POLICY (2008)
Keyphrases
- logical reasoning
- formal models
- fuzzy description logics
- formal model
- optimal policy
- reasoning systems
- derivation rules
- decision making
- policy makers
- qualitative reasoning
- infinite horizon
- knowledge representation
- knowledge base
- automated reasoning
- formal language
- reasoning processes
- deductive reasoning
- legal argument