Abstract
The role of data and knowledge exchange is becoming increasingly important. The approach of DACMAS [1] proposes a quite general modeling of Multi-Agent Systems (MAS), including data representation in a MAS via DRL-Lite Ontologies. Yet, data/knowledge acquisition from heterogeneous sources which are not agents and which are external to the MAS is not provided. In the Knowledge Representation and Reasoning field, this topic is coped with by mMCSs (Managed Multi-Context Systems). In this paper, we propose an integration of the two approaches into DACMACSs. The aim is to obtain an enhanced integrated flexible framework where non-monotonicity is present: in the modalities for defining knowledge acquisition; in the conditions for triggering the acquisition and for knowledge exploitation.
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
Notes
- 1.
As it is well-known, “ECA” rules stands for “Event-Condition-Action” rules, and specify reaction to events.
- 2.
To be more precise, T is required to be the nearest approximation for \(\hat{T}\) or respectively \(\hat{F} * N\).
References
Montali, M., Calvanese, D., De Giacomo, G.: Verification of data-aware commitment-based multiagent system. In: Proceedings of AAMAS (2014)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
Omicini, A., Ricci, A., Viroli, M.: Artifacts in the a&a meta-model for multi-agent systems. Auton. Agent. Multi-Agent Syst. 17(3), 432–456 (2008)
Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence, pp. 385–390. AAAI Press (2007)
Brewka, G., Eiter, T., Fink, M.: Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 233–258. Springer, Heidelberg (2011)
Brewka, G., Ellmauthaler, S., Pührer, J.: Multi-context systems for reactive reasoning in dynamic environments. In: ECAI 2014, Proceedings of the 21st European Conference on Artificial Intelligence. IJCAI/AAAI (2014)
Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI/AAAI, pp. 786–791 (2011)
Apt, K.R., Bol, R.: Logic programming and negation: a survey. J. Log. Program. 19–20, 9–71 (1994)
Singh, M.P.: Commitments in multiagent systems: some history, some confusions, some controversies, some prospects. In: Paglieri, F., Tummolini, L., Falcone, R., Miceli, M. (eds.) The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi, pp. 601–626. College Publications, London (2012)
Costantini, S.: Self-checking logical agents. In: Proceedings of the Eighth Latin American Workshop on Logic, Languages, Algorithms and New Methods of Reasoning LA-NMR 2012. CEUR Workshop Proceedings of the vol. 911, pp. 3–30 CEUR-WS.org (2012). Invited Paper, Extended Abstract in Proceedings of the AAMAS 2013
Costantini, S., De Gasperis, G.: Runtime self-checking via temporal (meta-)axioms for assurance of logical agent systems. In: Proceedings of the LAMAS 2014, 7th Workshop on Logical Aspects of Multi-Agent Systems, held at AAMAS 2014, pp. 241–255 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Costantini, S. (2015). Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2015. Lecture Notes in Computer Science(), vol 9345. Springer, Cham. https://doi.org/10.1007/978-3-319-23264-5_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-23264-5_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23263-8
Online ISBN: 978-3-319-23264-5
eBook Packages: Computer ScienceComputer Science (R0)