Contribution à l'étude du raisonnement temporel. Résolution avec contraintes et application à l'abduction en raisonnement temporel

Contribution à l'étude du raisonnement temporel. Résolution avec contraintes et application à l'abduction en raisonnement temporel

Ce travail présente notre contribution au domaine du raisonnement temporel (RT) en intelligence artificielle. Nous avons défini et mis en oeuvre un mécanisme de raisonnement abductif (génération d'hypothèses) pour le RT. Un tel mode de raisonnement présente en particulier l'intérêt d'...

Full description

Bibliographic Details
Main Author: Chleq, Nicolas
Language:FRE
Published: Ecole Nationale des Ponts et Chaussées 1995
Subjects:
[INFO:INFO_HC] Computer Science/Human-Computer Interaction
intelligence artificielle
programmation
contrainte
science cognitive
cognition
neuroscience
planification
prédiction
raisonnement mathématique
informatique
modèle mathématique
système expert
logique temporelle
résolution avec contrainte
raisonnement abductif
abduction (logique)
Online Access:http://tel.archives-ouvertes.fr/tel-00529412
http://tel.archives-ouvertes.fr/docs/00/52/94/12/PDF/1995TH_CHLEQ_N_NS19082.pdf

Internet

http://tel.archives-ouvertes.fr/tel-00529412
http://tel.archives-ouvertes.fr/docs/00/52/94/12/PDF/1995TH_CHLEQ_N_NS19082.pdf

Similar Items