« Description logic » : différence entre les versions

Version du 11 mai 2020 à 16:20

Rediriger vers :

@@ 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]