Abstract
Generative policies have been proposed as a mechanism to learn the constraints and preferences of a system—especially complex systems such as the ones found in coalitions—in a given context so that the system can adapt to unexpected changes seamlessly, thus achieving the system goals with minimal human intervention. Generative policies can help a coalition system to be more effective when working in a distributed, continuously transforming environment with a diverse set of members, resources, and tasks. Learning mechanisms based on logic programming, e.g., Inductive Logic Programming (ILP), have several properties that make them suitable and attractive for the creation and adaptation of generative policies, such as the ability to learn a general model from a small number of examples, and being able to incorporate existing background knowledge. ILP has recently been extended with the introduction of systems for Inductive Learning of Answer Set Programs (ILASP) which are capable of supporting automated acquisition of complex knowledge such as constraints, preferences and rule-based models. Motivated by the capabilities of ILASP, we present AGENP, an Answer Set Grammar-based Generative Policy Framework for Autonomous Managed Systems (AMS) that aims to support the creation and evolution of generative policies by leveraging ILASP. We describe the framework components, i.e., inputs, data structures, mechanisms to support the refinement and instantiation of policies, identification of policy violations, monitoring of policies, and policy adaptation according to changes in the AMS and its context. Additionally, we present the main work-flow for the global and local refinement of policies and their adaptation based on Answer Set Programming (ASP) for policy representation and reasoning using ILASP. We then discuss an application of the AGENP framework and present preliminary results.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bertino, E., Calo, S., Toma, M., Verma, D., Williams, C., Rivera, B.: A cognitive policy framework for next-generation distributed federated systems: concepts and research directions. In: IEEE 37th International Conference on Distributed Computing Systems (ICDCS), pp. 1876–1886 (2017)
Bertino, E., de Mel, G., Russo, A., Calo, S., Verma, D.: Community-based self generation of policies and processes for assets: concepts and research directions. In: IEEE International Conference on Big Data, pp. 2961–2969 (2017)
Bertino, E., et al.: Provenance-based analytics services for access control policies. In: Proceedings of the 2017 IEEE World Congress on Services (SERVICES). IEEE (2017)
Braines, D., Mott, D., Laws, S., de Mel, G., Pham, T.: Controlled English to facilitate human/machine analytical processing. In: Next-Generation Analyst, vol. 8758, p. 875808. International Society for Optics and Photonics (2013)
Coppola, R., Morisio, M.: Connected car: technologies, issues, future trends. ACM Comput. Surv. 49(3), 46:1–46:36 (2016)
Fok, C.L., et al.: A platform for evaluating autonomous intersection management policies. In: 3rd International Conference on Cyber-Physical Systems, pp. 87–96 (2012)
Gulwani, S., Hernández-Orallo, J., Kitzelmann, E., Muggleton, S.H., Schmid, U., Zorn, B.: Inductive programming meets the real world. Commun. ACM 58(11), 90–99 (2015)
Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles. Standard, SAE International, June 2018
Jabal, A.A., et al.: Methods and tools for policy analysis. ACM Comput. Surv. (2018)
Kazakov, D., Kudenko*, D.: Machine learning and inductive logic programming for multi-agent systems. In: Luck, M., MaĹ™Ăk, V., Ĺ tÄ›pánková, O., Trappl, R. (eds.) ACAI 2001. LNCS (LNAI), vol. 2086, pp. 246–270. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-47745-4_11
Law, M., Russo, A., Broda, K.: Inductive learning of answer set programs. In: Fermé, E., Leite, J. (eds.) JELIA 2014. LNCS (LNAI), vol. 8761, pp. 311–325. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11558-0_22
Law, M., Russo, A., Broda, K.: Learning weak constraints in answer set programming. Theory Pract. Log. Program. 15(4–5), 511–525 (2015)
Law, M., Russo, A., Broda, K.: The complexity and generality of learning answer set programs. Artif. Intell. 259, 110–146 (2018)
MacMillan, K., Hat, R.: Madison: a new approach to policy generation. In: SELinux Symposium, vol. 7. Citeseer (2007)
de Mel, G., Cunnington, D., Manotas, I., Calo, S., Bertino, E., Verma, D.: A generative policy model for connected and autonomous vehicles based on local knowledge. In: The 5th International Workshop on Middleware and Applications for the Internet of Things. ACM (2018)
Quiroz, A., Parashar, M., Gnanasambandam, N., Sharma, N.: Autonomic policy adaptation using decentralized online clustering. In: Proceedings of the 7th International Conference on Autonomic Computing, ICAC, pp. 151–160. ACM (2010)
Verma, D., et al.: Generative policy model for autonomic management. In: IEEE SmartWorld, Ubiquitous Intelligence Computing, Advanced Trusted Computed, Scalable Computing Communications, Cloud Big Data Computing, Internet of People and Smart City Innovation, pp. 1–6 (2017)
Verma, D., Bent, G., Taylor, I.: Learning neural network policies with guided policy search under unknown dynamics. In: Proceedings of the 9th International Conference on Advanced Cognitive Technologies and Applications. COGNITIVE (2017)
Verma, D., Calo, S., Cirincione, G.: Distributed AI and security issues in federated environments. In: Proceedings of the Workshop Program of the 19th International Conference on Distributed Computing and Networking, Workshops ICDCN. ACM (2018)
Yu, L., Zhang, T., Luo, X., Xue, L.: AutoPPG: towards automatic generation of privacy policy for android applications. In: Proceedings of the 5th Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices, SPSM, pp. 39–50. ACM (2015)
Acknowledgement
This research was sponsored by the U.S. Army Research Laboratory and the U.K. Ministry of Defence under Agreement Number W911NF-16-3-0001. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the U.S. Army Research Laboratory, the U.S. Government, the U.K. Ministry of Defence or the U.K. Government. The U.S. and U.K. Governments are authorized to reproduce and distribute reprints for Government purposes notwithstanding any copyright notation hereon.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Calo, S. et al. (2019). AGENP: An ASGrammar-based GENerative Policy Framework. In: Calo, S., Bertino, E., Verma, D. (eds) Policy-Based Autonomic Data Governance. Lecture Notes in Computer Science(), vol 11550. Springer, Cham. https://doi.org/10.1007/978-3-030-17277-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-17277-0_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-17276-3
Online ISBN: 978-3-030-17277-0
eBook Packages: Computer ScienceComputer Science (R0)