Abstract
We consider secrecy from the point of view of an autonomous knowledge-based and resource-bound agent with incomplete and uncertain information, situated in a multi agent system. We investigate properties of secrecy and the preservation thereof in this setting and formulate desirable properties. Based on these ideas we develop a flexible BDI-based agent model and define an instance widely based on answerset programming. We show that and how our model and instance satisfy the proposed properties. We implemented our developed extendable framework for secrecy-preserving agents based on JAVA and answerset programming.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Biskup, J.: Usability confinement of server reactions: Maintaining inference-proof client views by controlled interaction execution. In: Kikuchi, S., Sachdeva, S., Bhalla, S. (eds.) DNIS 2010. LNCS, vol. 5999, pp. 80–106. Springer, Heidelberg (2010)
Biskup, J., Kern-Isberner, G., Thimm, M.: Towards enforcement of confidentiality in agent interactions. In: Proc. of the 12th Intl. Workshop on Non-Monotonic Reasoning (NMR 2008), pp. 104–112 (2008)
Gelfond, M., Leone, N.: Logic programming and knowledge representation: the A-Prolog perspective. Artificial Intelligence 138 (2002)
Halpern, J.Y., O’Neill, K.R.: Secrecy in multiagent systems. ACM Transactions on Information and System Security 12, 5:1–5:47 (2008)
Hindriks, K.V., van Riemsdijk, M.B.: Satisfying maintenance goals. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2007. LNCS (LNAI), vol. 4897, pp. 86–103. Springer, Heidelberg (2008)
Krümpelmann, P., Kern-Isberner, G.: Belief base change operations for answer set programming. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 294–306. Springer, Heidelberg (2012)
Krümpelmann, P., Kern-Isberner, G.: On agent-based epistemic secrecy. In: Proc. of the 14th Int’l Workshop on Non-Monotonic Reasoning, NMR 2012 (2012)
Krümpelmann, P., Thimm, M.: A logic programming framework for reasoning about know-how. In: Proc. of the 13th Int’l Workshop on Non-Monotonic Reasoning (NMR 2010) (2010)
Krümpelmann, P., Thimm, M., Kern-Isberner, G., Fritsch, R.: Motivating agents in unreliable environments: A computational model. In: Klügl, F., Ossowski, S. (eds.) MATES 2011. LNCS, vol. 6973, pp. 65–76. Springer, Heidelberg (2011)
Rao, A.S., Georgeff, M.P.: BDI-agents: from theory to practice. In: Proc. of the 1st Int’l Conference on Multiagent Systems (ICMAS 2005) (1995)
van der Torre, L.: Logics for Security and Privacy. In: Cuppens-Boulahia, N., Cuppens, F., Garcia-Alfaro, J. (eds.) DBSec 2012. LNCS, vol. 7371, pp. 1–7. Springer, Heidelberg (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krümpelmann, P., Kern-Isberner, G. (2013). Secrecy Preserving BDI Agents Based on Answerset Programming. In: Klusch, M., Thimm, M., Paprzycki, M. (eds) Multiagent System Technologies. MATES 2013. Lecture Notes in Computer Science(), vol 8076. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40776-5_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-40776-5_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40775-8
Online ISBN: 978-3-642-40776-5
eBook Packages: Computer ScienceComputer Science (R0)