A logic o delegation.docVIP

A logic of delegation Timothy J. Norman, and Chris Reed aDepartment of Computing Science, University of Aberdeen, Aberdeen AB24 3UE, Scotland, UK bSchool of Computing, University of Dundee, Dundee DD1 4HN, Scotland, UK Received 29 October 2008;? revised 1 October 2009;? accepted 4 October 2009.? Available online 13 October 2009. Abstract Delegation is a foundational concept for understanding and engineering systems that interact and execute tasks autonomously. By extending recent work on tensed action logic, it becomes possible to pin down a specific interpretation of responsibility wi