Agents logiques communicants

Communicating logical agents

• Auteur / Autrice : CLAIRE LEFEVRE
• Direction : Patrice Enjalbert
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1995
• Etablissement(s) : Caen

Résumé

Nous proposons un modele de systemes multi-agents, base sur la logique, dont les objectifs sont a la fois de nous fournir un modele d'implementation, un outil theorique d'analyse pour l'intelligence artificielle distribuee, et un support pour l'etude de phenomenes linguistiques concernant en particulier les modalites epistemiques. Nous presentons et analysons d'abord les approches classiques de la connaissance en logique (approches modales et syntaxiques) et montrons qu'elles sont peu satisfaisantes en vue de nos objectifs: omniscience logique, manque de plausibilite cognitive, traitement de la reference, absence de modeles de communication nous proposons alors un modele d'agents logiques communicants utilisant le cadre du lambda-calcul type de church. Les agents sont des processus lambda-prolog heterogenes, ayant chacun un langage de representation de connaissances et des capacites de raisonnement et de calcul qui lui sont specifiques. Ils communiquent par envoi de messages qui sont des expressions d'un langage logique dont la syntaxe est reconnue par tous les agents, mais que chacun interprete localement. Les croyances d'un agent sont caracterisees par ses capacites cognitives, specifiees par ses capacites a deriver et justifier des jugements, et representees dans les langages internes par la notion de preuve. Ce cadre permet de rendre compte de diverses formes de croyance et savoir. Le probleme d'opacite referentielle recoit par ailleurs une solution naturelle grace a l'integration de la semantique du langage de communication et des questions de reference parmi les connaissances et capacites des agents. Enfin, on montre comment definir une semantique extensionnelle pour les langages des agents (basee sur les modeles generaux de andrews) en evitant les difficultes rencontrees par les modeles modaux et syntaxiques