Otra vuelta por la lógica no monótona: una definición modal de la no monotonía y una propuesta de semimonotonía
Contenido principal del artículo
Resumen
En este artículo abordamos un problema que atañe al núcleo teórico de los enfoques de lógica no monótona (LNM): la ausencia de una definición formal de no monotonía y la falta de profundización en el análisis crítico de la propiedad de monotonía en lógica estándar. Desde una perspectiva metalógica y filosófica, proponemos una caracterización formal de no monotonía como ausencia de garantía de conservación de consecuencias, expresada mediante operadores modales, que evita los problemas de la negación directa de monotonía. La introducción de semimonotonía como nueva propiedad para sistemas de LNM, propiedad fundada en filtros algebraicos, permite capturar el fenómeno de estabilidad de agentes racionales pragmáticos que preservan conocimiento en la mayoría de las ampliaciones de sus bases de conocimiento.
Descargas
Detalles del artículo
Métricas de PLUMX
Citas
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.
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.
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.