On Rational Entailment for Propositional Typicality Logic.
Richard BoothGiovanni CasiniThomas Andreas MeyerIvan VarzinczakPublished in: CoRR (2018)
Keyphrases
- probabilistic logic
- rationality postulates
- logic programming
- sound and complete axiomatization
- multi valued
- classical first order logic
- classical logic
- maximum entropy
- probabilistic reasoning
- propositional logic
- probabilistic knowledge
- propositional variables
- default reasoning
- decision making
- statistical relational learning
- general logic programs
- probability theory
- predicate calculus
- first order logic
- autoepistemic logic
- abductive reasoning
- proof procedure
- deductive reasoning
- default logic
- belief revision
- logic programs
- logic based argumentation
- polynomial hierarchy
- belief base
- theorem proving
- programming language
- predicate logic
- knowledge representation
- dynamic logic
- truth maintenance systems
- nonmonotonic logics
- logical theories
- default theories
- horn clauses
- coalition logic
- np complete