Research

Operational modelling of agent autonomy: Theoretical aspects and a formal language


Reference:

Weiss, G., Fischer, F., Nickles, M. and Rovatsos, M., 2006. Operational modelling of agent autonomy: Theoretical aspects and a formal language. In: Muller, J. P. and Zambonelli, F., eds. Agent-Oriented Software Engineering Vi. Vol. 3950. , pp. 1-15. (Lecture Notes in Computer Science)

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Abstract

Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of autonomy, and while autonomy has been identified as an enabler for new computing paradigms such as grid computing, (web-)service-oriented computing or ubiquitous computing, autonomy as a software property is still miles away from implementation. Because of the legal responsibility of designers or users for the actions of autonomous software, the implementation of autonomy will require rigorous modelling and verification, so as to ensure maximum dependability. We take a first step in this direction by introducing a formal language ASL (Autonomy Specification Language) that allows for a precise specification of the activities to be carried out by a set of agents, the deontic constraints imposed on these activities, and the implications of activity execution on particular constraints (i.e., constraint dynamics). Agent autonomy is implicit in an ASL specification as the degrees of freedom left to the agents for the execution of activities.

Details

Item Type Book Sections
CreatorsWeiss, G., Fischer, F., Nickles, M. and Rovatsos, M.
EditorsMuller, J. P.and Zambonelli, F.
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code5308
Additional InformationID number: ISIP:000238091200001

Export

Actions (login required)

View Item