Contribution à l'étude d'un agent rationnel : spécification en logique intensionnelle et implantation

Contribution to the study of a rational agent : specification in intensional logics and implementation

• Auteur / Autrice : Jean-Pierre Müller
• Direction : Jean-Claude Latombe
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1987
• Etablissement(s) : Grenoble INPG
• Partenaire(s) de recherche : Laboratoire : Institut d'informatique et mathématiques appliquées (Grenoble ; 1989-2006)
• Jury : Examinateurs / Examinatrices : Joseph Sifakis, Gérard Veillon

Mots clés

Mots clés contrôlés

Systèmes auto-organisés

Raisonnement

Résumé

Cette étude porte sur l'architecture globale d'un agent rationnel. Le terme agent est donne aux systèmes autonomes, c'est a dire capables d'agir sans intervention extérieure. De plus, l'hypothèse qu'il est rationnel est faite, c'est a dire que l'ensemble de ses activités extérieures, perceptives et déductives sont justifiables par ses buts. La spécification et l'implantation sont décrites