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 se reduce el conjunto de las cosas conocidas.

rdfs:comment
  • 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 se reduce el conjunto de las cosas conocidas. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Lógica no monotónica (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 396269 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 6333 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 16 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 74523689 (xsd:integer)
dbpedia-owl:wikiPageWikiLink [14 values]
Is dbpedia-owl:wikiPageWikiLink of [13 values]