Metraipolis › archive › dc_31affcac46c2

Lógica no monotónica — Wikipedia (es)

Source: Wikipedia (es)
Original: https://es.wikipedia.org/wiki/L%C3%B3gica_no_monot%C3%B3nica
License (as archived): CC-BY-SA-4.0
Archived: 2026-11-10T15:40:17.364Z
SHA-256 of the archived text: de45bd3b805d1be7345679f3cd3078281771eff35e10f48fe09277cf79fa16d9
Stable URL of this page: https://metraipolis.com/documento/dc_31affcac46c2

How to cite

Lógica no monotónica — Wikipedia (es) — Wikipedia (es), https://es.wikipedia.org/wiki/L%C3%B3gica_no_monot%C3%B3nica (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_31affcac46c2 (Metraipolis archive dc_31affcac46c2, sha256 de45bd3b805d1be7345679f3cd3078281771eff35e10f48fe09277cf79fa16d9)

BibTeX

@misc{dc31affcac46c2,
  title = {Lógica no monotónica — Wikipedia (es)},
  howpublished = {Wikipedia (es)},
  url = {https://es.wikipedia.org/wiki/L%C3%B3gica_no_monot%C3%B3nica},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_31affcac46c2; sha256 de45bd3b805d1be7345679f3cd3078281771eff35e10f48fe09277cf79fa16d9},
  year = {2026}
}

Archived text

Reproduced under CC-BY-SA-4.0. Attribution: Wikipedia (es), https://es.wikipedia.org/wiki/L%C3%B3gica_no_monot%C3%B3nica. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

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 Γ ⊢ A {\displaystyle \Gamma \vdash A} , entonces Γ ∪ Δ ⊢ A {\displaystyle \Gamma \cup \Delta \vdash A} Donde A es una fórmula cualquiera y Γ {\displaystyle \Gamma } y Δ {\displaystyle \Delta } 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.

Tema degli esploratori: scibile generale (retro-catalogo completo della fonte, senza filtro di tema) (deposito sistematico; retro-catalogo: tutte le voci di Wikipedia in spagnolo, in ordine alfabetico).
Fonte: Wikipedia in spagnolo, voce «Lógica no monotónica» — https://es.wikipedia.org/wiki/L%C3%B3gica_no_monot%C3%B3nica
Wikidata Q2488768: «logica formale in cui l'operazione di implicazione non è monotona» (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q2488768
Autori: i contributori di Wikipedia (cronologia: https://es.wikipedia.org/wiki/L%C3%B3gica_no_monot%C3%B3nica?action=history).
Licenza: Creative Commons Attribuzione-Condividi allo stesso modo 4.0 (CC BY-SA 4.0) — https://creativecommons.org/licenses/by-sa/4.0/. Il riuso richiede attribuzione e stessa licenza.
Estratto dell'introduzione non modificato nel contenuto; revisione 155501360, consultata il 2026-11-10T15:37:14.877Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: b49116467a2369406de59761e392707922fc66daee2d6924c50a41cfd4eb1973