Abstract
AgentSpeak is a logic-based programming language, based on the Belief-Desire-Intention paradigm, suitable for building complex agent-based systems. To limit the computational complexity, agents in AgentSpeak rely on a plan library to reduce the planning problem to the much simpler problem of plan selection. However, such a plan library is often inadequate when an agent is situated in an uncertain environment. In this work, we propose the \(\text {AgentSpeak}^+\) framework, which extends AgentSpeak with a mechanism for probabilistic planning. The beliefs of an \(\text {AgentSpeak}^+\) agent are represented using epistemic states to allow an agent to reason about its uncertain observations and the uncertain effects of its actions. Each epistemic state consists of a POMDP, used to encode the agent’s knowledge of the environment, and its associated probability distribution (or belief state). In addition, the POMDP is used to select the optimal actions for achieving a given goal, even when faced with uncertainty.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
A variable is a term, a constant is a term, and from every n terms \(t_1, t_2, \ldots , t_n\) and every n-ary predicate p a new term \(p(t_1, t_2, \ldots , t_n)\) can be created.
- 2.
Not to be confused with the belief base of an agent, which we see later.
- 3.
For simplicity, we restrict ourselves in this work to the case where each input is relevant to only one epistemic state.
- 4.
By the author Yingke Chen.
References
Andersen, S.K., Olesen, K.G., Jensen, F.V., Jensen, F.: HUGIN: a shell for building bayesian belief universes for expert systems. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI’89), pp. 1080–1085 (1989)
Bauters, K., Liu, W., Hong, J., Sierra, C., Godo, L.: Can(plan)+: extending the operational semantics of the BDI architecture to deal with uncertain information. In: Proceedings of the 30th Conference on Uncertainty in Artificial Intelligence (UAI’14), pp. 52–61 (2014)
Bellman, R.: A markovian decision process. Indiana Univ. Math. J. 6, 679–684 (1957)
Blum, A.L., Langford, J.C.: Probabilistic planning in the graphplan framework. In: Recent Advances in AI Planning, pp. 319–332. Springer, Berlin (2000)
Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak using Jason. Wiley-Interscience (2007)
Braubach, L., Lamersdorf, W., Pokahr, A.: JADEX: implementing a BDI-infrastructure for JADE agents. EXP - in search of innovation 3(3), 76–85 (2003)
Casali, A., Godo, L., Sierra, C.: A graded BDI agent model to represent and reason about preferences. Artif. Intell. 175(7–8), 1468–1478 (2011)
Chen, Y., Hong, J., Liu, W., Godo, L., Sierra, C., Loughlin, M.: Incorporating PGMs into a BDI architecture. In: Proceedings of the 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA’13), pp. 54–69 (2013)
de Silva, L., Sardiña, S., Padgham, L.: First principles planning in BDI systems. In: Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’09), pp. 1105–1112 (2009)
Druzdzel, M.J.: SMILE: structural modeling, inference, and learning engine and GeNIe: a development environment for graphical decision-theoretic models. In: Proceedings of the 16th National Conference on Artificial Intelligence (AAAI’99), pp. 902–903 (1999)
Hansen, E.A.: Solving POMDPs by searching in policy space. In: Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence (UAI’98), pp. 211–219 (1998)
Jennings, N.R., Bussmann, S.: Agent-based control systems. IEEE Control Syst. Mag. 23, 61–74 (2003)
Kaelbling, L.P., Littman, M.L., Cassandra, A.R.: Planning and acting in partially observable stochastic domains. Artif. Intell. 101(1), 99–134 (1998)
Ma, J., Liu, W.: A framework for managing uncertain inputs: an axiomization of rewarding. Int. J. Approx. Reason. (IJAR) 52(7), 917–934 (2011)
McArthur, S.D., Davidson, E.M., Catterson, V.M., Dimeas, A.L., Hatziargyriou, N.D., Ponci, F., Funabashi, T.: Multi-agent systems for power engineering applications - Part I: concepts, approaches, and technical challenges. IEEE Trans. Power Syst. 22(4), 1743–1752 (2007)
Meneguzzi, F., Luck, M.: Declarative planning in procedural agent architectures. Exp. Syst. Appl. 40(16), 6508–6520 (2013)
Meneguzzi, F., Tang, Y., Sycara, K., Parsons, S.: On representing planning domains under uncertainty. In: Proceedings of the 3rd Information Theory and Applications Workshop (ITA’10) (2010)
Pereira, D., Gonçalves, L., Dimuro, G., Costa, A.: Constructing BDI plans from optimal POMDP policies, with an application to agentspeak programming. In: Proceedings of Conferencia Latinoamerica de Informtica (CLI’08), pp. 240–249 (2008)
Rao, A.S.: Agentspeak(l): BDI agents speak out in a logical computable language. In: Proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW’96), pp. 42–55 (1996)
Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR’92), pp. 439–449 (1992)
Sardina, S., Padgham, L.: A BDI agent programming language with failure handling, declarative goals, and planning. Auton. Agents Multiagent Syst. 23(1), 18–70 (2011)
Schut, M., Wooldridge, M., Parsons, S.: On partially observable MDPs and BDI models. In: Proceedings of the UK Workshop on Foundations and Applications of Multi-Agent Systems (UKMAS’02), pp. 243–260 (2002)
Silver, D., Veness, J.: Monte-carlo planning in large POMDPs. In: Proceedings of the 24th Annual Conference on Neural Information Processing Systems (NIPS’10), pp. 2164–2172 (2010)
Simari, G.I., Parsons, S.D.: On approximating the best decision for an autonomous agent. In: Proceedings of the 6th Workshop on Game Theoretic and Decision Theoretic Agents (GTDT’04), pp. 91–100 (2004)
Simari, G.I., Parsons, S.: On the relationship between MDPs and the BDI architecture. In: Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’06), pp. 1041–1048 (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Bauters, K. et al. (2016). Probabilistic Planning in AgentSpeak Using the POMDP Framework. In: Hatzilygeroudis, I., Palade, V., Prentzas, J. (eds) Combinations of Intelligent Methods and Applications. Smart Innovation, Systems and Technologies, vol 46. Springer, Cham. https://doi.org/10.1007/978-3-319-26860-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-26860-6_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-26858-3
Online ISBN: 978-3-319-26860-6
eBook Packages: EngineeringEngineering (R0)