About: Default logic     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)

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

AttributesValues
rdf:type
rdfs:label
  • Standardannahme
  • Default logic
  • Lógica por defecto
  • Defaultlogica
  • Lógica default
  • 缺省逻辑
rdfs:comment
  • Defaultlogica is een niet-monotone logica ontwikkeld door waarmee men kan redeneren over gangbare aannames, zoals vogels die doorgaans kunnen vliegen. Men gebruikt hierbij een default, een regel waarvan men aanneemt dat deze wel zal gelden in de meeste situaties. Zo kunnen vogels gewoonlijk vliegen maar er zijn vogelsoorten (bijvoorbeeld pinguïns en struisvogels) die niet kunnen vliegen. Ook kunnen er andere oorzaken zijn, zoals gebroken vleugels. Defaultlogica biedt een manier om deze vorm van redeneren te formaliseren.
  • 缺省逻辑是提出的用来形式化有缺省假定的推理的非单调逻辑。 缺省逻辑可以表达像“缺省的,某个事物是真的”的事实;相反的,标准逻辑只能表达某个事物为真或某个事物为假。这是一个问题,因为推理经常涉及在多数时候是真但不总是真的事实的推理。经典的例子是:“鸟通常会飞”。这个规则可以在标准逻辑中表达为要么“所有鸟都会飞”,这与企鹅不会飞的事实相矛盾;要么“除了企鹅、鸵鸟...的所有鸟都会飞”,这要求规则指定出所有的例外。缺省逻辑致力于形式化像这样的推理规则,而不需要明确提及所有的例外。
  • 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
  • La lógica por defecto es una lógica no monotónica propuesta por Raymond Reiter para formalizar el razonamiento con hipótesis por defecto. La lógica por defecto puede expresar hechos como "de forma predeterminada, algo es cierto", por el contrario, la lógica estándar sólo puede expresar que algo es cierto o que algo es falso. Esto es un problema porque el razonamiento con frecuencia implica que los hechos son ciertos en la mayoría de los casos, pero no siempre. Un ejemplo clásico es el siguiente: "las aves suelen volar". Esta regla puede expresarse en lógica estándar, ya sea por "todas las aves vuelan", que es incompatible con el hecho de que los pingüinos no vuelan, o por "todas las aves que no son pingüinos y no son avestruces y ... vuelan ", que exige que se determinen todas las excepcio
  • Lógica Default é uma lógica não-monotônica proposta por para formalizar o raciocínio com suposições defaults. Lógica Default pode expressar fatos como "por default, algo é verdadeiro"; por outro lado, a lógica clássica só pode expressar que algo é verdade ou que algo é falso.Esse é um problema porque o raciocínio, em muitos casos, envolve fatos que são conhecidos como verdadeiros na maioria dos casos. Um exemplo clássico é: "pássaros tipicamente voam". Essa regra pode ser expressada na lógica clássica ou por "todos os pássaros voam", o que é inconsistente com o fato de que pinguins não voam, ou por "todos os pássaros que não são pinguins e não são avestruzes e... voam", o que requere todas as exceções das regras à ser especificadas. Lógica Default tenta formalizar regras de inferência com
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
bot
  • InternetArchiveBot
date
  • September 2017
fix-attempted
  • yes
has abstract
  • La lógica por defecto es una lógica no monotónica propuesta por Raymond Reiter para formalizar el razonamiento con hipótesis por defecto. La lógica por defecto puede expresar hechos como "de forma predeterminada, algo es cierto", por el contrario, la lógica estándar sólo puede expresar que algo es cierto o que algo es falso. Esto es un problema porque el razonamiento con frecuencia implica que los hechos son ciertos en la mayoría de los casos, pero no siempre. Un ejemplo clásico es el siguiente: "las aves suelen volar". Esta regla puede expresarse en lógica estándar, ya sea por "todas las aves vuelan", que es incompatible con el hecho de que los pingüinos no vuelan, o por "todas las aves que no son pingüinos y no son avestruces y ... vuelan ", que exige que se determinen todas las excepciones a la regla. La lógica por defecto apunta a la formalización de las reglas de inferencia como esta sin mencionar explícitamente todas sus excepciones.
  • 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 all their exceptions.
  • Defaultlogica is een niet-monotone logica ontwikkeld door waarmee men kan redeneren over gangbare aannames, zoals vogels die doorgaans kunnen vliegen. Men gebruikt hierbij een default, een regel waarvan men aanneemt dat deze wel zal gelden in de meeste situaties. Zo kunnen vogels gewoonlijk vliegen maar er zijn vogelsoorten (bijvoorbeeld pinguïns en struisvogels) die niet kunnen vliegen. Ook kunnen er andere oorzaken zijn, zoals gebroken vleugels. Defaultlogica biedt een manier om deze vorm van redeneren te formaliseren.
  • Lógica Default é uma lógica não-monotônica proposta por para formalizar o raciocínio com suposições defaults. Lógica Default pode expressar fatos como "por default, algo é verdadeiro"; por outro lado, a lógica clássica só pode expressar que algo é verdade ou que algo é falso.Esse é um problema porque o raciocínio, em muitos casos, envolve fatos que são conhecidos como verdadeiros na maioria dos casos. Um exemplo clássico é: "pássaros tipicamente voam". Essa regra pode ser expressada na lógica clássica ou por "todos os pássaros voam", o que é inconsistente com o fato de que pinguins não voam, ou por "todos os pássaros que não são pinguins e não são avestruzes e... voam", o que requere todas as exceções das regras à ser especificadas. Lógica Default tenta formalizar regras de inferência como esta sem mencionar explicitamente todas suas exceções.
  • 缺省逻辑是提出的用来形式化有缺省假定的推理的非单调逻辑。 缺省逻辑可以表达像“缺省的,某个事物是真的”的事实;相反的,标准逻辑只能表达某个事物为真或某个事物为假。这是一个问题,因为推理经常涉及在多数时候是真但不总是真的事实的推理。经典的例子是:“鸟通常会飞”。这个规则可以在标准逻辑中表达为要么“所有鸟都会飞”,这与企鹅不会飞的事实相矛盾;要么“除了企鹅、鸵鸟...的所有鸟都会飞”,这要求规则指定出所有的例外。缺省逻辑致力于形式化像这样的推理规则,而不需要明确提及所有的例外。
prov:wasDerivedFrom
page length (characters) of wiki page
gold:hypernym
is foaf:primaryTopic of
is Link from a Wikipage to another Wikipage of
Faceted Search & Find service v1.17_git81 as of Jul 16 2021


Alternative Linked Data Documents: PivotViewer | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3322 as of Sep 15 2021, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software