Lógica no monotónica
lógica formal en la que la operación de implicación no es monotónica / De Wikipedia, la enciclopedia encyclopedia
Estimado Wikiwand AI, Seamos breves simplemente respondiendo estas preguntas clave:
¿Puede enumerar los principales datos y estadísticas sobre Lógica no monotónica?
Resumir este artículo para un niño de 10 años
Una lógica no monotónica, o lógica no monótona, es un sistema lógico cuya relación de consecuencia lógica es no monotónica. La mayoría de los sistemas lógicos tienen una relación de consecuencia monotónica, lo que quiere decir que el agregar una fórmula a una teoría nunca se produce una reducción de su conjunto de consecuencias. Intuitivamente, la monotonicidad indica que el agregar nuevos conocimientos no reduce el conjunto de las cosas conocidas. Simbólicamente:
- Si
, entonces
Donde A es una fórmula cualquiera y y
son conjuntos de fórmulas cualesquiera.
Una lógica monotónica no puede manejar varios tipos de razonamiento tales como el razonamiento por defecto (los hechos pueden ser conocidos únicamente por la incertidumbre o carencia de evidencia de lo contrario), el razonamiento abductivo (los hechos sólo se deducen en calidad de explicaciones probables), el razonamiento acerca del conocimiento (la ignorancia de un hecho debe ser retractada cuando el hecho sea conocido), y la revisión de creencias (nuevo conocimiento puede contradecir creencias anteriores, obligando a revisarlas). Esta limitación de la lógica monótona es un inconveniente en la inteligencia artificial, por la gran cantidad de problemas que tienen un carácter no monótono.