On rational entailment for propositional typicality logic
From MaRDI portal
Abstract: Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator capturing the most typical (alias normal or conventional) situations in which a given sentence holds. The semantics of PTL is in terms of ranked models as studied in the well-known KLM approach to preferential reasoning and therefore KLM-style rational consequence relations can be embedded in PTL. In spite of the non-monotonic features introduced by the semantics adopted for the typicality operator, the obvious Tarskian definition of entailment for PTL remains monotonic and is therefore not appropriate in many contexts. Our first important result is an impossibility theorem showing that a set of proposed postulates that at first all seem appropriate for a notion of entailment with regard to typicality cannot be satisfied simultaneously. Closer inspection reveals that this result is best interpreted as an argument for advocating the development of more than one type of PTL entailment. In the spirit of this interpretation, we investigate three different (semantic) versions of entailment for PTL, each one based on the definition of rational closure as introduced by Lehmann and Magidor for KLM-style conditionals, and constructed using different notions of minimality.
Recommendations
- PTL: a propositional typicality logic
- A propositional typicality logic for extending rational consequence
- Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure
- A non-monotonic description logic for reasoning about typicality
- Typicalities and probabilities of exceptions in nonmotonic description logics
Cites work
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
- A first-order conditional logic for prototypical properties
- A KLM perspective on defeasible reasoning for description logics
- A Minimal Model Semantics for Nonmonotonic Reasoning
- A non-monotonic description logic for reasoning about typicality
- A nonmonotonic extension of KLM preferential logic P
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- A note on the rational closure of knowledge bases with both positive and negative knowledge
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- A propositional typicality logic for extending rational consequence
- Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
- Another perspective on default reasoning
- Circumscription - a form of non-monotonic reasoning
- Conditional logics of normality: A modal approach
- Defeasible inheritance-based description logics
- From KLM-style conditionals to defeasible modalities, and back
- scientific article; zbMATH DE number 592370 (Why is no real title available?)
- scientific article; zbMATH DE number 2239772 (Why is no real title available?)
- Introducing role defeasibility in description logics
- Nonmonotonic reasoning, preferential models and cumulative logics
- Preferential accessibility and preferred worlds
- Preferential Description Logics
- Preferential reasoning for modal logics
- PTL: a propositional typicality logic
- Rational Closure for Defeasible Description Logics
- Reasoning about Typicality in Preferential Description Logics
- Semantic characterization of rational closure: from propositional logic to description logics
- What does a conditional knowledge base entail?
Cited in
(9)- Preferential accessibility and preferred worlds
- On the KLM properties of a fuzzy DL with typicality
- Proto-entailment in RS logic
- PTL: a propositional typicality logic
- A propositional typicality logic for extending rational consequence
- Situated conditional reasoning
- A preferential interpretation of multilayer perceptrons in a conditional logic with typicality
- A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation
- On the disjunctive rational closure of a conditional knowledge base
This page was built for publication: On rational entailment for propositional typicality logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2289021)
