Non-monotonic logic
A non-monotonic logic is a formal logic whose conclusion relation is not monotonic. In other words, non-monotonic logics are devised to capture and represent defeasible inferences (cf. defeasible reasoning), i.e., a kind of inference in which reasoners draw tentative conclusions, enabling reasoners to retract their conclusion(s) based on further evidence.Most studied formal logics have a monotonic entailment relation, meaning that adding a formula to a theory never produces a pruning of its set of conclusions. Intuitively, monotonicity indicates that learning a new piece of knowledge cannot reduce the set of what is known. A monotonic logic cannot handle various reasoning tasks such as reasoning by default (conclusions may be derived only because of lack of evidence of the contrary), abduc
academic discipline
known for
Wikipage redirect
AI winterAnswer set programmingAraucaria (software)ArgumentArgument technologyArgumentation schemeArgumentation theoryAutoepistemic logicAutomated reasoningBelief revisionCircumscription (logic)Closed-world assumptionComputational tools for artificial intelligenceCycDefault logicDefeasible logicDefeasible reasoningDeontic logicDeviant logicDov GabbayDrew McDermottExtensions of First Order LogicF-logicFrame problemG. Aldo AntonelliGeorg GottlobGlossary of artificial intelligenceHannes LeitgebHistory of artificial intelligenceHypothetical syllogismIndex of logic articlesIndex of philosophy articles (I–Q)InferenceJack MinkerJohn L. PollockJohn McCarthy (computer scientist)Keith Clark (computer scientist)Keith StenningKnowledge Interchange FormatKnowledge representation and reasoning
Link from a Wikipage to another Wikipage
fields
known for
seeAlso
primaryTopic
Non-monotonic logic
A non-monotonic logic is a formal logic whose conclusion relation is not monotonic. In other words, non-monotonic logics are devised to capture and represent defeasible inferences (cf. defeasible reasoning), i.e., a kind of inference in which reasoners draw tentative conclusions, enabling reasoners to retract their conclusion(s) based on further evidence.Most studied formal logics have a monotonic entailment relation, meaning that adding a formula to a theory never produces a pruning of its set of conclusions. Intuitively, monotonicity indicates that learning a new piece of knowledge cannot reduce the set of what is known. A monotonic logic cannot handle various reasoning tasks such as reasoning by default (conclusions may be derived only because of lack of evidence of the contrary), abduc
has abstract
A non-monotonic logic is a for ...... e may contradict old beliefs).
@en
In de logica is een niet-monot ...... n geldig waren ongeldig maken.
@nl
Uma lógica não monotônica é um ...... e contradizer velhas crenças).
@pt
Una lógica no monotónica, o ló ...... ienen un carácter no monótono.
@es
Une logique non-monotone est u ...... vent être révisées.[pas clair]
@fr
Немонотонна логіка — це матема ...... перечити старим переконанням).
@uk
非单调逻辑(英語:Non-monotonic logic)是 ...... ole提出的假设推理(default reasoning)。
@zh
非単調論理(ひたんちょうろんり、英: Non-monoton ...... ョン、知識に関する推論、などの推論は、単調論理では行えない。
@ja
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,025,070,358
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
comment
A non-monotonic logic is a for ...... idence of the contrary), abduc
@en
In de logica is een niet-monot ...... n elke superverzameling van Γ.
@nl
Uma lógica não monotônica é um ...... consequência deve ser retraída
@pt
Una lógica no monotónica, o ló ...... ntos de fórmulas cualesquiera.
@es
Une logique non-monotone est u ...... la révision de connaissances.
@fr
Немонотонна логіка — це матема ...... снення (наслідки виводяться ви
@uk
非单调逻辑(英語:Non-monotonic logic)是 ...... 以和旧信念矛盾。) 目前对于非单调推理的研究一般有两种途径:
@zh
非単調論理(ひたんちょうろんり、英: Non-monoton ...... ョン、知識に関する推論、などの推論は、単調論理では行えない。
@ja
label
Logique non monotone
@fr
Lógica no monotónica
@es
Lógica não monotônica
@pt
Nemonotona logiko
@eo
Niet-monotone logica
@nl
Non-monotonic logic
@en
Немонотонна логіка
@uk
非单调逻辑
@zh
非単調論理
@ja