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 something is false. This is a problem because reasoning often involves facts that are true in the majority of cases but not always. A classical example is: “birds typically fly”. This rule can be expressed in standard logic either by “all birds fly”, which is inconsistent with the fact that penguins do not fly, or by “all birds that are not penguins and not ostriches and ... fly”, which requires all exceptions to the rule to be specified. Default logic aims at formalizing inference rules like this one without explicitly mentioning al
Wikipage redirect
Answer set programmingArtificial intelligenceBart SelmanClosed-world assumptionCommonsense knowledge (artificial intelligence)Computational tools for artificial intelligenceDebt overhangDefault LogicDefault reasoningDefault theoryDefeasible logicFrame problemGlossary of artificial intelligenceHypothetical syllogismIndex of logic articlesIndex of philosophy articles (D–H)LogicNixon diamondNon-monotonic logicRaymond ReiterRule Interchange FormatStable model semantics
Link from a Wikipage to another Wikipage
primaryTopic
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 something is false. This is a problem because reasoning often involves facts that are true in the majority of cases but not always. A classical example is: “birds typically fly”. This rule can be expressed in standard logic either by “all birds fly”, which is inconsistent with the fact that penguins do not fly, or by “all birds that are not penguins and not ostriches and ... fly”, which requires all exceptions to the rule to be specified. Default logic aims at formalizing inference rules like this one without explicitly mentioning al
has abstract
Default logic is a non-monoton ...... ntioning all their exceptions.
@en
Defaultlogica is een niet-mono ...... van redeneren te formaliseren.
@nl
La lógica por defecto es una l ...... tamente todas sus excepciones.
@es
Lógica Default é uma lógica nã ...... citamente todas suas exceções.
@pt
缺省逻辑是提出的用来形式化有缺省假定的推理的非单调逻辑。 缺 ...... 辑致力于形式化像这样的推理规则,而不需要明确提及所有的例外。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,020,694,543
Link from a Wikipage to another Wikipage
bot
InternetArchiveBot
@en
date
September 2017
@en
fix-attempted
yes
@en
wikiPageUsesTemplate
hypernym
type
comment
Default logic is a non-monoton ...... thout explicitly mentioning al
@en
Defaultlogica is een niet-mono ...... van redeneren te formaliseren.
@nl
La lógica por defecto es una l ...... determinen todas las excepcio
@es
Lógica Default é uma lógica nã ...... lizar regras de inferência com
@pt
缺省逻辑是提出的用来形式化有缺省假定的推理的非单调逻辑。 缺 ...... 辑致力于形式化像这样的推理规则,而不需要明确提及所有的例外。
@zh
label
Default logic
@en
Defaultlogica
@nl
Lógica default
@pt
Lógica por defecto
@es
Standardannahme
@de
缺省逻辑
@zh