Abstract
Epistemic sets are a simple and efficient way of representing uncertain beliefs in AI, in which an agent identifies those states or worlds that she deems to be possible. We investigate their application to multi-agent distributed learning and decision making, in particular to best-of-n problems in which a population of agents must reach a consensus by identifying the best out of n possible alternatives or choices, each of different quality. We show that, despite their limited representational power, epistemic sets can be effectively deployed by agents engaged in a learning process in which they receive evidence directly from the environment and also pool or fuse their beliefs with those of other agents, in order to solve a best-of-n problem. We describe an analytical model of such a system based on ordinary differential equations and conduct a fixed point analysis so as to obtain insights into macro-level convergence properties. We then conduct a series of agent-based simulation experiments to investigate the robustness of the epistemic set approach. The results suggest that when applied to best-of-n problems epistemic sets are robust to noise and scalable to large state spaces, even when the population size is relatively small. This in turn supports the claim that they have potential applications in decentralised AI and swarm robotics at a range of different scales.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In some cases swarms alternate between periods of exploration and periods of pooling where for the latter they move to a common location to ensure mixing of different beliefs.
- 2.
We recognize that there are other possible approaches to updating in this context, especially when the agent’s belief is inconsistent with the evidence [10]. Here we simply adopt this updating method as one viable possibility.
- 3.
In other words, the only possible stable fixed points are \((x_1,\ldots ,x_7)=(0,0,0,0,1,0,0)\), (0, 0, 0, 0, 0, 1, 0) or (0, 0, 0, 0, 0, 0, 1) corresponding to \(x_{\{s_1\}}=1\), \(x_{\{s_2\}}=1\) and \(x_{\{s_3\}}=1\) respectively.
- 4.
Arguably in this case the agents are not strictly solving best-of-n since they may not be identifying the best choice but rather just choices of high quality.
References
Alchourrón, C., Gardenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic 50(2), 510–520 (1985)
Baronchelli, A.: The emergence of consensus: a primer. Roy. Soc. Open Sci. 5 (2018). https://doi.org/10.1098/rsos.172189, https://royalsocietypublishing.org/doi/full/10.1098/rsos.172189
Cholvy, L.: Opinion diffusion and influence: a logical approach. Int. J. Approximate Reasoning 93, 24–39 (2018)
Ciucci, D., Dubois, D., Lawry, J.: Borderline vs. unknown: comparing three-valued representations of imperfect information. Int. J. Approximate Reasoning 44, 1866–1889 (2014). https://doi.org/10.1016/j.ijar.2014.07.004. https://www.sciencedirect.com/science/article/pii/S0888613X14001157
Couso, I., Dubois, D.: Statistical reasoning with set-valued information: ontic vs epistemic views. Int. J. Approximate Reasoning 55, 1502–1518 (2014)
Dubois, D., Liu, W., Ma, J., Prade, H.: The basic principles of uncertain information fusion. An organised review of merging rules in different representation frameworks. Inf. Fusion 32, 12–39 (2016)
Grandi, U., Lorini, E., Perrussel, L.: Propositional opinion diffusion. In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, pp. 989–997. International Foundation for Autonomous Agents and Multiagent Systems (2015)
Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)
Kakalis, N., Ventikos, Y.: Robotic swarm concept for efficient oil spill confrontation. J. Hazard. Mater. 32, 12–39 (2008)
Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: KR 1991 Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, pp. 387–394. Morgan Kaufmann (1991)
Konieczny, S., Pino Pérez, R.: Logic based merging. J. Philos. Logic 40(2), 239–270 (2011)
Lee, C., Lawry, J., Winfield, A.: Negative updating combined with opinion pooling in the best-of-n problem in swarm robotics. In: Dorigo, M., Birattari, M., Blum, C., Christensen, A.L., Reina, A., Trianni, V. (eds.) ANTS 2018. LNCS, vol. 11172, pp. 97–108. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00533-7_8
Parker, C., Zhang, H.: Cooperative decision-making in multiple-robot systems: the best-of-\(n\) problem. IEEE Trans. Mechatron. 14, 240–251 (2009)
Peleg, D.: Distributed coordination algorithms for mobile robot swarms: new directions and challenges. In: Pal, A., Kshemkalyani, A.D., Kumar, R., Gupta, A. (eds.) IWDC 2005. LNCS, vol. 3741, pp. 1–12. Springer, Heidelberg (2005). https://doi.org/10.1007/11603771_1
Perron, E., Vasudevan, D., Vojnovic, M.: Using three states for binary consensus on complete graphs. In: IEEE INFOCOM 2009, pp. 2527–2535 (2009)
Reina, A., Marshall, J., Trianni, V., Bose, T.: Model of the best-of-\(n\) nest-site selection process in honeybees. Phys. Rev. E 95 (2017)
Ruspini, E.H.: Epistemic logics, probability, and the calculus of evidence. In: Proceedings of the International Joint Conference on Artificial Intelligence, pp. 924–931 (1987)
Schwind, N., Inoue, K., Bourgne, G., Konieczny, S., Marquis, P.: Belief revision games. In: AAAI 2015, pp. 1590–1596 (2015)
Valentini, G., Ferrante, E., Dorigo, M.: Self-organized collective decision making: the weighted voter model. In: Proceedings of AAMAS 14, pp. 45–52 (2014)
Valentini, G., Ferrante, E., Dorigo, M.: The best-of-n problem in robot swarms: formalization, state of the art, and novel perspectives. Front. Rob. AI 4, 9 (2017)
Vardi, M.Y.: On the complexity of epistemic reasoning. In: [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, pp. 243–252, June 1989
Zadeh, L.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Syst. 1, 3–28 (1978)
Acknowledgments
This work was funded and delivered in partnership between the Thales Group, University of Bristol and with the support of the UK Engineering and Physical Sciences Research Council, ref. EP/R004757/1 entitled “Thales-Bristol Partnership in Hybrid Autonomous Systems Engineering (T-B PHASE).”
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
Lawry, J., Crosscombe, M., Harvey, D. (2019). Epistemic Sets Applied to Best-of-n Problems. In: Kern-Isberner, G., Ognjanović, Z. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2019. Lecture Notes in Computer Science(), vol 11726. Springer, Cham. https://doi.org/10.1007/978-3-030-29765-7_25
Download citation
DOI: https://doi.org/10.1007/978-3-030-29765-7_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-29764-0
Online ISBN: 978-3-030-29765-7
eBook Packages: Computer ScienceComputer Science (R0)