Booth, Richard and Casini, Giovanni and Meyer, Thomas and Varzinczak, Ivan (2015) What Does Entailment for PTL Mean?, Proceedings of Twelfth International Symposium on Logical Formalization on Commonsense Reasoning (Commonsense), 23-25 March 2015, Stanford, California, USA, 39-45, AAAI Press.
PDF
10280-45256-1-PB.pdf Download (520kB) |
Abstract
We continue recent investigations into the problem of reason- ing about typicality. We do so in the framework of Propositional Typicality Logic (PTL), which is obtained by enriching classical propositional logic with a typicality operator and characterized by a preferential semantics a la KLM. In this paper we study different notions of entailment for PTL. We take as a starting point the notion of Rational Closure defined for KLM-style conditionals. We show that the additional expressivity of PTL results in different versions of Rational Closure for PTL — versions that are equivalent with respect to the conditional language originally proposed by KLM.
Item Type: | Conference paper |
---|---|
Subjects: | Computing methodologies > Artificial intelligence |
Alternate Locations: | https://www.aaai.org/ocs/index.php/SSS/SSS15/paper/viewFile/10280/10069 |
Date Deposited: | 11 Mar 2016 |
Last Modified: | 10 Oct 2019 15:32 |
URI: | http://pubs.cs.uct.ac.za/id/eprint/1069 |
Actions (login required)
View Item |