Reference : On Rational Entailment for Propositional Typicality Logic
Scientific journals : Article
Engineering, computing & technology : Computer science
Computational Sciences
http://hdl.handle.net/10993/42725
On Rational Entailment for Propositional Typicality Logic
English
Booth, Richard mailto [Cardiff University > Computer Science]
Casini, Giovanni mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Meyer, Thomas mailto [University of Cape Town > Computer Science]
Varzinczak, Ivan mailto [Université d'Artois > Computer Science]
In press
Artificial Intelligence
Elsevier
Yes (verified by ORBilu)
International
0004-3702
Netherlands
[en] Propositional Typicality Logic (PTL) is a recently proposed logic, ob- tained by enriching classical propositional logic with a typicality opera- tor 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 preferen- tial 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 impossibil- ity 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 in- vestigate 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.
Researchers
http://hdl.handle.net/10993/42725
10.1016/j.artint.2019.103178
https://www.sciencedirect.com/science/article/abs/pii/S000437021830506X?via%3Dihub
The original publication is available at https://doi.org/10.1016/j.artint.2019.103178.
H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
PTL ArXiv.pdfAuthor preprint463.22 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.