Lancer un Ecommerce Anti Amazon en 24h

 1 jour d'essai gratuit

Formation à GPT3 et ChatGPT
Musclez le contenu + SEO
Définitions

Logiques de description

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.

EXCLUSIF

35 Formations
Intelligence Artificielle
Marketing Digital
Ecommerce
Forfait illimité: à partir de 166€/mois

Accès 100 collaborateurs

Découvrir

Organisme de formation

 OF N°11756628075 - 17 rue etex, Paris

Recevez des exclus !

Search