Abstract
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programming languages, the beliefs are assumed to be certain, i.e. an implemented agent can believe a proposition or not. These programming languages fail to capture the underlying uncertainty of the agent’s beliefs which is essential for many real world agent applications. We introduce Dempster-Shafer theory as a convenient method to model uncertainty in agent’s beliefs. We show that the computational complexity of Dempster’s Rule of Combination can be controlled. In particular, the certainty value of a proposition can be deduced in linear time from the beliefs of agents, without having to calculate the combination of Dempster-Shafer mass functions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barnett, J.A.: Computational methods for a mathematical theory of evidence. In: Proceedings of the Seventh International Joint Conference on Artificial Intelligence, pp. 868–875 (1981)
Barnett, J.A.: Calculating Dempster-Shafer plausibility. IEEE transactions on pattern analysis and machine intelligence 13, 599–603 (1991)
Braubach, L., Pokahr, A., Lamersdorf, W.: Jadex: A short overview. In: Main Conference Net.ObjectDays 2004, pp. 195–207 (September 2004)
Busetta, P., Ronnquist, R., Hodgson, A., Lucas, A.: Jack intelligent agents - components for intelligent agents in java. Technical report (1999)
Dastani, M., van Riemsdijk, B., Dignum, F., Meyer, J.-J.: A programming language for cognitive agents: Goal directed 3APL. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 111–130. Springer, Heidelberg (2004)
de Ferreira, N.C., Fisher, M., van der Hoek, W.: A simple logic for reasoning about uncertainty. In: Proceedings of the ESSLLI 2004 Student Session, pp. 61–71 (2004)
Fagin, R., Halpern, J.Y.: Reasoning about knowledge and probablility. Journal of the ACM 41, 340–367 (1994)
Fattorosi-Barnaba, M., Amati, G.: Studio logica 46, 383–393 (1987)
Jøsang, A.: The consensus operator for combining beliefs. Artificial Intelligence Journal 142(1-2), 157–170 (2002)
Moreira, A.F., Bordini, R.H.: An operational semantics for a BDI agent-oriented programming language. In: Meyer, J.-J.C., Wooldridge, M.J. (eds.) Proceedings of the Workshop on Logics for Agent-Based Systems, pp. 45–59 (2002)
Orponen, P.: Dempster’s rule of combination is # P-complete. Artificial Intelligence 44, 245–253 (1990)
Rao, A.J., Georgeff, M.P.: Modelling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, San Mateo (1991)
Sentz, K.: Combination of Evidence in Dempster-Shafer Theory. PhD thesis, Binghamton University (2002)
Shafer, G.: A mathematical theory of evidence. Princeton Univ. Press, Princeton (1976)
Smets, P.: The combination of evidence in the transferable belief model. IEEE Pattern Analysis and Machine Intelligence 12, 447–458 (1990)
van der Hoek, W.: Some considerations on the logic PFD. Journal of Applied Non Classical Logics 7, 287–307 (1997)
Verbeek, M.: 3APL as programming language for cognitive robotics. Master’s thesis, Utrecht University (2003)
Voorbraak, F.: As Far as I know - Epistemic Logic and Uncertainty. PhD thesis (1993)
Wilson, N.: Algorithms for dempster-shafer theory. In: Gabbay, D.M., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 5, pp. 421–475. Kluwer Academic Publishers, Algorithms (2000)
Wooldridge, M.: Intelligent agents. In: Weiss, G. (ed.) Multiagent Systems, MIT Press, Cambridge (1999)
Yager, R.: On the Dempster-Shafer framework and new combination rules. Information Sciences 41, 93–137 (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kwisthout, J., Dastani, M. (2006). Modelling Uncertainty in Agent Programming. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds) Declarative Agent Languages and Technologies III. DALT 2005. Lecture Notes in Computer Science(), vol 3904. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11691792_2
Download citation
DOI: https://doi.org/10.1007/11691792_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33106-3
Online ISBN: 978-3-540-33107-0
eBook Packages: Computer ScienceComputer Science (R0)