From KLM-style conditionals to defeasible modalities, and back

Abstract We investigate an aspect of defeasibility that has somewhat been overlooked by the non-monotonic reasoning community, namely that of defeasible modes of reasoning. These aim to formalise defeasibility of the traditional notion of necessity in modal logic, in particular of its different readings as action, knowledge and others in specific contexts, rather than defeasibility of conditional forms. Building on an extension of the preferential approach to modal logics, we introduce new modal osperators with which to formalise the notion of defeasible necessity and distinct possibility, and that can be used to represent expected effects, refutable knowledge, and so on. We show how KLM-style conditionals can smoothly be integrated with our richer language. We also propose a tableau calculus which is sound and complete with respect to our modal preferential semantics, and of which the computational complexity remains in the same class as that of the underlying classical modal logic.

[1]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[2]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[3]  Joseph Y. Halpern,et al.  Plausibility measures and default reasoning , 1996, JACM.

[4]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[5]  Richard Booth,et al.  A propositional typicality logic for extending rational consequence , 2013 .

[6]  Jennifer Nacht,et al.  Modal Logic An Introduction , 2016 .

[7]  Frank Wolter,et al.  Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.

[8]  Alexandru Baltag,et al.  A qualitative theory of dynamic interactive belief revision , 2008 .

[9]  Kodylan Moodley,et al.  Ordered Interpretations and Entailment for Defeasible Description Logics , 2014 .

[10]  Thomas Andreas Meyer,et al.  Normal Modal Preferential Consequence , 2012, Australasian Conference on Artificial Intelligence.

[11]  Richard E. Ladner,et al.  The Computational Complexity of Provability in Systems of Modal Propositional Logic , 1977, SIAM J. Comput..

[12]  A. Baltag,et al.  Dynamic Belief Revision over Multi-Agent Plausibility Models , 2006 .

[13]  Erwin Engeler,et al.  Languages with expressions of infinite length , 1966 .

[14]  Katarina Britz,et al.  Defeasible Modalities , 2013, TARK.

[15]  Laura Giordano,et al.  A non-monotonic Description Logic for reasoning about typicality , 2013, Artif. Intell..

[16]  Philippe Lamarre,et al.  On the Connection between Non-monotonic Inference Systems and Conditional Logics , 1992, KR.

[17]  Richard Booth,et al.  PTL: A Propositional Typicality Logic , 2012, JELIA.

[18]  Thomas Andreas Meyer,et al.  Preferential Role Restrictions , 2013, Description Logics.

[19]  Craig Boutilier,et al.  Conditional Logics of Normality: A Modal Approach , 1994, Artif. Intell..

[20]  Thomas Andreas Meyer,et al.  Modelling Object Typicality in Description Logics , 2009, Description Logics.

[21]  Katarina Britz,et al.  Context-based defeasible subsumption for dSROIQ , 2017, COMMONSENSE.

[22]  Laura Giordano,et al.  Preferential Description Logics , 2007, LPAR.

[23]  Andreas Herzig,et al.  Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..

[24]  Lars Lindahl,et al.  Logical Theory and Semantic Analysis , 1974 .

[25]  Thomas Andreas Meyer,et al.  Semantic Preferential Subsumption , 2008, KR.

[26]  Richard Booth,et al.  On the Entailment Problem for a Logic of Typicality , 2015, IJCAI.

[27]  James P. Delgrande,et al.  An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report , 1987, Artif. Intell..

[28]  Keith Lehrer,et al.  Knowledge: Undefeated Justified True Belief , 1969 .

[29]  Guido Governatori,et al.  Possible World Semantics for Defeasible Deontic Logic , 2012, DEON.

[30]  Ivan Varzinczak,et al.  Causalidade e Dependência em Raciocínio sobre Ações , 2002 .

[31]  Robert Stalnaker.  A Theory of Conditionals , 2019, Knowledge and Conditionals.

[32]  Y. Shoham.  Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

[33]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[34]  Edmund L. Gettier.  Is Justified True Belief Knowledge? , 1963, Arguing About Knowledge.

[35]  Jérôme Lang,et al.  From Knowledge-based Programs to Graded Belief-based Programs, Part I: On-line Reasoning* , 2004, Synthese.

[36]  Laura Giordano,et al.  Analytic tableaux calculi for KLM logics of nonmonotonic reasoning , 2006, TOCL.

[37]  Laura Giordano,et al.  ALC + T: a Preferential Extension of Description Logics , 2009, Fundam. Informaticae.

[38]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

[39]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[40]  B. Hansson.  An analysis of some deontic logics , 1969 .

[41]  Laura Giordano,et al.  Reasoning about Typicality in Preferential Description Logics , 2008, JELIA.

[42]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[43]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[44]  Dimitris Askounis,et al.  Knowledge means ‘all’, belief means ‘most’ , 2016, J. Appl. Non Class. Logics.

[45]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[46]  Barteld Kooi,et al.  Logic and the foundations of game and decision theory (LOFT 7) , 2008 .

[47]  James P. Delgrande,et al.  A First-Order Conditional Logic for Prototypical Properties , 1987, Artif. Intell..

[48]  Thomas Andreas Meyer,et al.  Preferential Reasoning for Modal Logics , 2011, M4M/LAMAS.

[49]  Mario R. F. Benevides,et al.  On vague notions and modalities: a modular approach , 2010, Log. J. IGPL.

[50]  Thomas Andreas Meyer,et al.  Semantic Foundation for Preferential Description Logics , 2011, Australasian Conference on Artificial Intelligence.

[51]  Katarina Britz,et al.  Introducing Role Defeasibility in Description Logics , 2016, JELIA.

[52]  Dimitris Askounis,et al.  Knowledge Means 'All', Belief Means 'Most' , 2012, JELIA.

[53]  Thomas Andreas Meyer,et al.  Introducing Defeasibility into OWL Ontologies , 2015, International Semantic Web Conference.

[54]  Katarina Britz,et al.  Preferential Accessibility and Preferred Worlds , 2018, J. Log. Lang. Inf..

[55]  Laura Giordano,et al.  Semantic characterization of rational closure: From propositional logic to description logics , 2015, Artif. Intell..

[56]  David Makinson,et al.  Five faces of minimality , 1993, Stud Logica.

[57]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[58]  Katarina Britz,et al.  Defeasible modes of inference: A preferential perspective , 2012 .

[59]  Rajeev Goré,et al.  Tableau Methods for Modal and Temporal Logics , 1999 .

[60]  Laura Giordano,et al.  A Minimal Model Semantics for Nonmonotonic Reasoning , 2012, JELIA.

[61]  Andreas Herzig,et al.  It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation , 2002, NMR.

[62]  David Lewis,et al.  Semantic Analyses for Dyadic Deontic Logic , 1974 .