Remember Me
Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:

OpenAIRE is about to release its new face with lots of new content and services.
During September, you may notice downtime in services, while some functionalities (e.g. user registration, login, validation, claiming) will be temporarily disabled.
We apologize for the inconvenience, please stay tuned!
For further information please contact helpdesk[at]openaire.eu

fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Pozos Parra, Maria del Pilar (2002)
Languages: French
Types: Article
Subjects: Intelligence Artificielle, Logique, Systèmes multiagents, Croyance, Calcul des situations, Frame problem, Théories avec égalité, Déduction automatique, SOL-résolution, 629.8
Cette thèse concerne la formalisation en logique de systèmes complexes. Notre intérêt porte sur la modélisation de deux aspects des systèmes : son caractère dynamique et sa décomposition en plusieurs entités actives (agents). La modélisation de ce type de systèmes est basée sur le comportement de l'être humain, et pour cela la représentation des notions telles qu'action, croyance, intention, capacité, génération de plans, etc. est nécessaire. Après une courte introduction intuitive de ces notions nous présentons le calcul des situations sur lequel sont basées les théories que nous proposons. La version classique du calcul des situations ne considère qu'un seul agent. Une des contributions importantes de notre recherche est l'introduction de deux extensions du calcul des situations pour représenter l'évolution des croyances de plusieurs agents. La première en termes de relations d'accessibilité et la deuxième en termes d'opérateurs modaux. Dans le calcul des situations, l'égalité joue un rôle important. Une autre contribution est celle de l'introduction d'un démonstrateur de théorèmes pour des théories avec égalité appelé SOLE-résolution qui est une extension de la SOL-résolution. Le résultat le plus important dans ce cas est la démonstration de la complétude de la SOLE-résolution. Finalement deux versions d'implémentations des théories exprimées à l'aide d'opérateurs modaux sont présentées. La première accepte seulement des théories initiales complètes dans lesquelles on fait l'hypothèse du monde fermé. La seconde utilise la SOLE-résolution pour laquelle on accepte aussi des théories initiales incomplètes. The aim of this thesis is complex system formalisation. The main interest focuses on the modelling of two aspects of systems: its dynamic property and its decomposition in several active entities (agents). Modelling of this type of systems is based on human being behaviour, and the representation of notions such that action, belief, intention, capacity, plan generation, etc. is required. After an intuitive introduction to these notions we present the situation calculus which is the framework for the theories we have proposed. In standard situation calculus only one agent is considered. A significant contribution of our work is the introduction of two situation calculus extensions to represent the evolution of several agents. The first extension is in terms of accessibility relation, the second extension is in terms of modal operators. In situation calculus equality plays a significant role. Another contribution is the introduction of a theorem prove for theories with equality called SOLE-resolution, which is an extension of SOLresolution. In that case the most significant result is the proof of SOLE-resolution completeness. Finally, two versions of the implementation of theories expressed with modal operators are presented. The first one only accepts complete initial theories with closed world assumption. The second one makes use of SOLE-resolution and accepts incomplete initial theories.
  • No references.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article

Cookies make it easier for us to provide you with our services. With the usage of our services you permit us to use cookies.
More information Ok