| Property |
Value |
| dbo:abstract
|
- Un moteur d'inférence (du verbe « inférer » qui signifie « déduire ») est un progiciel correspondant à un algorithme de simulation des raisonnements déductifs. Un moteur d'inférence permet aux systèmes experts de conduire des raisonnements logiques et de dériver des conclusions à partir d'une base de faits et d'une base de connaissances. Les moteurs d'inférence peuvent implémenter :
* une logique formelle d'ordre 0 (logique des propositions), d'ordre 0+, d'ordre 1 (logique des prédicats) ou d'ordre 2 avec
* une gestion d'hypothèses monotone ou non monotone,
* un chaînage avant, chaînage arrière ou ,
* une complétude déductive ou non. (fr)
- Un moteur d'inférence (du verbe « inférer » qui signifie « déduire ») est un progiciel correspondant à un algorithme de simulation des raisonnements déductifs. Un moteur d'inférence permet aux systèmes experts de conduire des raisonnements logiques et de dériver des conclusions à partir d'une base de faits et d'une base de connaissances. Les moteurs d'inférence peuvent implémenter :
* une logique formelle d'ordre 0 (logique des propositions), d'ordre 0+, d'ordre 1 (logique des prédicats) ou d'ordre 2 avec
* une gestion d'hypothèses monotone ou non monotone,
* un chaînage avant, chaînage arrière ou ,
* une complétude déductive ou non. (fr)
|
| dbo:isPartOf
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3500 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- Un moteur d'inférence (du verbe « inférer » qui signifie « déduire ») est un progiciel correspondant à un algorithme de simulation des raisonnements déductifs. Un moteur d'inférence permet aux systèmes experts de conduire des raisonnements logiques et de dériver des conclusions à partir d'une base de faits et d'une base de connaissances. Les moteurs d'inférence peuvent implémenter : (fr)
- Un moteur d'inférence (du verbe « inférer » qui signifie « déduire ») est un progiciel correspondant à un algorithme de simulation des raisonnements déductifs. Un moteur d'inférence permet aux systèmes experts de conduire des raisonnements logiques et de dériver des conclusions à partir d'une base de faits et d'une base de connaissances. Les moteurs d'inférence peuvent implémenter : (fr)
|
| rdfs:label
|
- Inference engine (en)
- Inferenzmaschine (de)
- Moteur d'inférence (fr)
- Motore inferenziale (it)
- 推論エンジン (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
