×

From KLM-style conditionals to defeasible modalities, and back. (English) Zbl 1436.03129

Summary: 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.

MSC:

03B45 Modal logic (including the logic of norms)
03B42 Logics of knowledge and belief (including belief change)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Askounis, D.; Koutras, C.; Zikos, Y.; Fariñas del Cerro, L.; Herzig, A.; Mengin, J., Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA), Knowledge means ‘all’, belief means ‘most’, 41-53, (2012), Springer · Zbl 1361.68216
[2] Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; Patel-Schneider, P., The description logic handbook: Theory, implementation and applications, (2007), Cambridge University Press · Zbl 1132.68055
[3] Baltag, A.; Smets, S.; van der Hoek, W.; Wooldridge, M., Proceedings of LOFT, Dynamic belief revision over multi-agent plausibility models, 11-24, (2006), University of Liverpool
[4] Baltag, A.; Smets, S.; Bonanno, G.; van der Hoek, W.; Wooldridge, M., Logic and the Foundations of Game and Decision Theory (LOFT7), A qualitative theory of dynamic interactive belief revision, 13-60, (2008), Amsterdam University Press
[5] Blackburn, P.; Van Benthem, J.; Wolter, F., Handbook of modal logic, (2006), Elsevier North-Holland
[6] Blackburn, P.; de Rijke, M.; Venema, Y., Modal logic, (2001), Cambridge University Press · Zbl 0988.03006
[7] Booth, R.; Casini, G.; Meyer, T.; Varzinczak, I., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), On the entailment problem for a logic of typicality, 2805-2811, (2015)
[8] Booth, R.; Meyer, T.; Varzinczak, I.; Fariñas del Cerro, L.; Herzig, A.; Mengin, J., Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA), PTL: A propositional typicality logic, 107-119, (2012), Springer · Zbl 1286.68411
[9] Booth, R.; Meyer, T.; Varzinczak, I.; Fermé, E.; Gabbay, D.; Simari, G., Trends in belief revision and argumentation dynamics, 48, A propositional typicality logic for extending rational consequence, 123-154, (2013), King’s College Publications
[10] Boutilier, C., Conditional logics of normality: A modal approach, Artificial Intelligence, 68, 1, 87-154, (1994) · Zbl 0811.68114
[11] Britz, K.; Casini, G.; Meyer, T.; Moodley, K.; Varzinczak, I., Ordered interpretations and entailment for defeasible description logics (Tech. Rep.), (2013), CAIR, CSIR Meraka and UKZN, South Africa
[12] Britz, K.; Casini, G.; Meyer, T.; Varzinczak, I., Proceedings of the 26th International Workshop on Description Logics, Preferential role restrictions, 93-106, (2013)
[13] Britz, K.; Heidema, J.; Meyer, T.; Lang, J.; Brewka, G., Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), Semantic preferential subsumption, 476-484, (2008), AAAI Press/MIT Press
[14] Britz, K.; Heidema, J.; Meyer, T.; Nicholson, A.; Li, X., Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence, Modelling object typicality in description logics, 506-516, (2009), Springer · Zbl 1175.68018
[15] Britz, K.; Meyer, T.; Varzinczak, I., Proceedings of the 7th Workshop on Methods for Modalities (M4M’2011), 278, Preferential reasoning for modal logics. electronic notes in theoretical computer science, 55-69, (2011) · Zbl 1347.03042
[16] Britz, K.; Meyer, T.; Varzinczak, I.; Wang, D.; Reynolds, M., Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence, Semantic foundation for preferential description logics, 491-500, (2011), Springer
[17] Britz, K.; Meyer, T.; Varzinczak, I.; Thielscher, M.; Zhang, D., Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence, Normal modal preferential consequence, 505-516, (2012), Springer
[18] Britz, K.; Varzinczak, I., Proceedings of the 14th International Workshop on Nonmonotonic Reasoning (NMR), Defeasible modes of inference: A preferential perspective, (2012)
[19] Britz, K.; Varzinczak, I., Defeasible modalities, Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), 49-60, (2013)
[20] Britz, K.; Varzinczak, I.; Michael, L.; Kakas, A., Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA), Introducing role defeasibility in description logics, 174-189, (2016), Springer · Zbl 1483.68373
[21] Britz, K.; Varzinczak, I., Proceedings of the 16th International Workshop on Nonmonotonic Reasoning (NMR), Preferential modalities revisited, (2016)
[22] Britz, K.; Varzinczak, I., Proceedings of the 13th International Symposium on Logical Formalizations of Commonsense Reasoning, Context-based defeasible subsumption for dsroiq, (2017)
[23] Britz, K.; Varzinczak, I., Proceedings of the 30th International Workshop on Description Logics, Toward defeasible SROIQ, (2017)
[24] Britz, K.; Varzinczak, I., Preferential accessibility and preferred worlds, Journal of Logic, Language and Information. · Zbl 1509.03068
[25] Casini, G.; Meyer, T.; Moodley, K.; Sattler, U.; Varzinczak, I.; Arenas, M., Proceedings of the 14th International Semantic Web Conference (ISWC), Introducing defeasibility into OWL ontologies, 409-426, (2015), Springer
[26] Castilho, M.; Gasquet, O.; Herzig, A., Formalizing action and change in modal logic I: the frame problem, Journal of Logic and Computation, 9, 5, 701-735, (1999) · Zbl 0941.03021
[27] Castilho, M.; Herzig, A.; Varzinczak, I., Proceedings of the 9th International Workshop on Nonmonotonic Reasoning (NMR), It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation, (2002)
[28] Chellas, B., Modal logic: An introduction, (1980), Cambridge University Press · Zbl 0431.03009
[29] Crocco, G.; Lamarre, P.; Nebel, R.; Rich, C.; Swartout, W., Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR), On the connections between nonmonotonic inference systems and conditional logics, 565-571, (1992), Morgan Kaufmann
[30] Delgrande, J., A first-order logic for prototypical properties, Artificial Intelligence, 33, 105-130, (1987) · Zbl 0654.68106
[31] Delgrande, J., An approach to default reasoning based on a first-order conditional logic: revised report, Artificial Intelligence, 36, 63-90, (1988) · Zbl 0646.03015
[32] Ditmarsch, H.; Hoek, W.; Kooi, B., Dynamic epistemic logic, (2007), Springer · Zbl 1156.03320
[33] Friedman, N.; Halpern, J., Plausibility measures and default reasoning, Journal of the ACM, 48, 4, 648-685, (2001) · Zbl 1127.68438
[34] Gettier, E., Is justified true belief knowledge?, Analysis, 23, 6, 121-123, (1963)
[35] Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.; Dershowitz, N.; Voronkov, A., Logic for programming, artificial intelligence, and reasoning (LPAR), Preferential description logics, 257-272, (2007), Springer · Zbl 1137.68590
[36] Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.; Hölldobler, S.; Lutz, C.; Wansing, H., Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA), Reasoning about typicality in preferential description logics, 192-205, (2008), Springer · Zbl 1178.68561
[37] Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G., Analytic tableaux calculi for KLM logics of nonmonotonic reasoning, ACM Transactions on Computational Logic, 10, 3, 18:1-18:47, (2009) · Zbl 1351.03004
[38] Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G., ALC+ T: A preferential extension of description logics, Fundamenta Informaticae, 96, 3, 341-372, (2009) · Zbl 1207.68369
[39] Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.; Fariñas del Cerro, L.; Herzig, A.; Mengin, J., Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA), A minimal model semantics for nonmonotonic reasoning, 228-241, (2012), Springer · Zbl 1361.68228
[40] Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G., A non-monotonic description logic for reasoning about typicality, Artificial Intelligence, 195, 165-202, (2013) · Zbl 1270.68281
[41] Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G., Semantic characterization of rational closure: from propositional logic to description logics, Artificial Intelligence, 226, 1-33, (2015) · Zbl 1346.68186
[42] Goré, R.; D’Agostino, M.; Gabbay, D.; Hähnle, R.; Posegga, J., Handbook of tableau methods, Tableau methods for modal and temporal logics, 297-396, (1999), Kluwer Academic · Zbl 0972.03529
[43] Governatori, G.; Rotolo, A.; Calardo, E.; Ågotnes, T.; Broersen, J.; Elgesem, D., Proceedings of the 11th International Conference on Deontic Logic in Computer Science (DEON), Possible world semantics for defeasible deontic logic, 44-60, (2012), Springer
[44] Halpern, J.; Moses, Y., A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence, 54, 319-379, (1992) · Zbl 0762.68029
[45] Hansson, B., An analysis of some deontic logics, Noûs, 3, 373-398, (1969) · Zbl 1366.03069
[46] Karp, C., Languages with expressions of infinite length, (1964), North-Holland · Zbl 0127.00901
[47] Kraus, S.; Lehmann, D.; Magidor, M., Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence, 44, 167-207, (1990) · Zbl 0782.03012
[48] Ladner, R., The computational complexity of provability in systems of modal propositional logic, SIAM Journal on Computing, 6, 3, 467-480, (1977) · Zbl 0373.02025
[49] Laverny, N.; Lang, J., From knowledge-based programs to graded belief-based programs, part I: on-line reasoning, Synthese, 147, 277-321, (2005) · Zbl 1085.68163
[50] Lehmann, D.; Magidor, M., What does a conditional knowledge base entail?, Artificial Intelligence, 55, 1-60, (1992) · Zbl 0762.68057
[51] Lehrer, K.; Paxson, T., Undefeated justified true belief, The Journal of Philosophy, 66, 8, 225-237, (1969)
[52] Lewis, D., Counterfactuals, (1973), Blackwell · Zbl 0989.03003
[53] Lewis, D.; Stenlund, S., Logical Theory and Semantic Analysis, Semantic analyses for dyadic deontic logic, 1-14, (1974), D. Reidel · Zbl 0331.02013
[54] Makinson, D., Five faces of minimality, Studia Logica, 52, 339-379, (1993) · Zbl 0790.03026
[55] Shoham, Y., Reasoning about change: Time and causation from the standpoint of artificial intelligence, (1988), MIT Press
[56] Stalnaker, R.; Rescher, N., Studies in Logical Theory, A theory of conditionals, 98-112, (1968), Blackwell
[57] Van Benthem, J., Modal logic for open minds, (2010), Center for the Study of Language and Information
[58] Varzinczak, I., Causalidade e dependência em raciocínio sobre ações (“Causality and dependency in reasoning about actions”) (MSc thesis), (2002), Universidade Federal do Paraná, Curitiba, Brazil
[59] Veloso, P.; Veloso, S.; Viana, J.; de Freitas, R.; Benevides, M.; Delgado, C., On vague notions and modalities: A modular approach, Logic Journal of the IGPL, 18, 3, 381-402, (2009) · Zbl 1205.03032
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.