Reaching agreements through argumentation: a logical model and implementation
Artificial Intelligence
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
A uniform framework for regulating service access and information release on the web
Journal of Computer Security
An Abductive Logic Programming Architecture for Negotiating Agents
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Semantics of Communicating Agents Based on Deduction and Abduction
Issues in Agent Communication
Abduction with Negation as Failure for Active and Reactive Rules
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Decentralized trust management
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
A persuasion dialog for gaining access to information
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
Hi-index | 0.00 |
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual organizations. We use a logical framework which contains agents with objectives concerning access to a resource or provision of a service, including security objectives. The access control mechanism is described by a set of policy rules, that specify that access to a resource or service requires a specific set of credentials. Our contribution is a formalization of the reasoning about access control using a planning theory formalized in Dung's abstract argumentation framework. We build on Amgoud's argumentation framework for plan arguments, which is based on an adaptation of Dung's notion of defence. Our formal argumentation framework allows arguments about the backward derivation of plans from objectives and policy rules (abduction), as well as arguments about the forward derivation of goals from general objectives. We show that reasoning about the feasibility of goals requires mixed goal-plan arguments, and we show how to formalize the plan arguments in Dung's framework without adapting the notion of defence.