Property |
Value |
dbo:abstract
|
- 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 ». (fr)
- 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 ». (fr)
|
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 2305 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
| |
prop-fr:auteurs
|
- Michael A. Covington, Donald Nute, André Vellino (fr)
- Michael A. Covington, Donald Nute, André Vellino (fr)
|
prop-fr:ref
|
- Référence:Prolog programming in depth (fr)
- Référence:Prolog programming in depth (fr)
|
prop-fr:titre
|
- Prolog Programming in Depth (fr)
- Prolog Programming in Depth (fr)
|
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- Prenctice Hall (fr)
- Prenctice Hall (fr)
|
dct:subject
| |
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. (fr)
- 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. (fr)
|
rdfs:label
|
- Logique défaisable (fr)
- Logique défaisable (fr)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |