nonmonotonic logic
Смотреть что такое "nonmonotonic logic" в других словарях:
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 • Ant: ↑monotonic • Topics: ↑mathematics, ↑math, ↑maths, ↑logic … Useful english dictionary
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
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
Autoepistemic logic — The autoepistemic logic is a formal logic aimed at formalizing representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about… … Wikipedia
History of logic — Philosophy ( … Wikipedia
Deviant logic — Philosopher Susan Haack uses the term deviant logic to describe certain non classical systems of logic. In these logics, the set of well formed formulas generated equals the set of well formed formulas generated by classical logic. the set of… … Wikipedia
Circumscription (logic) — Not to be confused with circumscribe. Circumscription is a non monotonic logic created by John McCarthy to formalize the common sense assumption that things are as expected unless otherwise specified. Circumscription was later used by McCarthy in … Wikipedia
Defeasible logic — is a non monotonic logic proposed by Donald Nute to formalize defeasible reasoning. In defeasible logic, there are three different types of propositions: strict rules specify that a fact is always a consequence of another; defeasible… … 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
