Reference : On the Entailment Problem for a Logic of Typicality
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/23776
On the Entailment Problem for a Logic of Typicality
English
Booth, Richard mailto [Mahasarakham University]
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 > > Full professor]
Varzinczak, Ivan mailto [Universidade Federal do Rio de Janeiro]
2015
Proceedings of the TwentyFourth International Joint Conference on Artificial Intelligence. Buenos Aires, Argentina, 25–31 July 2015
Yang, Qiang
Wooldridge, Michael
AAAI Press
2805-2811
Yes
International
978-1-57735-738-4
Palo Alto
California, USA
24th International Joint Conference on Artificial Intelligence
from 25-07-2015 to 31-07-2015
Buenos Aires
Argentina
[en] typicality ; nonmonotonic reasoning ; uncertain reasoning
[en] Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical
propositional logic with a typicality operator. 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. We investigate different (semantic) versions of entailment for PTL, based on the notion of Rational Closure as defined by Lehmann and Magidor
for KLM-style conditionals, and constructed using minimality. 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 define two primary forms of entailment for PTL and discuss their advantages and disadvantages.
FNR and Marie Curie Actions of the European Commission
Researchers
http://hdl.handle.net/10993/23776
FnR ; FNR9181001 > Giovanni Casini > > Subjective and Objective Uncertainty in Description Logics > 01/07/2015 > 30/06/2017 > 2014

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
IJCAI15-397.pdfPublisher postprint519.45 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.