Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems.
Jingde ChengPublished in: KES (2) (2008)
Keyphrases
- legal knowledge
- information systems
- deontic logic
- legal texts
- classical logic
- knowledge base
- formal theory
- probabilistic knowledge
- knowledge representation
- logic programming
- logical operations
- legal ontologies
- logical rules
- probabilistic logic
- logical framework
- dynamic logic
- information technology
- predicate logic
- predicate calculus
- qualitative reasoning
- logical representation
- legal reasoning
- lambda calculus
- truth values
- multi valued
- automated reasoning
- nonmonotonic logics
- practical reasoning
- spatial reasoning
- inference rules
- modal logic
- inconsistent knowledge
- expert systems