. . . . . . . . . "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\u00EFns 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."@nl . . . . . "September 2017"@en . . "21306"^^ . . . . . "Defaultlogica"@nl . "Standardannahme"@de . . . . . "La l\u00F3gica por defecto es una l\u00F3gica no monot\u00F3nica propuesta por Raymond Reiter para formalizar el razonamiento con hip\u00F3tesis por defecto. La l\u00F3gica por defecto puede expresar hechos como \"de forma predeterminada, algo es cierto\", por el contrario, la l\u00F3gica est\u00E1ndar s\u00F3lo 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\u00EDa de los casos, pero no siempre. Un ejemplo cl\u00E1sico es el siguiente: \"las aves suelen volar\". Esta regla puede expresarse en l\u00F3gica est\u00E1ndar, ya sea por \"todas las aves vuelan\", que es incompatible con el hecho de que los ping\u00FCinos no vuelan, o por \"todas las aves que no son ping\u00FCinos y no son avestruces y ... vuelan \", que exige que se determinen todas las excepcio"@es . . . "L\u00F3gica default"@pt . . . . . "\u7F3A\u7701\u903B\u8F91\u662F\u63D0\u51FA\u7684\u7528\u6765\u5F62\u5F0F\u5316\u6709\u7F3A\u7701\u5047\u5B9A\u7684\u63A8\u7406\u7684\u975E\u5355\u8C03\u903B\u8F91\u3002 \u7F3A\u7701\u903B\u8F91\u53EF\u4EE5\u8868\u8FBE\u50CF\u201C\u7F3A\u7701\u7684\uFF0C\u67D0\u4E2A\u4E8B\u7269\u662F\u771F\u7684\u201D\u7684\u4E8B\u5B9E\uFF1B\u76F8\u53CD\u7684\uFF0C\u6807\u51C6\u903B\u8F91\u53EA\u80FD\u8868\u8FBE\u67D0\u4E2A\u4E8B\u7269\u4E3A\u771F\u6216\u67D0\u4E2A\u4E8B\u7269\u4E3A\u5047\u3002\u8FD9\u662F\u4E00\u4E2A\u95EE\u9898\uFF0C\u56E0\u4E3A\u63A8\u7406\u7ECF\u5E38\u6D89\u53CA\u5728\u591A\u6570\u65F6\u5019\u662F\u771F\u4F46\u4E0D\u603B\u662F\u771F\u7684\u4E8B\u5B9E\u7684\u63A8\u7406\u3002\u7ECF\u5178\u7684\u4F8B\u5B50\u662F\uFF1A\u201C\u9E1F\u901A\u5E38\u4F1A\u98DE\u201D\u3002\u8FD9\u4E2A\u89C4\u5219\u53EF\u4EE5\u5728\u6807\u51C6\u903B\u8F91\u4E2D\u8868\u8FBE\u4E3A\u8981\u4E48\u201C\u6240\u6709\u9E1F\u90FD\u4F1A\u98DE\u201D\uFF0C\u8FD9\u4E0E\u4F01\u9E45\u4E0D\u4F1A\u98DE\u7684\u4E8B\u5B9E\u76F8\u77DB\u76FE\uFF1B\u8981\u4E48\u201C\u9664\u4E86\u4F01\u9E45\u3001\u9E35\u9E1F...\u7684\u6240\u6709\u9E1F\u90FD\u4F1A\u98DE\u201D\uFF0C\u8FD9\u8981\u6C42\u89C4\u5219\u6307\u5B9A\u51FA\u6240\u6709\u7684\u4F8B\u5916\u3002\u7F3A\u7701\u903B\u8F91\u81F4\u529B\u4E8E\u5F62\u5F0F\u5316\u50CF\u8FD9\u6837\u7684\u63A8\u7406\u89C4\u5219\uFF0C\u800C\u4E0D\u9700\u8981\u660E\u786E\u63D0\u53CA\u6240\u6709\u7684\u4F8B\u5916\u3002"@zh . "\u7F3A\u7701\u903B\u8F91"@zh . "L\u00F3gica por defecto"@es . . . . "1020694543"^^ . . . . . . . . . "Default logic is a non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like \u201Cby default, something is true\u201D; 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: \u201Cbirds typically fly\u201D. This rule can be expressed in standard logic either by \u201Call birds fly\u201D, which is inconsistent with the fact that penguins do not fly, or by \u201Call birds that are not penguins and not ostriches and ... fly\u201D, which requires all exceptions to the rule to be specified. Default logic aims at formalizing inference rules like this one without explicitly mentioning al"@en . . . . "\u7F3A\u7701\u903B\u8F91\u662F\u63D0\u51FA\u7684\u7528\u6765\u5F62\u5F0F\u5316\u6709\u7F3A\u7701\u5047\u5B9A\u7684\u63A8\u7406\u7684\u975E\u5355\u8C03\u903B\u8F91\u3002 \u7F3A\u7701\u903B\u8F91\u53EF\u4EE5\u8868\u8FBE\u50CF\u201C\u7F3A\u7701\u7684\uFF0C\u67D0\u4E2A\u4E8B\u7269\u662F\u771F\u7684\u201D\u7684\u4E8B\u5B9E\uFF1B\u76F8\u53CD\u7684\uFF0C\u6807\u51C6\u903B\u8F91\u53EA\u80FD\u8868\u8FBE\u67D0\u4E2A\u4E8B\u7269\u4E3A\u771F\u6216\u67D0\u4E2A\u4E8B\u7269\u4E3A\u5047\u3002\u8FD9\u662F\u4E00\u4E2A\u95EE\u9898\uFF0C\u56E0\u4E3A\u63A8\u7406\u7ECF\u5E38\u6D89\u53CA\u5728\u591A\u6570\u65F6\u5019\u662F\u771F\u4F46\u4E0D\u603B\u662F\u771F\u7684\u4E8B\u5B9E\u7684\u63A8\u7406\u3002\u7ECF\u5178\u7684\u4F8B\u5B50\u662F\uFF1A\u201C\u9E1F\u901A\u5E38\u4F1A\u98DE\u201D\u3002\u8FD9\u4E2A\u89C4\u5219\u53EF\u4EE5\u5728\u6807\u51C6\u903B\u8F91\u4E2D\u8868\u8FBE\u4E3A\u8981\u4E48\u201C\u6240\u6709\u9E1F\u90FD\u4F1A\u98DE\u201D\uFF0C\u8FD9\u4E0E\u4F01\u9E45\u4E0D\u4F1A\u98DE\u7684\u4E8B\u5B9E\u76F8\u77DB\u76FE\uFF1B\u8981\u4E48\u201C\u9664\u4E86\u4F01\u9E45\u3001\u9E35\u9E1F...\u7684\u6240\u6709\u9E1F\u90FD\u4F1A\u98DE\u201D\uFF0C\u8FD9\u8981\u6C42\u89C4\u5219\u6307\u5B9A\u51FA\u6240\u6709\u7684\u4F8B\u5916\u3002\u7F3A\u7701\u903B\u8F91\u81F4\u529B\u4E8E\u5F62\u5F0F\u5316\u50CF\u8FD9\u6837\u7684\u63A8\u7406\u89C4\u5219\uFF0C\u800C\u4E0D\u9700\u8981\u660E\u786E\u63D0\u53CA\u6240\u6709\u7684\u4F8B\u5916\u3002"@zh . "InternetArchiveBot"@en . . . "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\u00EFns 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."@nl . . . . "yes"@en . . "Default logic"@en . "Eine Standardannahme oder ein Default (engl. [d\u026A'f\u0254lt] oder [d\u026A'f\u0254:lt]) ist eine Annahme, die ohne explizite Setzung im Einzelfall solange gilt, bis sie durch eine speziellere Festlegung au\u00DFer 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\u00F6gel k\u00F6nnen fliegen, Schw\u00E4ne sind wei\u00DF sind solche Standardannahmen). Die Bedeutung des Wortes Default ist im Englischen urspr\u00FCnglich \u201EAusfall\u201C, z. B. der Zahlungsausfall eines Schuldners. Im oben genannten Zusammenhang entwickelte sich zun\u00E4chst die Wendung, dass etwas per Default (by default) gilt, also \u201Ewegen des Fehlens [anderweitiger Information].\u201C 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."@de . . "A l\u00F3gica default \u00E9 uma l\u00F3gica n\u00E3o-monot\u00F4nica proposta por para formalizar o racioc\u00EDnio com suposi\u00E7\u00F5es defaults. A l\u00F3gica default pode expressar fatos como \"por default, algo \u00E9 verdadeiro\"; por outro lado, a l\u00F3gica cl\u00E1ssica s\u00F3 pode expressar que algo \u00E9 verdade ou que algo \u00E9 falso.Esse \u00E9 um problema porque o racioc\u00EDnio, em muitos casos, envolve fatos que s\u00E3o conhecidos como verdadeiros na maioria dos casos. Um exemplo cl\u00E1ssico \u00E9: \"p\u00E1ssaros tipicamente voam\". Essa regra pode ser expressada na l\u00F3gica cl\u00E1ssica ou por \"todos os p\u00E1ssaros voam\", o que \u00E9 inconsistente com o fato de que pinguins n\u00E3o voam, ou por \"todos os p\u00E1ssaros que n\u00E3o s\u00E3o pinguins e n\u00E3o s\u00E3o avestruzes e... voam\", o que requere todas as exce\u00E7\u00F5es das regras \u00E0 ser especificadas. L\u00F3gica Default tenta formalizar regras de infer\u00EAncia como esta sem mencionar explicitamente todas suas exce\u00E7\u00F5es."@pt . . . . . . "La l\u00F3gica por defecto es una l\u00F3gica no monot\u00F3nica propuesta por Raymond Reiter para formalizar el razonamiento con hip\u00F3tesis por defecto. La l\u00F3gica por defecto puede expresar hechos como \"de forma predeterminada, algo es cierto\", por el contrario, la l\u00F3gica est\u00E1ndar s\u00F3lo 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\u00EDa de los casos, pero no siempre. Un ejemplo cl\u00E1sico es el siguiente: \"las aves suelen volar\". Esta regla puede expresarse en l\u00F3gica est\u00E1ndar, ya sea por \"todas las aves vuelan\", que es incompatible con el hecho de que los ping\u00FCinos no vuelan, o por \"todas las aves que no son ping\u00FCinos y no son avestruces y ... vuelan \", que exige que se determinen todas las excepciones a la regla. La l\u00F3gica por defecto apunta a la formalizaci\u00F3n de las reglas de inferencia como esta sin mencionar expl\u00EDcitamente todas sus excepciones."@es . "889639"^^ . . "Default logic is a non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like \u201Cby default, something is true\u201D; 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: \u201Cbirds typically fly\u201D. This rule can be expressed in standard logic either by \u201Call birds fly\u201D, which is inconsistent with the fact that penguins do not fly, or by \u201Call birds that are not penguins and not ostriches and ... fly\u201D, 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."@en . . . . . "A l\u00F3gica default \u00E9 uma l\u00F3gica n\u00E3o-monot\u00F4nica proposta por para formalizar o racioc\u00EDnio com suposi\u00E7\u00F5es defaults. A l\u00F3gica default pode expressar fatos como \"por default, algo \u00E9 verdadeiro\"; por outro lado, a l\u00F3gica cl\u00E1ssica s\u00F3 pode expressar que algo \u00E9 verdade ou que algo \u00E9 falso.Esse \u00E9 um problema porque o racioc\u00EDnio, em muitos casos, envolve fatos que s\u00E3o conhecidos como verdadeiros na maioria dos casos. Um exemplo cl\u00E1ssico \u00E9: \"p\u00E1ssaros tipicamente voam\". Essa regra pode ser expressada na l\u00F3gica cl\u00E1ssica ou por \"todos os p\u00E1ssaros voam\", o que \u00E9 inconsistente com o fato de que pinguins n\u00E3o voam, ou por \"todos os p\u00E1ssaros que n\u00E3o s\u00E3o pinguins e n\u00E3o s\u00E3o avestruzes e... voam\", o que requere todas as exce\u00E7\u00F5es das regras \u00E0 ser especificadas. L\u00F3gica Default tenta formalizar regras de infer\u00EAncia"@pt . . . . . "Eine Standardannahme oder ein Default (engl. [d\u026A'f\u0254lt] oder [d\u026A'f\u0254:lt]) ist eine Annahme, die ohne explizite Setzung im Einzelfall solange gilt, bis sie durch eine speziellere Festlegung au\u00DFer 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."@de .