Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases.
Newton C. A. da CostaV. S. SubrahmanianPublished in: Artif. Intell. Medicine (1989)
Keyphrases
- inconsistent knowledge
- temporal knowledge
- knowledge base
- formal theory
- knowledge representation
- temporal reasoning
- knowledge based systems
- modal operators
- temporal information
- temporal logic
- description logics
- qualitative spatial
- spatial reasoning
- formal representation
- knowledge acquisition
- causal reasoning
- reasoning about physical systems
- first order logic
- modal logic
- representation language
- qualitative spatial reasoning
- logic programming
- knowledge representation formalisms
- expert systems
- concurrent actions
- inference rules
- formal model
- belief revision