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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n17https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Defeasible_logic
rdfs:label
Defeasible logic Lógica retractable 可废止逻辑 Logique défaisable
rdfs:comment
有疏漏性逻辑是提出的用来形式化有疏漏性推理的非单调逻辑。在缺省逻辑中，有三种不同类型的命题： * 硬性规则：指定一个事实总是另一个事实的结论； * 有疏漏性规则：指定一个事实典型的是另一个事实的结论； * 废止者：指定对有疏漏性规则的例外。 可以在有疏漏性规则和废止者上给出优先级。在演绎期间，硬性规则总是使用，而有疏漏性规则只能在没有更高优先级的废止者指定它不能用的时候使用。 La logique défaisable est une logique non monotone proposée par pour formaliser le raisonnement défaisable. En logique défaisable, il y a trois différents types de règles : Les règles stricteselles spécifient qu'un fait est toujours la conséquence d'un autre ;Les règles défaisableselles spécifient qu'un fait est généralement la conséquence d'un autre ;Les défaiseursils spécifient les exceptions aux règles défaisables. La lógica retractable es una lógica no monotónica propuesta por Donald Nute para formalizar el razonamiento retractable. En esta lógica hay tres tipos diferentes de proposiciones: * Reglas estrictas: especifican que un hecho siempre es consecuencia de otro * Reglas de retractación: especifican que un hecho típicamente es consecuencia de otro * Subcotización de retractores: especifican excepciones a las reglas de retractación Defeasible logic is a non-monotonic logic proposed by to formalize defeasible reasoning. In defeasible logic, there are three different types of propositions: strict rulesspecify that a fact is always a consequence of another;defeasible rulesspecify that a fact is typically a consequence of another;undercutting defeatersspecify exceptions to defeasible rules.
dcterms:subject
dbc:Logic_programming dbc:Non-classical_logic
dbo:wikiPageID
2634860
dbo:wikiPageRevisionID
1088379429
dbo:wikiPageWikiLink
dbr:Donald_Nute dbr:Non-monotonic_logic dbc:Non-classical_logic dbr:Default_logic dbc:Logic_programming dbr:Common_sense dbr:Defeasible_reasoning
owl:sameAs
freebase:m.07t8jr wikidata:Q542504 dbpedia-es:Lógica_retractable n17:4ja73 dbpedia-zh:可废止逻辑 dbpedia-fr:Logique_défaisable
dbp:wikiPageUsesTemplate
dbt:Short_description dbt:Compu-AI-stub dbt:Logic-stub
dbo:abstract
La lógica retractable es una lógica no monotónica propuesta por Donald Nute para formalizar el razonamiento retractable. En esta lógica hay tres tipos diferentes de proposiciones: * Reglas estrictas: especifican que un hecho siempre es consecuencia de otro * Reglas de retractación: especifican que un hecho típicamente es consecuencia de otro * Subcotización de retractores: especifican excepciones a las reglas de retractación Puede darse un orden de prioridad entre las reglas de retratación y los retractores. Durante el proceso de la deducción, las reglas estrictas son siempre aplicadas, mientras que una regla retractable puede aplicarse sólo si no hay un retractador de una mayor prioridad que especifique que no debe. 有疏漏性逻辑是提出的用来形式化有疏漏性推理的非单调逻辑。在缺省逻辑中，有三种不同类型的命题： * 硬性规则：指定一个事实总是另一个事实的结论； * 有疏漏性规则：指定一个事实典型的是另一个事实的结论； * 废止者：指定对有疏漏性规则的例外。 可以在有疏漏性规则和废止者上给出优先级。在演绎期间，硬性规则总是使用，而有疏漏性规则只能在没有更高优先级的废止者指定它不能用的时候使用。 Defeasible logic is a non-monotonic logic proposed by to formalize defeasible reasoning. In defeasible logic, there are three different types of propositions: strict rulesspecify that a fact is always a consequence of another;defeasible rulesspecify that a fact is typically a consequence of another;undercutting defeatersspecify exceptions to defeasible rules. A priority ordering over the defeasible rules and the defeaters can be given. During the process of deduction, the strict rules are always applied, while a defeasible rule can be applied only if no defeater of a higher priority specifies that it should not. La logique défaisable est une logique non monotone proposée par pour formaliser le raisonnement défaisable. En logique défaisable, il y a trois différents types de règles : Les règles stricteselles spécifient qu'un fait est toujours la conséquence d'un autre ;Les règles défaisableselles spécifient qu'un fait est généralement la conséquence d'un autre ;Les défaiseursils spécifient les exceptions aux règles défaisables. On peut donner une priorité sur les règles défaisables et les défaiseurs. Au cours du processus de déduction, les règles strictes sont toujours appliquées, alors qu'une règle défaisable peut être appliquée seulement si aucun défaiseur d'une priorité plus grande ne l'interdit. Par exemple, la règle « toutes les autruches sont des oiseaux » est une règle stricte. La règle « tous les oiseaux volent » est par contre défaisable, et a pour défaiseur « les autruches ne volent pas ».
gold:hypernym
dbr:Logic
prov:wasDerivedFrom
wikipedia-en:Defeasible_logic?oldid=1088379429&ns=0
dbo:wikiPageLength
1316
foaf:isPrimaryTopicOf
wikipedia-en:Defeasible_logic