Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Non-monotonic_logic> ?p ?o }
Showing triples 1 to 72 of
72
with 100 triples per page.
- Non-monotonic_logic abstract "A non-monotonic logic is a formal logic whose consequence relation is not monotonic. In other words, non-monotonic logics are devised to capture and represent defeasible inferences (c.f. 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 consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences. 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 (consequences may be derived only because of lack of evidence of the contrary), abductive reasoning (consequences are only deduced as most likely explanations), some important approaches to reasoning about knowledge (the ignorance of a consequence must be retracted when the consequence becomes known), and similarly, belief revision (new knowledge may contradict old beliefs).".
- Non-monotonic_logic wikiPageID "341086".
- Non-monotonic_logic wikiPageLength "7435".
- Non-monotonic_logic wikiPageOutDegree "32".
- Non-monotonic_logic wikiPageRevisionID "665286331".
- Non-monotonic_logic wikiPageWikiLink Abductive_reasoning.
- Non-monotonic_logic wikiPageWikiLink Autoepistemic_logic.
- Non-monotonic_logic wikiPageWikiLink Belief_revision.
- Non-monotonic_logic wikiPageWikiLink Binary_relation.
- Non-monotonic_logic wikiPageWikiLink Category:Belief_revision.
- Non-monotonic_logic wikiPageWikiLink Category:Formal_epistemology.
- Non-monotonic_logic wikiPageWikiLink Category:Logic.
- Non-monotonic_logic wikiPageWikiLink Category:Non-classical_logic.
- Non-monotonic_logic wikiPageWikiLink Category:Reasoning.
- Non-monotonic_logic wikiPageWikiLink Circumscription_(logic).
- Non-monotonic_logic wikiPageWikiLink Closed-world_assumption.
- Non-monotonic_logic wikiPageWikiLink Closed_World_Assumption.
- Non-monotonic_logic wikiPageWikiLink Completeness_(logic).
- Non-monotonic_logic wikiPageWikiLink Default_logic.
- Non-monotonic_logic wikiPageWikiLink Defeasible_reasoning.
- Non-monotonic_logic wikiPageWikiLink Formal_logic.
- Non-monotonic_logic wikiPageWikiLink Logic.
- Non-monotonic_logic wikiPageWikiLink Logic_programming.
- Non-monotonic_logic wikiPageWikiLink Logical_consequence.
- Non-monotonic_logic wikiPageWikiLink Monotonicity_of_entailment.
- Non-monotonic_logic wikiPageWikiLink Negation_as_failure.
- Non-monotonic_logic wikiPageWikiLink Paraconsistent_logic.
- Non-monotonic_logic wikiPageWikiLink Paraconsistent_logics.
- Non-monotonic_logic wikiPageWikiLink Rational_consequence_relation.
- Non-monotonic_logic wikiPageWikiLink Relation_(mathematics).
- Non-monotonic_logic wikiPageWikiLink Rule_of_inference.
- Non-monotonic_logic wikiPageWikiLink Rules_of_inference.
- Non-monotonic_logic wikiPageWikiLink Semantics.
- Non-monotonic_logic wikiPageWikiLink Soundness.
- Non-monotonic_logic wikiPageWikiLink Stable_model_semantics.
- Non-monotonic_logic wikiPageWikiLinkText "Non-Monotonic reasoning".
- Non-monotonic_logic wikiPageWikiLinkText "Non-monotonic logic".
- Non-monotonic_logic wikiPageWikiLinkText "non monotonicity".
- Non-monotonic_logic wikiPageWikiLinkText "non-monotonic logic".
- Non-monotonic_logic wikiPageWikiLinkText "non-monotonic reasoning".
- Non-monotonic_logic wikiPageWikiLinkText "non-monotonic".
- Non-monotonic_logic wikiPageWikiLinkText "nonmonotonic reasoning".
- Non-monotonic_logic hasPhotoCollection Non-monotonic_logic.
- Non-monotonic_logic wikiPageUsesTemplate Template:InPho.
- Non-monotonic_logic wikiPageUsesTemplate Template:Logic.
- Non-monotonic_logic wikiPageUsesTemplate Template:More_footnotes.
- Non-monotonic_logic wikiPageUsesTemplate Template:PhilPapers.
- Non-monotonic_logic wikiPageUsesTemplate Template:Portal.
- Non-monotonic_logic wikiPageUsesTemplate Template:Reflist.
- Non-monotonic_logic wikiPageUsesTemplate Template:SEP.
- Non-monotonic_logic subject Category:Belief_revision.
- Non-monotonic_logic subject Category:Formal_epistemology.
- Non-monotonic_logic subject Category:Logic.
- Non-monotonic_logic subject Category:Non-classical_logic.
- Non-monotonic_logic subject Category:Reasoning.
- Non-monotonic_logic hypernym Logic.
- Non-monotonic_logic type Article.
- Non-monotonic_logic type Article.
- Non-monotonic_logic comment "A non-monotonic logic is a formal logic whose consequence relation is not monotonic. In other words, non-monotonic logics are devised to capture and represent defeasible inferences (c.f.".
- Non-monotonic_logic label "Non-monotonic logic".
- Non-monotonic_logic sameAs Nemonotona_logiko.
- Non-monotonic_logic sameAs Lógica_no_monotónica.
- Non-monotonic_logic sameAs Logique_non_monotone.
- Non-monotonic_logic sameAs 非単調論理.
- Non-monotonic_logic sameAs Niet-monotone_logica.
- Non-monotonic_logic sameAs Lógica_não-monotônica.
- Non-monotonic_logic sameAs m.01y29p.
- Non-monotonic_logic sameAs Q2488768.
- Non-monotonic_logic sameAs Q2488768.
- Non-monotonic_logic sameAs 非单调逻辑.
- Non-monotonic_logic wasDerivedFrom Non-monotonic_logic?oldid=665286331.
- Non-monotonic_logic isPrimaryTopicOf Non-monotonic_logic.