Default logic

http://dbpedia.org/resource/Default_logic an entity of type: Thing

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. rdf:langString
缺省逻辑是提出的用来形式化有缺省假定的推理的非单调逻辑。 缺省逻辑可以表达像“缺省的,某个事物是真的”的事实;相反的,标准逻辑只能表达某个事物为真或某个事物为假。这是一个问题,因为推理经常涉及在多数时候是真但不总是真的事实的推理。经典的例子是:“鸟通常会飞”。这个规则可以在标准逻辑中表达为要么“所有鸟都会飞”,这与企鹅不会飞的事实相矛盾;要么“除了企鹅、鸵鸟...的所有鸟都会飞”,这要求规则指定出所有的例外。缺省逻辑致力于形式化像这样的推理规则,而不需要明确提及所有的例外。 rdf:langString
Eine Standardannahme oder ein Default (engl. [dɪ'fɔlt] oder [dɪ'fɔ:lt]) ist eine Annahme, die ohne explizite Setzung im Einzelfall solange gilt, bis sie durch eine speziellere Festlegung außer Kraft gesetzt wird. Der Begriff weist Analogien zum Begriff der Voreinstellung (auch: Default) in der Programmierung auf, wird aber in einem verallgemeinerten Sinn in verschiedenen Gebieten verwendet. rdf:langString
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 rdf:langString
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 rdf:langString
A lógica default é uma lógica não-monotônica proposta por para formalizar o raciocínio com suposições defaults. A 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 rdf:langString
rdf:langString Standardannahme
rdf:langString Lógica por defecto
rdf:langString Default logic
rdf:langString Defaultlogica
rdf:langString Lógica default
rdf:langString 缺省逻辑
xsd:integer 889639
xsd:integer 1020694543
rdf:langString InternetArchiveBot
rdf:langString September 2017
rdf:langString yes
rdf:langString Eine Standardannahme oder ein Default (engl. [dɪ'fɔlt] oder [dɪ'fɔ:lt]) ist eine Annahme, die ohne explizite Setzung im Einzelfall solange gilt, bis sie durch eine speziellere Festlegung außer Kraft gesetzt wird. Der Begriff weist Analogien zum Begriff der Voreinstellung (auch: Default) in der Programmierung auf, wird aber in einem verallgemeinerten Sinn in verschiedenen Gebieten verwendet. Praktische Anwendung finden Standardannahmen bei der Simulation von Prozessen des Lernens oder zur Beschreibung von Prototypen im Alltagswissen (Vögel können fliegen, Schwäne sind weiß sind solche Standardannahmen). Die Bedeutung des Wortes Default ist im Englischen ursprünglich „Ausfall“, z. B. der Zahlungsausfall eines Schuldners. Im oben genannten Zusammenhang entwickelte sich zunächst die Wendung, dass etwas per Default (by default) gilt, also „wegen des Fehlens [anderweitiger Information].“ Daraus ergibt sich der Sprachgebrauch, wonach der Default der Fall ist, in dem eine Voreinstellung greift, und von daher dann auch, dass das Wort Default die voreingestellte Information selbst bezeichnet.
rdf:langString 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.
rdf:langString 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.
rdf:langString 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.
rdf:langString A lógica default é uma lógica não-monotônica proposta por para formalizar o raciocínio com suposições defaults. A 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.
rdf:langString 缺省逻辑是提出的用来形式化有缺省假定的推理的非单调逻辑。 缺省逻辑可以表达像“缺省的,某个事物是真的”的事实;相反的,标准逻辑只能表达某个事物为真或某个事物为假。这是一个问题,因为推理经常涉及在多数时候是真但不总是真的事实的推理。经典的例子是:“鸟通常会飞”。这个规则可以在标准逻辑中表达为要么“所有鸟都会飞”,这与企鹅不会飞的事实相矛盾;要么“除了企鹅、鸵鸟...的所有鸟都会飞”,这要求规则指定出所有的例外。缺省逻辑致力于形式化像这样的推理规则,而不需要明确提及所有的例外。
xsd:nonNegativeInteger 21306

data from the linked data cloud