APIA: An Architecture for Policy-Aware Intentional Agents

This paper introduces the APIA architecture for policy-aware intentional agents. These agents, acting in changing environments, are driven by intentions and yet abide by domain-relevant policies. This work leverages the AIA architecture for intention-driven intelligent agents by Blount, Gelfond, and Balduccini. It expands AIA with notions of policy compliance for authorization and obligation policies specified in the language AOPL by Gelfond and Lobo. APIA introduces various agent behavior modes, corresponding to different levels of adherence to policies. APIA reasoning tasks are reduced to computing answer sets using the CLINGO solver and its Python API.

[1]  Michael Gelfond,et al.  The AAA Architecture: An Overview , 2008, AAAI Spring Symposium: Emotion, Personality, and Social Behavior.

[2]  Jorge Lobo,et al.  Authorization and Obligation Policies in Dynamic Systems , 2008, ICLP.

[3]  Michael Gelfond,et al.  Towards a Theory of Intentional Agents , 2014, AAAI Spring Symposia.

[4]  Dov M. Gabbay,et al.  Reasoning about delegation and revocation schemes in answer set programming , 2014, J. Log. Comput..

[5]  D. Richard Kuhn,et al.  Role-Based Access Control ( RBAC ) : Features and Motivations , 2014 .

[6]  Michael Gelfond,et al.  Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach , 2014 .

[7]  Steve Barker.  Logical Approaches to Authorization Policies , 2012, Logic Programs, Norms and Action.

[8]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[9]  Ji Gao,et al.  An Extended Agent BDI Model with Norms, Policies and Contracts , 2008, 2008 4th International Conference on Wireless Communications, Networking and Mobile Computing.

[10]  Michael Gelfond,et al.  Knowledge Representation, Reasoning, and the Design of Intelligent Agents: Creating a Knowledge Base , 2014 .

[11]  Justin Blount.  An architecture for intentional agents , 2013 .

[12]  Khair Eddin Sabri,et al.  A temporal defeasible logic for handling access control policies , 2015, Applied Intelligence.

[13]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

[14]  Maribel Fernández,et al.  A graph-based framework for the analysis of access control policies , 2017, Theor. Comput. Sci..

[15]  Ji Gao,et al.  An Extended BDI Agent with Policies and Contracts , 2006, PRIMA.

[16]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[17]  Yuan Cheng,et al.  SASA5:A Method System for Supporting Agent Social Activities , 2005 .

[18]  V. Lifschitz,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..