Fangzhen Lin

Son article :

Mots-clefs : :
Résumé : Cette communication présente une approche à la programmation haut-niveau d'agents basée sur une théorie logique de l'action hautement développée. L'usager fournit une spécification des actions primitives des agents (préconditions et effets) de même que des aspects pertinents de leur environnement dans un formalisme logique. Il peut ensuite spécifier,mes comportements pour les agents dans un langage de programmation où l'on peut :aire référence aux conditions en vigueur dans l'environnement. Lorsqu'une implantation des actions primitives est fournie, l'exécution des programmes dans un environnement réel est possible; autrement on peut quand même faire une exécution simulée. L'interpréteur maintient automatiquement un modèle du monde pour chacun des agents. La théorie sur laquelle l'approche est basée inclus une solution au problème de frame, permet aux agents d'avoir une connaissance incomplète du monde, et traite les actions de perception. Ce fondement théorique permet aussi la vérification des programmes. L'approche est présentée à l'aide d'un exemple d'application en cours de développement — un système multi-agent d'aide à l'organisation de réunions. Les travaux en cours :-;ur l' implantation et les nombreux problèmes théoriques qui demeurent sont aussi décrits.