Inheritance of Properties as an Inferential Mechanism in the Context of Non-monotonic Reasoning
Keywords:
deduction, inheritance of properties, knowledge representation, logic, non-monotonic logic, reasoning, semantic networksCopyright (c) 2023 Revista Iberoamericana de Argumentación
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Abstract
Our work analyses the inheritance of properties in the context of semantic networks as a representational framework for non-monotonic reasoning. In particular, we discuss the various nuances of the notion of inheritance: (a) simple inheritance with positive links, (b) simple inheritance with positive and negative links and, (c) multiple inheritance with positive and negative links. Likewise, inheritance of properties is approached from an epistemological perspective, and we assess the strategies of employing this mechanism as a form of deduction in non-monotonic semantic networks. Finally, we propose the thesis that the elucidation of the foundations of the notion of inheritance of properties is crucial for the understanding of more complex problems within non-monotonic reasoning.
Downloads
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.), Paracon-
sistency: Logic and Applications (pp. 201–222). Springer Netherlands.
https://doi.org/10.1007/978-94-007-4438-7_12
Brachman, R. J. (1977). What’s in a concept: Structural foundations for semantic networks. International Journal of Man-Machine Studies, 9(2), 127–152. https://doi.org/10.1016/S0020-7373(77)80017-5
Brachman. (1983). What IS-A Is and Isn’t: An Analysis of Taxonomic Links in Semantic Net-works. Computer, 16(10), 30–36. https://doi.org/10.1109/MC.1983.1654194
Brewka, G., Niemelä, I., & Truszczy?ski, M. (2008). Nonmonotonic Reasoning. In F. van Harmelen, V. Lifschitz, & B. Porter (Eds.), Foundations of Artificial Intelligence (Vol. 3, pp. 239–284). Elsevier. https://doi.org/10.1016/S1574-6526(07)03006-4
Carpenter, B., & Thomason, R. (1990). Inheritance Theory and Path-Based Reasoning: An In-troduction. In H. E. Kyburg, R. P. Loui, & G. N. Carlson (Eds.), Knowledge Representa-tion and Defeasible Reasoning (pp. 309–343). Springer Netherlands. https://doi.org/10.1007/978-94-009-0553-5_13
Gabbay, D. M., & Woods, J. (2008). Resource-origins of Nonmonotonicity. Studia Logica, 88(1), 85–112. https://doi.org/10.1007/s11225-008-9100-2
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 In-ternational Publishing. https://doi.org/10.1007/978-3-319-46817-4_3
Horty, J. F., & Thomason, R. H. (1988). Mixing strict and defeasible inheritance. Proceedings of the Sev-enth AAAI National Conference on Artificial Intelligence, 427–432.
Horty, J. F. (1994). Some Direct Theories of Nonmonotonic Inheritance. In Handbook of Logic in Artificial Intelligence and Logic Programming (vol. 3): Nonmonotonic Reasoning and Uncertain Reasoning (3, 111–187). Oxford University Press.
Horty, J. F., Thomason, R. H., & Touretzky, D. S. (1990). A skeptical theory of inheritance in nonmono-tonic semantic networks. Artificial Intelligence, 42(2), 311–348. https://doi.org/10.1016/0004-3702(90)90057-7
Kraus, S., Lehmann, D., & Magidor, M. (1990). Nonmonotonic Reasoning, Preferential Models and Cu-mulative Logics. Artificial Intelligence, 44(1–2), 167–207.
McDermott, D., & Doyle, J. (1980). Non-monotonic logic I. Artificial Intelligence, 13(1–2), 41–72.
Quillian, M. R. (1967). Word concepts: A Theory and Simulation of some Basic Semantic Capabilities. Behavioral Science, 12(5), 410–430. https://doi.org/10.1002/bs.3830120511
Reiter, R. (1980). A Logic for Default Reasoning. Artificial Intelligence, 13(1), 81–132. https://doi.org/10.1016/0004-3702(80)90014-4
Simonet, G., & Ducournau, R. (1994). On Stein’s paper: Resolving ambiguity in nonmonotonic inheritance hierarchies. Artificial Intelligence, 71(1), 183–193. https://doi.org/10.1016/0004-3702(94)90065-5
Stein, L. A. (1992). Resolving ambiguity in nonmonotonic inheritance hierarchies. Artificial Intelligence, 55(2–3), 259–310. https://doi.org/10.1016/0004-3702(92)90057-5
Strasser, C., & Antonelli, G. A. (2019). Non-monotonic Logic. In E. N. Zalta (Ed.), The Stanford Encyclo-pedia of Philosophy (Summer 2019). Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/archives/sum2019/entries/logic-nonmonotonic/
Touretzky, D. S. (1986). The mathematics of inheritance systems (Vol. 8). Morgan Kaufmann.
Truszczy?ski, M. (2006). Nonmonotonic logics and their algebraic foundations.
In International Workshop on Computer Science Logic (pp. 58-71). Springer, Berlin, Hei
delberg.