Abstract
The paper investigates the formation of beliefs in multi-agent systems with a fixed topology of the communication channels. Specifically, it considers the relation “beliefs formed by agents in set A are not influenced by faulty or malicious behavior of agents in set B”. This relation has a non-trivial Shield Wall property that has no equivalent in other settings in which information flow over a fixed network of communication channels has been previously studied.
A new logical system based on the Shield Wall property is proposed and is proven to be sound and complete with respect to the fault tolerance semantics.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Shafer, G., Shenoy, P.P.: Probability propagation. Ann. Math. Artif. Intell. 2, 327–351 (1990)
Cano, J.E., Delgado, M., Moral, S.: An axiomatic framework for propagating uncertainty in directed acyclic networks. Int. J. Approx. Reasoning 8(4), 253–280 (1993)
More, S.M., Naumov, P.: The Functional Dependence Relation on Hypergraphs of Secrets. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 29–40. Springer, Heidelberg (2011)
More, S.M., Naumov, P.: Logic of secrets in collaboration networks. Ann. Pure Appl. Logic 162(12), 959–969 (2011)
Donders, M., Miner More, S., Naumov, P.: Information Flow on Directed Acyclic Graphs. In: Beklemishev, L.D., de Queiroz, R. (eds.) WoLLIC 2011. LNCS, vol. 6642, pp. 95–109. Springer, Heidelberg (2011)
Miner More, S., Naumov, P.: Hypergraphs of Multiparty Secrets. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS (LNAI), vol. 6245, pp. 15–32. Springer, Heidelberg (2010)
Sutherland, D.: A model of information. In: Proceedings of Ninth National Computer Security Conference, pp. 175–183 (1986)
Marcus, L.: Preface. Electr. Notes Theor. Comput. Sci. 258(2), 1–2 (2009)
Bonakdarpour, B., Mailbaum, T. (eds.): Proceedings of the 2nd International Workshop on Logical Aspects of Fault-Tolerance, LAFT (2011)
Ezekiel, J., Lomuscio, A.: Combining fault injection and model checking to verify fault tolerance in multi-agent systems. In: Sierra, C., Castelfranchi, C., Decker, K.S., Sichman, J.S. (eds.) AAMAS (1), IFAAMAS, pp. 113–120 (2009)
Castro, P.F., Maibaum, T.S.E.: Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds.) Fault Tolerance. LNCS, vol. 5454, pp. 25–43. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Holbrook, S., Naumov, P. (2012). Fault Tolerance in Belief Formation Networks. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds) Logics in Artificial Intelligence. JELIA 2012. Lecture Notes in Computer Science(), vol 7519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33353-8_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-33353-8_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33352-1
Online ISBN: 978-3-642-33353-8
eBook Packages: Computer ScienceComputer Science (R0)