« Logiques de description » : différence entre les versions

Version du 1 mai 2020 à 16:24

Définition

Les logiques de description aussi appelé logiques descriptives (LD) sont utilisés en intelligence artificielle pour décrire et raisonner sur les concepts pertinents d'un domaine d'application (connu sous le nom de connaissance terminologique).

Français

Logique de description loc. nom. masc.

logique descriptive loc. nom. masc.

Anglais

Description logic

Source : 24pm academie

Source : Wikipedia

@@ Ligne 1 : / Ligne 1 : @@
-==en construction==
 [[Catégorie:Vocabulaire]]
 [[Catégorie:Intelligence artificielle]]
 [[Catégorie:24pm]]
+[[Catégorie:Scotty]]
 ==Définition==
 Les logiques de description aussi appelé logiques descriptives (LD) sont utilisés en intelligence artificielle pour décrire et raisonner sur les concepts pertinents d'un domaine d'application (connu sous le nom de connaissance terminologique).
-Les logiques de description sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d'un domaine d'application d'une manière formelle et structurée. Le nom de logique de description se rapporte, d'une part à la description de concepts utilisée pour décrire un domaine et d'autre part à la sémantique basée sur la logique qui peut être donnée par une transcription en logique des prédicats du premier ordre. La logique de description a été développée comme une extension des langages à cadres, une famille de langage de programmation pour l'intelligence artificielle, et des réseaux sémantiques, qui ne possédaient pas de sémantique formelle basée sur la logique.
-Contrairement à logique propositionnelle ou à la logique de premier ordre, les problèmes de raisonnement fondamentaux des DL sont (généralement) décisifs, et des procédures de décision efficaces ont été conçues et mises en œuvre pour résoudre ces problèmes. Il existe des logiques de description générales, spatiales, temporelles, spatio-temporelles et floues, et chaque logique de description offre un équilibre différent entre l'expressivité des DL et la complexité du raisonnement en prenant en charge différents ensembles de constructeurs mathématiques.
-Il est particulièrement important de fournir un formalisme logique aux ontologies et au Web sémantique : le langage d'ontologie Web (OWL) et son profil est basé sur les DL. L'application la plus notable des DL et des OWL concerne l'informatique biomédicale, où DL aide à la codification des connaissances biomédicales.
 ==Français==
-'''Logique de description'''    <small> loc. nominale. masc. </small>
+'''Logique de description'''    <small> loc. nom. masc. </small>
-'''logique descriptive'''
+'''logique descriptive'''  <small> loc. nom. masc. </small>
 ==Anglais==
@@ Ligne 28 : / Ligne 20 : @@
 [https://www.24pm.com/117-definitions/334-logiques-de-description    Source : 24pm academie]
-https://fr.wikipedia.org/wiki/Logique_de_description
+[https://fr.wikipedia.org/wiki/Logique_de_description  Source : Wikipedia]

« Logiques de description » : différence entre les versions

Version du 1 mai 2020 à 16:24

Définition

Français

Anglais

« Logiques de description » : différence entre les versions