default logic

См. также в других словарях:

• 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

• Default — may refer to: Default (law), the failure to do something required by law Default judgment Default (finance), failure to satisfy the terms of a loan obligation or to pay back a loan Default (computer science), a preset setting or value Default… …   Wikipedia

• Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia

• Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

• Default Probability — The degree of likelihood that the borrower of a loan or debt will not be able to make the necessary scheduled repayments. Should the borrower be unable to pay, they are then said to be in default of the debt, at which point the lenders of the… …   Investment 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

• 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

• Doxastic logic — is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means belief. Typically, a doxastic logic uses Bx to mean It is believed that x is the case, and the set denotes a set of… …   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

• Late medieval logic — Paul Vincent Spade I Medieval logic encompassed more than what we call logic today. It included semantics, philosophy of language, parts of physics, of philosophy of mind and of epistemology. Late medieval logic began around 1300 and lasted… …   History of philosophy

• Espresso heuristic logic minimizer — The Espresso logic minimizer is a computer program using heuristic and specific algorithms for efficiently reducing the complexity of digital electronic gate circuits.[1] Espresso was developed at IBM by Robert Brayton. Rudell later published the …   Wikipedia