- nonmonotonic conclusion
- нестрогий вывод (при неполной информации) ;
немонотонное заключение (полученное на основе нестрогого вывода)
Большой англо-русский и русско-английский словарь. 2001.
nonmonotonic conclusion
Смотреть что такое "nonmonotonic conclusion" в других словарях:
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
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
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
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
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
History of logic — Philosophy ( … Wikipedia
Argumentation theory — Argumentation theory, or argumentation, embraces the arts and sciences of civil debate, dialogue, conversation, and persuasion; studying rules of inference, logic, and procedural rules in both artificial and real world settings. Argumentation is… … Wikipedia
Teoría de la argumentación — La teoría o tipo de la argumentación es el estudio interdisciplinario del debate civil, la dialéctica parlamentaria, el diálogo, la conversación y la persuasión. Estudia la lógica, las reglas de inferencia y las reglas de procedimiento. La… … Wikipedia Español
John von Neumann — Von Neumann redirects here. For other uses, see Von Neumann (disambiguation). The native form of this personal name is Neumann János. This article uses the Western name order. John von Neumann … Wikipedia
Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… … Wikipedia
