« Description logic » : différence entre les versions


(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle‏‎ Catégorie:Wikipedia-IA‏‎ == Définition == ... == Français ==... »)
Balise : Éditeur de wikicode 2017
 
(Page redirigée vers Logiques de description)
Balises : Nouvelle redirection Éditeur de wikicode 2017
Ligne 1 : Ligne 1 :
#REDIRECTION[[Logiques de description]]
[[Catégorie:ENGLISH]]


== en construction ==
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle‏‎]]
[[Catégorie:Wikipedia-IA‏‎ ]]
== Définition ==
...
== Français ==
...
 
== Anglais ==
''' Description logic'''
Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures have been designed and implemented for these problems. There are general, spatial, temporal, spatiotemporal, and fuzzy descriptions logics, and each description logic features a different balance between DL expressivity and reasoning complexity by supporting different sets of mathematical constructors.[155]
<small>




[https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence  Source : Wikipedia]
[https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence  Source : Wikipedia]

Version du 11 mai 2020 à 16:20



Contributeurs: wiki