next up previous

Software Agents Based on Formal KL-Models

Josefina Sierra Santibáñez
Dpto. de Inteligencia Artificial, Universidad Politécnica de Madrid
Campus de Montegancedo, 28660 Boadilla del Monte,
Madrid, Spain,


This paper describes research on software agents that have a formal description of their internal structure and functioning. The formal description has been inspired by the notion of the Knowledge Level. A formal KL-framework which allows the construction of modular and structured formal KL-models which describe the components, internal structure and functioning of software agents is defined. Two scenarios showing how formal KL-models can be used by software agents to reconfigure themselves, and communicate about their capabilities and behavior are presented.