×

A proof-system for the safe execution of tasks in multi-agent systems. (English) Zbl 1013.68204

Flesca, Sergio (ed.) et al., Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2424, 14-26 (2002).
Summary: In this work, we propose an operational semantics based on a proof system for the consistent execution of tasks in a constrained multi-agent setting. The tasks represent services, and are associated with abstract specifications that express conditions on such services. The constraints, contained in the body of the agents, may include – but are not limited to – policies on provided services, and limitations about the use and allocation of bounded resources. The contribution of this work is two-fold. Firstly, a formalism and an operational semantics is introduced, to express the way agents can coordinate their requests of services, and to verify that they do not collide with each other’s conditions. Then, we prove the soundness and completeness of such operational semantics to be used to verify the correct execution of tasks.
For the entire collection see [Zbl 0997.00032].

MSC:

68T27 Logic in artificial intelligence
68Q55 Semantics in the theory of computing

Software:

AgentSpeak; LAILA
PDFBibTeX XMLCite
Full Text: Link