Prioritized logic programming and its application to commonsense reasoning.
Chiaki SakamaKatsumi InouePublished in: Artif. Intell. (2000)
Keyphrases
- logic programming
- commonsense reasoning
- nonmonotonic reasoning
- classical logic
- knowledge representation
- logic programs
- event calculus
- deductive databases
- autoepistemic logic
- default reasoning
- reasoning tasks
- default logic
- logic programming language
- programming language
- knowledge representation and reasoning
- nonmonotonic logics
- possibility theory
- answer set programming
- knowledge base
- inductive logic programming
- answer sets
- probabilistic reasoning
- stable models
- fixpoint
- default theories
- expert systems
- high level
- expressive power
- domain knowledge
- multi agent systems