Abstract
This paper introduces a framework for enabling policy-aware autonomous agents to reason about potential penalties for non-compliant behavior, and act accordingly. We employ the Authorization and Obligation Policy Language (\(\mathcal {AOPL}\)) for policy specification and Answer Set Programming (ASP) for reasoning about policies and penalties. We build upon existing work by Harders and Inclezan on simulating the behavior of policy-aware autonomous agents and test our work on two different domains. We conclude that our framework produces higher quality plans than the previous approach. Depending on the nature of the domain, optimal plans may also be computed more efficiently by our framework.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
If \(obl(\lnot e)\) is true, then the agent must not execute e.
- 2.
Using a variable E is not convenient due to the “\(\lnot \)” symbol that needs to precede it.
- 3.
Simultaneous agent actions are not considered here, but the framework can be easily adjusted to reason about them.
- 4.
The code used in these experiments can be found at https://tinyurl.com/4bvzuwvc.
References
Alechina, N., Dastani, M., Logan, B.: Programming norm-aware agents. In: Proceedings of AAMAS 2012, vol. 2, p. 1057–1064. Richland, SC (2012)
Balduccini, M., Gelfond, M.: The AAA architecture: an overview. In: Architectures for Intelligent Theory-Based Agents, Papers from the 2008 AAAI Spring Symposium, 2008, pp. 1–6. AAAI Press (2008)
Balke, T., De Vos, M., Padget, J.: Evaluating the cost of enforcement by agent-based simulation: a wireless mobile grid example. In: Boella, G., Elkind, E., Savarimuthu, B.T.R., Dignum, F., Purvis, M.K. (eds.) PRIMA 2013. LNCS (LNAI), vol. 8291, pp. 21–36. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-44927-7_3
Balke, T., De Vos, M., Padget, J.A.: I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies. Artif. Intell. Law 21(4), 371–398 (2013)
Criado, N., Argente, E., Botti, V.: A BDI architecture for normative decision making. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, pp. 1383–1384. AAMAS 2010, Richland, SC (2010)
Gelfond, M., Inclezan, D.: Some properties of system descriptions of ALd. J. Appl. Non Class. Logics 23(1–2), 105–120 (2013)
Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents. Cambridge University Press, Cambridge (2014)
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. N. Gener. Comput. 9(3/4), 365–386 (1991)
Gelfond, M., Lobo, J.: Authorization and obligation policies in dynamic systems. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 22–36. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89982-2_7
Harders, C., Inclezan, D.: Plan selection framework for policy-aware autonomous agents. In: Gaggl, S.A., Martinez, M.V., Ortiz, M. (eds.) JELIA 2023. LNCS, vol. 14281, pp. 638–646. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-43619-2_43
Inclezan, D.: An ASP framework for the refinement of authorization and obligation policies. Theory Pract. Logic Program. 23(4), 832–847 (2023)
Kollingbaum, M.: Norm-governed practical reasonig agents. Ph.D. thesis, University of Aberdeen (2005)
Meneguzzi, F., Rodrigues, O., Oren, N., Vasconcelos, W.W., Luck, M.: BDI reasoning with normative considerations. Eng. Appl. Artif. Intell. 43, 127–146 (2015)
Meyer, J., Inclezan, D.: APIA: an architecture for policy-aware intentional agents. In: Proceedings of ICLP’21 (Tech. Comm.). EPTCS, vol. 345, pp. 84–98 (2021)
Oren, N., Vasconcelos, W., Meneguzzi, F., Luck, M.: Acting on norm constrained plans. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA 2011. LNCS (LNAI), vol. 6814, pp. 347–363. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22359-4_24
Panagiotidi, S., Vázquez-Salceda, J., Dignum, F.: Reasoning over norm compliance via planning. In: COIN@AAMAS (2012)
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473–484 (1991)
Shams, Z., De Vos, M., Padget, J.A., Vasconcelos, W.W.: Practical reasoning with norms for autonomous software agents. Eng. Appl. Artif. Intell. 65, 388–399 (2017)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2025 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Tummala, V., Inclezan, D. (2025). Policies, Penalties, and Autonomous Agents. In: Dodaro, C., Gupta, G., Martinez, M.V. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2024. Lecture Notes in Computer Science(), vol 15245. Springer, Cham. https://doi.org/10.1007/978-3-031-74209-5_27
Download citation
DOI: https://doi.org/10.1007/978-3-031-74209-5_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-74208-8
Online ISBN: 978-3-031-74209-5
eBook Packages: Computer ScienceComputer Science (R0)