A Reconstruction of Default Conditionals within Epistemic Logic

• Autorzy: Koutras Costas D. , Moyzes Christos , Rantsoudis Christos

Identyfikatory

DOI

10.3233/FI-2019-1799

• Języki publikacji: EN

Abstrakty

EN

Default conditionals are statements that express a condition of normality, in the form ‘if φ then normally ψ’ and are of primary importance in Knowledge Representation. There exist modal approaches to the construction of conditional logics of normality. Most of them are built on notions of preference among possible worlds, corresponding to the semantic intuition that φ ⇒ ψ is true in a situation if in the most preferred (most ‘normal’) situations in which φ is true, ψ is also true. It has been noticed that there exist natural epistemic readings of a default conditional, but this direction has not been thoroughly explored. A statement of the form ‘something known to be a bird, that can be consistently believed to fly, does fly’ involves well-known epistemic attitudes and allows the possibility of defining defaults within the rich framework of Epistemic Logic. We pursue this direction here and proceed to define conditionals within KBE, a recently introduced S4.2-based modal logic of knowledge, belief and estimation. In this logic, knowledge is a normal S4 operator, belief is a normal KD45 operator and estimation is a non-normal operator interpreted as a ‘majority’ quantifier over the set of epistemically alternative situations. We define and explore various conditionals using the epistemic operators of KBE, capturing φ ⇒ ψ in various ways, including ‘according to the agent’s knowledge, an estimation that φ is true implies the estimation that (φ∧ψ) is true’ or ‘if φ is known and there is no reason to believe ¬ψ then ψ can be plausibly inferred’. Overall, we define here three nonmonotonic default conditionals, one conditional satisfying monotonicity (strengthening the antecedent) and two nonmonotonic conditionals that do not satisfy the ubiquitous axiom ID (reflexivity). Our project provides concrete evidence that the machinery of epistemic logic can be exploited for the study of default conditionals.

Słowa kluczowe

EN

conditional logic; default reasoning; epistemic logic

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2019
• Tom: Vol. 166, nr 2
• Strony: 167--197
• Opis fizyczny: Bibliogr. 52 poz., rys., tab.

Twórcy

autor

Koutras Costas D.

• Department of Informatics and Telecommunications, University of Peloponnese, Tripolis, Greece

autor

Moyzes Christos

• KR Group, Department of Computer Science, University of Liverpool, Liverpool, UK

autor

Rantsoudis Christos

• Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse, France

Bibliografia

• [1] Delgrande J. An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report. Artificial Intelligence, 1988. 36(1):63-90. doi:10.1016/0004-3702(88)90079-3. URL http://dx.doi.org/10.1016/0004-3702(88)90079-3.
• [2] Delgrande J. A First-Order Conditional Logic for Prototypical Properties. Artificial Intelligence, 1987.33(1):105-130. doi:10.1016/0004-3702(87)90053-1. URL http://dx.doi.org/10.1016/0004-3702(87)90053-1.
• [3] Ginsberg M. Counterfactuals. Artificial Intelligence, 1986. 30(1):35-79. doi:10.1016/0004-3702(86)90067-6. URL http://dx.doi.org/10.1016/0004-3702(86)90067-6.
• [4] Boutilier C. Conditional logics for default reasoning and belief revision. Ph.D. thesis, University of Toronto, 1992.
• [5] Lamarre P. S4 as the Conditional Logic of Nonmonotonicity. In: Allen JF, Fikes R, Sandewall E (eds.), Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR’91). Cambridge, MA, USA, April 22-25, 1991. Morgan Kaufmann. 1991 pp. 357-367. ISBN 1-55860-165-1.
• [6] Bell J. The Logic of Nonmonotonicity. Artificial Intelligence, 1990. 41(3):365-374. doi:10.1016/0004-3702(90)90048-5. URL http://dx.doi.org/10.1016/0004-3702(90)90048-5.
• [7] Kraus S, Lehmann D, Magidor M. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artificial Intelligence, 1990. 44(1-2):167-207. doi:10.1016/0004-3702(90)90101-5. URL http://dx.doi.org/10.1016/0004-3702(90)90101-5.
• [8] Crocco G, Lamarre P. On the Connection between Non-monotonic Inference Systems and Conditional Logics. In: Nebel B, Rich C, Swartout WR (eds.), Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR’92). Cambridge, MA, October 25-29, 1992. Morgan Kaufmann. 1992 pp. 565-571. ISBN 1-55860-262-3.
• [9] del Cerro LF, Herzig A, Lang J. From Ordering-Based Nonmonotonic Reasoning to Conditional Logics. Artificial Intelligence, 1994. 66(2):375-393. doi:10.1016/0004-3702(94)90031-0. URL http://dx.doi.org/10.1016/0004-3702(94)90031-0.
• [10] Delgrande J. What’s in a Default? Thoughts on the Nature and Role of Defaults in Nonmonotonic Reasoning. In: Brewka G, Marek VW, Truszczyński M (eds.), Non Monotonic Reasoning, Essays celebrating its 30th anniversary, volume 31 of Studies in Logic. College Publications, 2012 pp. 89-110.
• [11] Reiter R. A Logic for Default Reasoning. Artificial Intelligence, 1980. 13(1-2):81-132. URL https://doi.org/10.1016/0004-3702(80)90014-4.
• [12] Geffner H, Pearl J. Conditional Entailment: Bridging two Approaches to Default Reasoning. Artificial Intelligence, 1992. 53(2-3):209-244. doi:10.1016/0004-3702(92)90071-5. URL http://dx.doi.org/10.1016/0004-3702(92)90071-5.
• [13] Eiter T, Lukasiewicz T. Default reasoning from conditional knowledge bases: Complexity and tractable cases. Artificial Intelligence, 2000. 124(2):169-241. doi:10.1016/S0004-3702(00)00073-4. URL http://dx.doi.org/10.1016/S0004-3702(00)00073-4.
• [14] Lewis D. Counterfactuals. Blackwell, 1973.
• [15] Chellas B. Basic conditional logic. Journal of Philosophical Logic, 1975. 4(2):133-153. doi:10.1007/BF00693270.
• [16] Lamarre P, Shoham Y. Knowledge, Certainty, Belief, and Conditionalisation (Abbreviated Version). In: Proceedings of KR’94. 1994 pp. 415-424. ISBN:1-55860-328-X.
• [17] Friedman N, Halpern J. Modeling Belief in Dynamic Systems, Part I: Foundations. Artificial Intelligence, 1997. 95(2):257-316. doi:10.1016/S0004-3702(97)00040-4. URL http://dx.doi.org/10.1016/S0004-3702(97)00040-4.
• [18] Aucher G. Principles of Knowledge, Belief and Conditional Belief. In: Rebuschi M, Batt M, GHeinzmann, Lihoreau F, Musiol M, Trognon A (eds.), Dialogue, Rationality, and Formalism, volume 3 of Logic, Argumentation & Reasoning. Springer, 2014 pp. 97-134. doi:10.1007/978-3-319-03044-9_5.
• [19] Boutilier C. Conditional Logics of Normality: A Modal Approach. Artificial Intelligence, 1994. 68(1):87-154. doi:10.1016/0004-3702(94)90096-5. URL http://dx.doi.org/10.1016/0004-3702(94)90096-5.
• [20] Delgrande J. On a rule-based interpretation of default conditionals. Annals of Mathematics and Artificial Intelligence, 2006. 48(3-4):135-167. doi:10.1007/s10472-007-9044-7. URL http://dx.doi.org/10.1007/s10472-007-9044-7.
• [21] Britz K, Meyer T, Varzinczak I. Preferential Reasoning for Modal Logics. Electronic Notes in Theoretical Computer Science, 2011. 278:55-69. doi:10.1016/j.entcs.2011.10.006. URL http://dx.doi.org/10.1016/j.entcs.2011.10.006.
• [22] Koutras C, Rantsoudis C. In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on ’Overwhelming Majority’ Default Conditionals. Journal of Logic, Language and Information, 2017. 26(2):109-141. doi:10.1007/s10849-017-9251-5. URL https://doi.org/10.1007/s10849-017-9251-5.
• [23] Jauregui V. Nonmonotonic Modes of Inference. In: Fox D, Gomes CP (eds.), Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. AAAI Press. ISBN 978-1-57735-368-3, 2008 pp. 460-465. URL http://www.aaai.org/Library/AAAI/2008/aaai08-073.php.
• [24] Koutras C, Moyzes C, Zikos Y. A modal logic of knowledge, belief and estimation. Journal of Logic and Computation, 2017. 27(8):2303-2339. doi:10.1093/logcom/exx016. URL https://doi.org/10.1093/logcom/exx016.
• [25] Lenzen W. Recent Work in Epistemic Logic. North-Holland, 1978.
• [26] Stalnaker R. On Logics of Knowledge and Belief. Philosophical Studies, 2006. 128(1):169-199. URL https://www.jstor.org/stable/4321718.
• [27] Schlechta K. Filters and Partial Orders. Logic Journal of the IGPL, 1997. 5(5):753-772. doi:10.1093/jigpal/5.5.753.
• [28] Jauregui V. Modalities, Conditionals and Nonmonotonic Reasoning. Ph.D. thesis, Department of Computer Science and Engineering, University of New South Wales, 2008.
• [29] Giordano L, Gliozzi V, Olivetti N, Pozzato G. Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning. ACM Trans. Comput. Logic, 2009. 10(3):18:1-18:47. doi:10.1145/1507244.1507248. URL http://doi.acm.org/10.1145/1507244.1507248.
• [30] Delgrande J. Conditional Logics for Defeasible Reasoning, volume 2 of Handbook of Defeasible Reasoning and Uncertainty Management Systems. Kluwer Academic Publishers, 1998 pp. 135-173. doi:10.1007/978-94-017-1739-7_5.
• [31] Fitting M. Basic Modal Logic, volume 1. Oxford University Press, 1993 pp. 368-448.
• [32] Goldblatt R. Logics of Time and Computation. Number 7 in CSLI Lecture Notes. Center for the Study of Language and Information, Stanford University, 2nd edition, 1992.
• [33] Blackburn P, de Rijke M, Venema Y. Modal Logic. Number 53 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001. ISBN: 10:0521527147, 13:978-0521527149.
• [34] Chalki A, Koutras C, Zikos Y. A quick guided tour to the modal logic S4.2. Logic Journal of the IGPL, 2018 26(4):429-451. URL https://doi.org/10.1093/jigpal/jzy008.
• [35] Kaminski M, Tiomkin M. The Modal Logic of Cluster-Decomposable Kripke Interpretations. Notre Dame Journal of Formal Logic, 2007. 48(4):511-520. doi:10.1305/ndjfl/1193667708.
• [36] Chellas B. Modal Logic, an Introduction. Cambridge University Press, 1980. ISBN: 10:9780521295154, 13:978-0521295154.
• [37] Segerberg K. An essay in Classical Modal Logic. Filosofiska Studies, Uppsala, 1971.
• [38] Pacuit E. Neighborhood Semantics for Modal Logic: an Introduction. Course Notes for ESSLLI 2007, 2007. nbhdesslli.pdf.
• [39] Gochet P, Gribomont P. Epistemic logic, volume 7 of Handbook of the History of Logic. North-Holland, 2006 pp. 99-195. doi:10.1016/S1874-5857(06)80028-2.
• [40] van Ditmarsch H, Halpern J, van der Hoek W, Kooi B (eds.). Handbook of Epistemic Logic. College Publications, 2015. ISBN: 978-1-84890-158-2.
• [41] Lenzen W. Epistemologische Betrachtungen zu [S4,S5]. Erkenntnis, 1979. 14(1):33-56. doi:10.1007/BF00205012.
• [42] Nute D. Topics in Conditional Logic. Kluwer, 1980. doi:10.1007/978-94-009-8966-5.
• [43] Lehmann D, Magidor M. What does a Conditional Knowledge Base Entail? Artificial Intelligence, 1992. 55(1):1-60. doi:10.1016/0004-3702(92)90041-U. URL http://dx.doi.org/10.1016/0004-3702(92)90041-U.
• [44] Pozzato G. Conditional and Preferential Logics: Proof Methods and Theorem Proving. Frontiers in Artificial Intelligence and Applications. IOS Press, 2010. ISBN: 978-1-60750-094-0, 978-1-60750-095-7.
• [45] Schlechta K. Defaults as Generalized Quantifiers. Journal of Logic and Computation, 1995. 5(4):473-494. URL https://doi.org/10.1093/logcom/5.4.473.
• [46] Koutras C, Moyzes C, Nomikos C, Zikos Y. Set Theory from Knowledge Representation: on the set theoretic properties of Weak Ultrafilters. Technical report, 2016. Forthcoming.
• [47] Demey L, Sack J. Epistemic Probabilistic Logic. In: van Ditmarsch H, Halpern J, van der Hoek W, Kooi B (eds.), Handbook of Epistemic Logic, pp. 147-202. College Publications, London, 2015. ISBN: 978-1-84890-158-2.
• [48] Fagin R, Halpern J. Reasoning About Knowledge and Probability. Journal of the ACM, 1994. 41(2):340-367. doi:10.1145/174652.174658. URL http://doi.acm.org/10.1145/174652.174658.
• [49] Moore R. Semantical considerations on non-monotonic logics. Artificial Intelligence, 1985. 25(1):75-94. URL https://doi.org/10.1016/0004-3702(85)90042-6.
• [50] Levesque H. All I Know: A Study in Autoepistemic Logic. Artificial Intelligence, 1990. 42(2-3):263-309. URL https://doi.org/10.1016/0004-3702(90)90056-6.
• [51] Lakemeyer G, Levesque H. Only-Knowing Meets Nonmonotonic Modal Logic. In: Brewka G, Eiter T, McIlraith S (eds.), Proceedings of KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press. ISBN 978-1-57735-560-1, 2012 URL http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4507.
• [52] Lakemeyer G, Levesque H. Only-Knowing: Taking It Beyond Autoepistemic Reasoning. In: Veloso M, Kambhampati S (eds.), Proceedings, The Twentieth National Conference on Artificial Intelligence 2005, USA. AAAI Press / The MIT Press. ISBN 1-57735-236-X, 2005 pp. 633-638. URL http://www.aaai.org/Library/AAAI/2005/aaai05-099.php.

Uwagi

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2019).