A logic of delegation

Authors:
Timothy J. Norman;Chris Reed
Affiliations:
Department of Computing Science, University of Aberdeen, Aberdeen AB24 3UE, Scotland, UK;School of Computing, University of Dundee, Dundee DD1 4HN, Scotland, UK
Venue:
Artificial Intelligence
Year:
2010

Citing 19
Cited 7

Coordination techniques for distributed artificial intelligence

Foundations of distributed artificial intelligence
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications

Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Group delegation and responsibility

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Computers in control: Rational transfer ofauthority or irresponsible abdication of autonomy?

Ethics and Information Technology
Commands in Dialogue Logic

FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Semantics of Agent Communication Languages for Group Interaction

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Designing Conversation Policies using Joint Intention Theory

ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
A Practically Implementable and Tractable Delegation Logic

SP '00 Proceedings of the 2000 IEEE Symposium on Security and Privacy
Trust in multi-agent systems

The Knowledge Engineering Review
On the dynamics of delegation, cooperation, and control: a logical account

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Computational-Mechanism Design: A Call to Arms

IEEE Intelligent Systems
A First-order Theory of Communication and Multi-agent Plans

Journal of Logic and Computation
Delegation and mental states

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Organizational structure and responsibility: an analysis in a dynamic logic of organized collective agency

Artificial Intelligence and Law
Organisational change through influence

Autonomous Agents and Multi-Agent Systems
Normative conflict resolution in multi-agent systems

Autonomous Agents and Multi-Agent Systems
Knowledge preconditions for actions and plans

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Towards a formal theory of communication for multiagent systems

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Delegation of power in normative multiagent systems

DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems

Dynamics in delegation and revocation schemes: a logical approach

DBSec'11 Proceedings of the 25th annual IFIP WG 11.3 conference on Data and applications security and privacy
Learning strategies for task delegation in norm-governed environments

Autonomous Agents and Multi-Agent Systems
Semantics and verification of information-based protocols

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Modeling social causality and responsibility judgment in multi-agent interactions

Journal of Artificial Intelligence Research
Argumentation strategies for collaborative plan resourcing

ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Argumentation strategies for task delegation

EUMAS'11 Proceedings of the 9th European conference on Multi-Agent Systems
Reasoning about coalitional agency and ability in the logics of "bringing-it-about"

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.01

Visualization

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 with a well specified semantics and a convenient and intuitive logic for expression. Once descriptions of direct agent responsibility can be formed, there is a foundation upon which to characterise the dynamics of how responsibility can be acquired, transferred and discharged and, in particular, how delegation can be effected. The resulting logic, designed specifically to cater for responsibility and delegation, can then be employed to offer an axiological and semantic exploration of the related concepts of forbearance, imperatives and group communication.