nonmonotonic
Look at other dictionaries:
nonmonotonic — adjective Not monotonic … Wiktionary
nonmonotonic — adjective not monotonic • Ant: ↑monotonic • Topics: ↑mathematics, ↑math, ↑maths, ↑logic … Useful english dictionary
nicht monotones Schließen — Nonmonotonic Reasoning; in der ⇡ Künstlichen Intelligenz Methode des Ableitens neuer Fakten aus einer Menge von ⇡ Regeln und Fakten, bei der neue Fakten im Widerspruch zu solchen aus der vorherigen Faktenmenge stehen können. Dieser Widerspruch… … Lexikon der Economics
Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. 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 … Wikipedia
Inference — is the act or process of deriving a conclusion based solely on what one already knows. Inference is studied within several different fields. * Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of… … Wikipedia
Lógica no monotónica — 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… … Wikipedia Español
Stable model semantics — The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program… … Wikipedia
Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that … Wikipedia
Nixon diamond — In nonmonotonic reasoning, the Nixon diamond is a scenario in which default assumptions can lead to mutually inconsistent conclusions. This scenario is: usually, Quakers are pacifist usually, Republicans are not pacifist Richard Nixon is both a… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
