Abstract
In this paper we consider complex application scenarios, typically concerning smart Cyber-Physical Systems, where several components and subsystems interact among themselves, with human users and with the physical environment, and employ forms of intelligent reasoning for meeting the system’s requirements and reaching its overall objectives. We propose a new multi-component multi-level architecture called K-ACE, which provides a high degree of flexibility in the system’s definition, though within a formal semantics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Where AgentSpeak is a very popular language based on the BDI agent model [15], and Jason is a performant interpreter for an extended AgentSpeak language.
References
Leitão, P., Colombo, A.W., Karnouskos, S.: Industrial automation based on cyber-physical systems technologies: prototype implementations and challenges. Comput. Ind. 81, 11–25 (2016)
Costantini, S.: Knowledge acquisition via non-monotonic reasoning in distributed heterogeneous environments. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 228–241. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-23264-5_20
Costantini, S., DeGasperis, G.: Exchanging data and ontological definitions in multi-agent-contexts systems. In: RuleML Challenge track, Proceedings. CEUR Workshop Proceedings, vol. 1417 (2015)
Costantini, S.: ACE: a flexible environment for complex event processing in logical agents. In: Baldoni, M., Baresi, L., Dastani, M. (eds.) EMAS 2015. LNCS (LNAI), vol. 9318, pp. 70–91. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-26184-3_5
Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence IJCAI 2011, IJCAI/AAAI, pp. 786–791 (2011)
Brewka, G., Ellmauthaler, S., Pührer, J.: Multi-context systems for reactive reasoning in dynamic environments. In: Schaub, T. (ed.) Proceedings of the 21st European Conference on Artificial Intelligence ECAI 2014, IJCAI/AAAI (2014)
Aielli, F., et al.: FRIENDLY & KIND with your health: human-friendly knowledge-intensive dynamic systems for the e-health domain. In: Bajo, J., et al. (eds.) Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection. PAAMS 2016. Communications in Computer and Information Science, vol. 616. Springer, Cham. https://doi.org/10.1007/978-3-319-39387-2_2
Montali, M., Calvanese, D., De Giacomo, G.: Specification and verification of commitment-regulated data-aware multiagent systems. In: Proceedings of AAMAS 2014 (2014)
Singh, M.P.: Commitments in multiagent systems: Some history, some confusions, some controversies, some prospects
Costantini, S., Formisano, A.: Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules. In: Osman, N., Sierra, C. (eds.) AAMAS 2016. LNCS (LNAI), vol. 10003, pp. 104–121. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46840-2_7
Fisher, M.: A normal form for temporal logics and its applications in theorem-proving and execution. J. Logic Comput. 7(4), 429–456 (1997)
van Riemsdijk, M.B., Dennis, L.A., Fisher, M., Hindriks, K.V.: A semantic framework for socially adaptive agents: towards strong norm compliance, pp. 423–432. ACM (2015)
Cabalar, P., Costantini, S., De Gasperis, G., Formisano, A.: Multi-context systems in dynamic environments. Ann. Math. Artif. Intell. 86(1–3), 87–120 (2019)
Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley Series in Agent Technology. Wiley, Chichester
Rao, A.S., Georgeff, M.P.: Modeling agents within a BDI-architecture. In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR) (1991)
Ricci, A., Viroli, M., Omicini, A.: CArtA gO: a framework for prototyping artifact-based environments in MAS. In: Weyns, D., Parunak, H.V.D., Michel, F. (eds.) E4MAS 2006. LNCS (LNAI), vol. 4389, pp. 67–86. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-71103-2_4
Sabater, J., Sierra, C., Parsons, S., Jennings, N.R.: Engineering executable agents using multi-context systems. J. Logic Comput. 12(3), 413–442 (2002)
Gelaim, T.Â., Hofer, V.L., Marchi, J., Silveira, R.A.: Sigon: a multi-context system framework for intelligent agents. Expert Syst. Appl. 119, 51–60 (2019). https://github.com/sigon-lang/sigon-lang
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Costantini, S., Pitoni, V. (2019). K-ACE: A Flexible Environment for Knowledge-Aware Multi-Agent Systems. In: Baldoni, M., Dastani, M., Liao, B., Sakurai, Y., Zalila Wenkstern, R. (eds) PRIMA 2019: Principles and Practice of Multi-Agent Systems. PRIMA 2019. Lecture Notes in Computer Science(), vol 11873. Springer, Cham. https://doi.org/10.1007/978-3-030-33792-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-33792-6_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-33791-9
Online ISBN: 978-3-030-33792-6
eBook Packages: Computer ScienceComputer Science (R0)