Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Default_logic> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- Default_logic abstract "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.".
- Default_logic wikiPageExternalLink deres.ps.
- Default_logic wikiPageExternalLink reasoning-defeasible.
- Default_logic wikiPageExternalLink node33.html.
- Default_logic wikiPageExternalLink xray.
- Default_logic wikiPageExternalLink GADEL_prolog.html.
- Default_logic wikiPageExternalLink DefaultTheory.html.
- Default_logic wikiPageID "889639".
- Default_logic wikiPageRevisionID "542606495".
- Default_logic hasPhotoCollection Default_logic.
- Default_logic subject Category:Knowledge_representation.
- Default_logic subject Category:Logic_programming.
- Default_logic subject Category:Logical_calculi.
- Default_logic subject Category:Non-classical_logic.
- Default_logic comment "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”.".
- Default_logic label "Default logic".
- Default_logic label "Defaultlogica".
- Default_logic label "Lógica Default".
- Default_logic label "Lógica por defecto".
- Default_logic label "缺省逻辑".
- Default_logic sameAs Lógica_por_defecto.
- Default_logic sameAs Defaultlogica.
- Default_logic sameAs Lógica_Default.
- Default_logic sameAs m.03m2db.
- Default_logic sameAs Q842421.
- Default_logic sameAs Q842421.
- Default_logic wasDerivedFrom Default_logic?oldid=542606495.
- Default_logic isPrimaryTopicOf Default_logic.