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

Dernière version du 28 janvier 2024 à 11:00

Définition

Les logiques de description aussi appelées logiques descriptives sont utilisées 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

logique descriptive

Anglais

Description logic

Sources

Source : 24pm academie

Source : Wikipedia

@@ Ligne 1 : / Ligne 1 : @@
-==en construction==
-[[Catégorie:Vocabulaire]]
-[[Catégorie:Intelligence artificielle]]
-[[Catégorie:24pm]]
 ==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 aussi appelées logiques descriptives sont utilisées 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.
+==Français==
+'''Logique de description'''
-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.
+'''logique descriptive'''
-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==
-'''Logiques de description'''    <small> loc. nominale. masc. </small>
 ==Anglais==
-'''XXXXXXX'''
+'''Description logic'''
-<small>
+==Sources==
 [https://www.24pm.com/117-definitions/334-logiques-de-description    Source : 24pm academie]
+[https://fr.wikipedia.org/wiki/Logique_de_description  Source : Wikipedia]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]