2015 • In Yang, Qiang; Wooldridge, Michael (Eds.) Proceedings of the TwentyFourth International Joint Conference on Artificial Intelligence. Buenos Aires, Argentina, 25–31 July 2015
[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.
CASINI, Giovanni ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Meyer, Thomas; University of Cape Town > Computer Science > Full professor
Varzinczak, Ivan; Universidade Federal do Rio de Janeiro
External co-authors :
yes
Language :
English
Title :
On the Entailment Problem for a Logic of Typicality
Publication date :
2015
Event name :
24th International Joint Conference on Artificial Intelligence
Event place :
Buenos Aires, Argentina
Event date :
from 25-07-2015 to 31-07-2015
Audience :
International
Main work title :
Proceedings of the TwentyFourth International Joint Conference on Artificial Intelligence. Buenos Aires, Argentina, 25–31 July 2015
Editor :
Yang, Qiang
Wooldridge, Michael
Publisher :
AAAI Press, Palo Alto, United States - California
ISBN/EAN :
978-1-57735-738-4
Pages :
2805-2811
Peer reviewed :
Peer reviewed
FnR Project :
FNR9181001 - Subjective And Objective Uncertainty In Description Logics, 2014 (01/07/2015-30/06/2017) - Giovanni Casini
Name of the research project :
Subjective and Objective Uncertainty in Description Logics (SOUL)
Funders :
FNR and Marie Curie Actions of the European Commission
R. Booth and J.B. Paris. A note on the rational closure of knowledge bases with both positive and negative knowledge. Journal of Logic, Language and Information, 7(2):165-190, 1998.
R. Booth, T. Meyer, and I. Varzinczak. PTL: A propositional typicality logic. In L. Fariñas del Cerro, A. Herzig, and J. Mengin, editors, Proc. of the 13th Eur. Conf. on Logics in Artificial Intelligence (JELIA), number 7519 in LNCS, pages 107-119. Springer, 2012.
R. Booth, T. Meyer, and I. Varzinczak. A propositional typicality logic for extending rational consequence. In E.L. Fermé, D.M. Gabbay, and G.R. Simari, editors, Trends in Belief Revision and Argumentation Dynamics, volume 48 of Studies in Logic, pages 123-154. King's College Publications, 2013.
R. Booth, G. Casini, T. Meyer, and I. Varzinczak. What does entailment for PTL mean? In Proceedings of the 12th International Symposium on Logical Formalizations of Commonsense Reasoning, 2015.
K. Britz and I. Varzinczak. Defeasible modalities. In Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), pages 49-60, 2013.
K. Britz, J. Heidema, and W. Labuschagne. Semantics for dual preferential entailment. Journal of Philosophical Logic, 38:433-446, 2009.
K. Britz, T. Meyer, and I. Varzinczak. Preferential reasoning for modal logics. Electronic Notes in Theoretical Computer Science, 278:55-69, 2011.
K. Britz, T. Meyer, and I. Varzinczak. Semantic foundation for preferential description logics. In D. Wang and M. Reynolds, editors, Proc. of the 24th Australasian Joint Conference on Artificial Intelligence, number 7106 in LNAI, pages 491-500. Springer, 2011.
K. Britz, G. Casini, T. Meyer, K. Moodley, and I. Varzinczak. Ordered interpretations and entailment for defeasible description logics. Technical report, CAIR, CSIR Meraka and UKZN, South Africa, 2013.
L. Giordano, V. Gliozzi, N. Olivetti, and G.L. Pozzato. ALC'T: a preferential extension of description logics. Fundamenta Informaticae, 96(3):341-372, 2009.
L. Giordano, N. Olivetti, V. Gliozzi, and G.L. Pozzato. A minimal model semantics for nonmonotonic reasoning. In L. Fariñas del Cerro, A. Herzig, and J. Mengin, editors, Proc. of the 13th Eur. Conf. on Logics in Artificial Intelligence (JELIA), number 7519 in LNCS, pages 228-241. Springer, 2012.
L. Giordano, N. Olivetti, V. Gliozzi, and G.L. Pozzato. A non-monotonic description logic for reasoning about typicality. Artificial Intelligence, 195:165-202, 2013.
S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-207, 1990.
D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55:1-60, 1992.
D. Lehmann. Another perspective on default reasoning. Annals of Mathematics and Artificial Intelligence, 15(1):61-82, 1995.
Y. Shoham. Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, 1988.