On rational entailment for Propositional Typicality Logic.
Richard BoothGiovanni CasiniThomas MeyerIvan VarzinczakPublished in: Artif. Intell. (2019)
Keyphrases
- probabilistic logic
- logic programming
- rationality postulates
- sound and complete axiomatization
- multi valued
- maximum entropy
- classical first order logic
- probabilistic reasoning
- default logic
- deductive reasoning
- propositional variables
- default reasoning
- abductive reasoning
- predicate calculus
- classical logic
- probability theory
- np complete
- logic programs
- horn clauses
- propositional logic
- first order logic
- statistical relational learning
- autoepistemic logic
- probabilistic knowledge
- logic based argumentation
- general logic programs
- proof procedure
- polynomial hierarchy
- conditional logic
- belief base
- modal logic
- belief revision
- decision making
- logical theories
- nonmonotonic reasoning
- knowledge representation