This HTML5 document contains 87 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbpedia-de	http://de.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-es	http://es.dbpedia.org/resource/
n16	https://global.dbpedia.org/id/
n5	http://www.info.univ-angers.fr/pub/stephan/Research/ARTICLES/
n34	https://web.archive.org/web/20040330051306/http:/www.ccl.umist.ac.uk/teaching/material/5005/
n14	ftp://www.cs.engr.uky.edu/cs/manuscripts/
dbt	http://dbpedia.org/resource/Template:
n29	http://ai2-s2-pdfs.s3.amazonaws.com/1823/
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
n13	https://web.archive.org/web/20170907081238/https:/pdfs.semanticscholar.org/1f1f/
dbpedia-pt	http://pt.dbpedia.org/resource/
n27	http://plato.stanford.edu/entries/reasoning-defeasible/
n28	http://www.jair.org/media/664/
n31	http://www.dbai.tuwien.ac.at/ftp/papers/gottlob/
n15	https://web.archive.org/web/20040814123149/http:/www.rci.rutgers.edu/~cfs/472_html/Logic_KR/
dbpedia-fa	http://fa.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbc	http://dbpedia.org/resource/Category:
dbp	http://dbpedia.org/property/
n20	http://www.ijcai.org/Proceedings/95-2/Papers/
prov	http://www.w3.org/ns/prov#
n24	https://web.archive.org/web/20050119052053/http:/www.cs.uni-potsdam.de/wv/xray/
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbpedia-nl	http://nl.dbpedia.org/resource/
n17	http://dbpedia.org/resource/Arxiv:
gold	http://purl.org/linguistics/gold/
dbr	http://dbpedia.org/resource/
n6	http://www.info.univ-angers.fr/pub/stephan/Research/GADEL/

Statements

Subject Item

dbr:Default_logic

rdf:type

owl:Thing

rdfs:label

Defaultlogica Standardannahme Lógica default 缺省逻辑 Lógica por defecto Default logic

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. 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 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 缺省逻辑是提出的用来形式化有缺省假定的推理的非单调逻辑。 缺省逻辑可以表达像“缺省的，某个事物是真的”的事实；相反的，标准逻辑只能表达某个事物为真或某个事物为假。这是一个问题，因为推理经常涉及在多数时候是真但不总是真的事实的推理。经典的例子是：“鸟通常会飞”。这个规则可以在标准逻辑中表达为要么“所有鸟都会飞”，这与企鹅不会飞的事实相矛盾；要么“除了企鹅、鸵鸟...的所有鸟都会飞”，这要求规则指定出所有的例外。缺省逻辑致力于形式化像这样的推理规则，而不需要明确提及所有的例外。 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 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.

dcterms:subject

dbc:Logic_programming dbc:Non-classical_logic dbc:Logical_calculi dbc:Knowledge_representation

dbo:wikiPageID

889639

dbo:wikiPageRevisionID

1020694543

dbo:wikiPageWikiLink

dbc:Knowledge_representation dbr:Inconsistent dbr:Raymond_Reiter dbr:Negation_as_failure dbr:Stanford_Encyclopedia_of_Philosophy dbr:Richard_Nixon dbr:Non-monotonic_logic dbr:Autoepistemic_logic n17:2103.03198 dbr:Tautology_(logic) dbr:Modal_logic dbr:Fixed_point_(mathematics) dbr:Propositional_logic dbr:Nixon_diamond dbc:Logic_programming dbr:Abductive_reasoning dbr:American_Republican dbr:Propositional_formula dbr:Polynomial_hierarchy dbr:Quaker dbr:Entailment dbr:Answer_set_programming dbc:Logical_calculi dbr:Defeasible_logic dbr:Analysis_of_algorithms dbc:Non-classical_logic dbr:Nondeterministic_algorithm dbr:Prolog dbr:First-order_logic dbr:Closed-world_assumption

dbo:wikiPageExternalLink

n5:IJAIT01.pdf n6:GADEL_prolog.html n13:fbe00f68f9611ddedd7e0ee3771542b31835.pdf n14:deres.ps n15:DefaultTheory.html n20:064.pdf n24: n27: n28:live-664-1854-jair.pdf n29:70ad60f6f4ecbb3fb08b22fdba036918b836.pdf n31:default2ael.ps n34:node33.html

owl:sameAs

wikidata:Q842421 dbpedia-nl:Defaultlogica n16:4zDwE dbpedia-fa:منطق_انگارشی freebase:m.03m2db dbpedia-zh:缺省逻辑 dbpedia-de:Standardannahme dbpedia-es:Lógica_por_defecto dbpedia-pt:Lógica_default

dbp:wikiPageUsesTemplate

dbt:Mvar dbt:Math dbt:Dead_link dbt:Authority_control

dbp:bot

InternetArchiveBot

dbp:date

September 2017

dbp:fixAttempted

yes

dbo:abstract

缺省逻辑是提出的用来形式化有缺省假定的推理的非单调逻辑。 缺省逻辑可以表达像“缺省的，某个事物是真的”的事实；相反的，标准逻辑只能表达某个事物为真或某个事物为假。这是一个问题，因为推理经常涉及在多数时候是真但不总是真的事实的推理。经典的例子是：“鸟通常会飞”。这个规则可以在标准逻辑中表达为要么“所有鸟都会飞”，这与企鹅不会飞的事实相矛盾；要么“除了企鹅、鸵鸟...的所有鸟都会飞”，这要求规则指定出所有的例外。缺省逻辑致力于形式化像这样的推理规则，而不需要明确提及所有的例外。 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. 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. 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. 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.

gold:hypernym

dbr:Logic

prov:wasDerivedFrom

wikipedia-en:Default_logic?oldid=1020694543&ns=0

dbo:wikiPageLength

21306

foaf:isPrimaryTopicOf

wikipedia-en:Default_logic