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, jsierra@dia.fi.upm.es

Abstract:

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.

• INTRODUCTION
• FORMAL FRAMEWORK
  • KL-components
    • Ontologies
    • Models
    • Resolution methods
    • Lift definitions
    • Decomposition methods
  • Composition rules and KL-structures
    • Instantiated resolution methods
    • Rule I
    • Instantiated decomposition methods
    • Rule II
• SCENARIOS
  • Reconfiguration
  • Selection
• CONCLUSIONS
• References
• About this document ...