Autres langages de l`IA

Autres langages de l’IA
Cours en cours de réalisation …
Module Programmation Logique
Pierre De Loor – enib -2004 – [email protected]
www.enib.fr/~deloor

Exemples
{Programmation logiques par contraintes
{Programmation fonctionnelle
{CLIPS
{SOAR
{Programmation logique parallèle
{Programmation des logiques modales
{Programmation des logiques temporelles
{Programmation logique inductive
{Programmation logique abductive

Programmation logique par contraintes
{CHIP
{CLP®
{CLP(FD)
{Distribution
zAWC

Programmation fonctionnelle (PF)
{Fonctions
{Origine mathématique
zLambda-calcul : Church 1932
{Formalisation de la notion de fonctions
{Exclusion de la dualité Intension/extension
{Fonctions définies par des règles
{Récursivité intrinsèque : le domaine des lambda-
fonctions est l ’ensemble des termes du lambda-
calcul
zApplications
{Mathématiques
{Informatique
{Linguistique

PF : lambda calcul
Partir en véhicule En utilisant
Un traineau
Appliquer la
consigne
au véhicule
consigne
Partir en traineau
• Langage naturel