Agents logiques communicants

par CLAIRE LEFEVRE

Thèse de doctorat en Sciences appliquées

Sous la direction de Patrice Enjalbert.

Soutenue en 1995

à Caen .

    mots clés mots clés


  • 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

  • Titre traduit

    Communicating logical agents


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 157 P.
  • Annexes : 120 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Caen Normandie. Bibliothèque Rosalind Franklin (Sciences-STAPS).
  • Accessible pour le PEB
  • Bibliothèque : Ecole nationale supérieure des sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1995-LEF
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.