Paraconsistent Knowledge Bases and Many-Valued Logic.
Jørgen VilladsenPublished in: BalticDB&IS (2002)
Keyphrases
- truth values
- logic programming
- knowledge base
- modal logic
- possibilistic logic
- inconsistent knowledge
- inference rules
- classical logic
- multi valued
- logic programs
- knowledge representation
- nonmonotonic reasoning
- knowledge based systems
- description logics
- fixpoint
- knowledge acquisition
- deductive databases
- artificial intelligence
- reasoning process
- answer sets
- programming language
- logical framework
- valued logic
- reasoning tasks
- possibility theory
- temporal logic
- knowledge sources
- predicate logic
- autoepistemic logic
- expert systems
- temporal knowledge
- aggregation functions
- expressive power