What Does Entailment for PTL Mean?

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.

[img] PDF

Download (520kB)


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 View Item