Diverging Approaches to Skeptical Inference in Non-monotonic Reasoning
DOI:
https://doi.org/10.5007/1808-1711.2024.e90479Keywords:
Logic, Non-monotonic Logic, Defeasible Reasoning, Inheritance Networks, Deduction, Knowledge RepresentationAbstract
Our paper addresses the problem of a two-fold approach to skeptical inferences in the context non-monotonic logics. We tackle the problem through the analysis of ambiguous theories, such as the Nixon Diamond, as instantiated in non-monotonic inheritance networks, and the notion of an extension. Our paper presents a detailed description of the inner mechanisms underlying both approaches to skeptical inference, i.e. direct and indirect skepticism, and how each information processing policy is applied to ambiguous networks like the Nixon Diamond. Finally, we discuss the extent and limitation of each approach, and we propose an alternative stance towards the existence of diverging implementations to skeptical inferences in non-monotonic reasoning.
References
Anderson, M. L.; Gomaa, W.; Grant, J.; Perlis, D. 2013. An Approach to Human-Level Commonsense Reasoning, in K. Tanaka; F. Berto; E. Mares; F. Paoli (Eds.), Paraconsistency: Logic and Applications, Springer Netherlands, pp. 201–222. https://doi.org/10.1007/978-94-007-4438-7_12
Brachman, R.; Levesque, H. 2004. Knowledge Representation and Reasoning (First Edition). Morgan Kaufmann.
Gabbay, D. M.; Schlechta, K. 2010. An Analysis of Defeasible Inheritance Systems. In D. M. Gabbay; K. Schlechta (Eds.), Logical Tools for Handling Change in Agent-Based Systems (pp. 251–293). Springer. https://doi.org/10.1007/978-3-642-04407-6_9
Gabbay, D. M.; Schlechta, K. 2016. Defeasible Inheritance. In D. M. Gabbay; K. Schlechta (Eds.), A New Perspective on Nonmonotonic Logics (pp. 75–90). Springer International Publishing. https://doi.org/10.1007/978-3-319-46817-4_3
Horty, J. F. 2002. Skepticism and floating conclusions. Artificial Intelligence, 135(1), 55–72. https://doi.org/10.1016/S0004-3702(01)00160-6
Horty, J. F. 2012. Reasons as Defaults. Oxford University Press.
Horty, J. F.; Thomason, R. H.; Touretzky, D. S. 1990. A skeptical theory of inheritance in nonmonotonic semantic networks, Artificial Intelligence, 42(2), pp. 311–348. https://doi.org/10.1016/0004-3702(90)90057-7
Maier, F.; Nute, D. 2010. Well-founded semantics for defeasible logic. Synthese, 176(2), 243–274. https://doi.org/10.1007/s11229-009-9492-1
Makinson, D.; Schlechta, K. 1991. Floating conclusions and zombie paths: Two deep difficulties in the “directly skeptical” approach to defeasible inheritance nets. Artificial Intelligence, 48(2), 199–209. https://doi.org/10.1016/0004-3702(91)90061-N
Nute, D. 2003. Agents, Epistemic Justification, and Defeasibility. Invited Address, 5th Augustus de Morgan Workshop.
Prakken, H. 2002. Intuitions and the Modelling of Defeasible Reasoning: Some case studies. Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR’2002). https://arxiv.org/abs/cs/0207031v1
Pollock, J. L. 1995. Cognitive Carpentry: A Blueprint for how to Build a Person. MIT Press.
Schlechta, K. 1993. Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions. Journal of Logic and Computation, 3(5), 455–467.
Strasser, C.; Antonelli, G. A. 2018. Non-monotonic Logic. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Summer 2018). Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/archives/sum2018/entries/logic-nonmonotonic/
Downloads
Published
Issue
Section
License
Copyright (c) 2024 Jorge Andrés Morales Delgado
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Principia http://www.periodicos.ufsc.br/index.php/principia/index is licenced under a Creative Commons - Atribuição-Uso Não-Comercial-Não a obras derivadas 3.0 Unported.
Base available in www.periodicos.ufsc.br.
