« Programmation logique » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Domaine == | ==Domaine== | ||
[[Category:Intelligence artificielle]]Intelligence artificielle<br> | [[Category:Intelligence artificielle]] | ||
[[Category:Langage de programmation]]Langage de programmation<br> | Intelligence artificielle<br> | ||
[[Category:Programmation logique]]Programmation logique<br> | [[Category:Langage de programmation]] | ||
[[Category:Résolution de problèmes]]Résolution de problèmes<br> | Langage de programmation<br> | ||
[[Category:Programmation logique]] | |||
Programmation logique<br> | |||
[[Category:Résolution de problèmes]] | |||
Résolution de problèmes<br> | |||
[[Category:Coulombe]] | [[Category:Coulombe]] | ||
[[Catégorie:Scotty]] | [[Catégorie:Scotty]] | ||
== Définition == | ==Définition== | ||
Utilisé en intelligence artificielle programmation logique est un paradigme de programmation essentiellement basé sur la logique formelle. Tout programme écrit dans un langage de programmation logique est un ensemble de formules logiques, exprimant des faits et des règles sur un problème que l'on cherche à résoudre. Ces faits et ces règles sont manipulés par un démonstrateur de théorème ou moteur d'inférence, qui cherche à répondre à une question ou requête. Les principales familles de langages de programmation logique sont Prolog, PLANNER, Answer set programming (ASP) et Datalog. | Utilisé en intelligence artificielle programmation logique est un paradigme de programmation essentiellement basé sur la logique formelle. Tout programme écrit dans un langage de programmation logique est un ensemble de formules logiques, exprimant des faits et des règles sur un problème que l'on cherche à résoudre. Ces faits et ces règles sont manipulés par un démonstrateur de théorème ou moteur d'inférence, qui cherche à répondre à une question ou requête. Les principales familles de langages de programmation logique sont Prolog, PLANNER, Answer set programming (ASP) et Datalog. | ||
== Français == | ==Français== | ||
'''programmation logique''' | '''programmation logique''' n.f. | ||
==Anglais== | |||
== Anglais == | |||
''' Logic programming ''' | ''' Logic programming ''' | ||
| Ligne 23 : | Ligne 26 : | ||
[https://fr.wikipedia.org/wiki/Programmation_logique | [https://fr.wikipedia.org/wiki/Programmation_logique Source: Wikipedia] | ||
Version du 25 mai 2019 à 21:31
Domaine
Intelligence artificielle
Langage de programmation
Programmation logique
Résolution de problèmes
Définition
Utilisé en intelligence artificielle programmation logique est un paradigme de programmation essentiellement basé sur la logique formelle. Tout programme écrit dans un langage de programmation logique est un ensemble de formules logiques, exprimant des faits et des règles sur un problème que l'on cherche à résoudre. Ces faits et ces règles sont manipulés par un démonstrateur de théorème ou moteur d'inférence, qui cherche à répondre à une question ou requête. Les principales familles de langages de programmation logique sont Prolog, PLANNER, Answer set programming (ASP) et Datalog.
Français
programmation logique n.f.
Anglais
Logic programming
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
