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.
Apellido |
|
rdfs:comment |
|
Edición |
|
Editor |
|
Enciclopedia |
|
Fechaacceso |
|
Idioma |
|
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Nombre |
|
Is foaf:primaryTopic of | |
Sined |
|
dcterms:subject | |
Título |
|
Url | |
prov:wasDerivedFrom | |
Is dbpedia-owl:wikiPageDisambiguates of | |
dbpedia-owl:wikiPageExternalLink | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
Is dbpedia-owl:wikiPageRedirects of | |
dbpedia-owl:wikiPageRevisionID |
|
prop-latam:wikiPageUsesTemplate | |
dbpedia-owl:wikiPageWikiLink | |
Is dbpedia-owl:wikiPageWikiLink of |