Otra vuelta por la lógica no monótona: una definición modal de la no monotonía y una propuesta de semimonotonía
Main Article Content
Abstract
In this article we address a problem that concerns the theoretical core of approaches to non-monotonic logic (NML): the absence of a formal definition of non-monotonicity and the lack of in-depth critical analysis of the property of monotonicity in standard logic. From a metalogical and philosophical perspective, we propose a formal characterization of non-monotonicity as the absence of a guarantee of consequence preservation, expressed by means of modal operators. This characterization avoids the difficulties associated with the direct negation of monotonicity. The introduction of semi-monotonicity as a new property for NML systems—grounded in algebraic filters—makes it possible to capture the phenomenon of stability exhibited by pragmatic rational agents, who preserve knowledge across most extensions of their knowledge bases.
Downloads
Article Details
PLUMX Metrics
References
Alchourrón, Carlos Ernesto, 1995, “Concepciones de la lógica”, en Enciclopedia Iberoamericana de Filosofía, Trotta, Madrid, pp. 11–48.
Alchourrón, Carlos, Peter Gärdenfors y David Makinson, 1985, “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions”, Journal of Symbolic Logic, vol. 50, pp. 510–530.
Antonelli, Aldo, 2005, Grounded Consequence for Defeasible Logic, Cambridge University Press, Cambridge.
Besnard, Philippe y Anthony Hunter, 2008, Elements of Argumentation, MIT Press, Cambridge.
Brewka, Gerhard, 1991, Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge University Press, Cambridge.
Pandzic, Stjepan, y Jakob Graff, 2024, “A Logic of Weighted Reasons for Explainable Inference in AI”, en Luca Longo, Sebastian Lapuschkin y Christina Seifert (eds.), Explainable Artificial Intelligence (xAI 2024), Communications in Computer and Information Science, vol. 2154, Springer, Cham, pp. 243–267. (https://doi.org/10.1007/978-3-031-63797-1_13)
Peirce, Charles Sanders, 1994, Collected Papers of Charles Sanders Peirce, vols. 1–8, Thoemmes Continuum, Bristol.
Perlis, Donald, 1987, “On the Consistency of Commonsense Reasoning”, en Matthew L. Ginsberg (ed.), Readings in Nonmonotonic Reasoning, Morgan Kaufmann, Los Altos, pp. 56–66.
Pollock, John Leslie, 1987, “Defeasible Reasoning”, Cognitive Science, vol. 11, no. 4, pp. 481–518.
Poole, David Leslie, 1998, Computational Intelligence: A Logical Approach, Oxford University Press, Oxford.
Prakken, Henry, y Gerard Antonius Wilhelmus Vreeswijk, 2001, “Logics for Defeasible Argumentation”, en Dov M. Gabbay (ed.), Handbook of Philosophical Logic, vol. 4, Kluwer, Dordrecht, pp. 219–318.
Rosen, Kenneth Herbert, 2011, Discrete Mathematics and Its Applications, 7a ed., McGraw-Hill, Nueva York.
Russell, Stuart Jonathan, y Peter Norvig, 1994, Artificial Intelligence: A Modern Approach, Prentice Hall, Englewood Cliffs.
Simari, Guillermo y Ronald Loui, 1992, “A Mathematical Treatment of Defeasible Reasoning, and Its Implementations”, Artificial Intelligence, vol. 53, pp. 125–157.
Schlechta, Karl, 2004, Coherent Systems, Elsevier, Ámsterdam.
Strasser, Christian, y Aldo Antonelli, 2024, “Non-Monotonic Logic”, en Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University.
Tarski, Alfred, 1969a, Logic, Semantics, Metamathematics: Papers from 1923 to 1938, Oxford University Press, Oxford.
Tarski, Alfred, 1969b, “Fundamental Concepts of the Methodology of the Deductive Sciences”, en Tarski 1969a, pp. 60–109.
Tarski, Alfred, 1969c, “On Some Fundamental Concepts of Metamathematics”, en Tarski 1969a, pp. 30–37.
Thomason, Richmond Hylton, 2011, “Non-Monotonicity in Linguistics”, en Johan van Benthem y Alice ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Ámsterdam, pp. 781–853.
Winograd, Terry, 1980, “Extended Inference Modes in Reasoning by Computer Systems”, Artificial Intelligence, vol. 13, pp. 5–26.
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Crítica, Revista Hispanoamericana de Filosofía by Universidad Nacional Autónoma de México is licensed under a Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional License.
Creado a partir de la obra en http://critica.filosoficas.unam.mx/index.php/critica.