nonmonotonic

nonmonotonic
немонотонный

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "nonmonotonic" в других словарях:

  • nonmonotonic — onmonotonic adj. (Math. or logic) not monotonic; of relations between variables. Opposite of {monotonic}. [WordNet 1.5] …   The Collaborative International Dictionary of English

  • 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


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»