Advertisement

Probabilistic Behavioural State Machines

  • Peter Novák
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5919)

Abstract

Development of embodied cognitive agents in agent oriented programming languages naturally leads to writing underspecified programs. The semantics of BDI inspired rule based agent programming languages leaves room for various alternatives as to how to implement the action selection mechanism of an agent (paraphrased from [5]).

To facilitate encoding of heuristics for the non-deterministic action selection mechanism, I introduce a probabilistic extension of the framework of Behavioural State Machines and its associated programming language interpreter Jazzyk. The language rules coupling a triggering condition and an applicable behaviour are extended with labels, thus allowing finer grained control of the behaviour selection mechanism of the underlying interpreter. In consequence, the agent program not only prescribes a set of mental state transitions enabled in a given context, but also specifies a probability distribution over them.

Keywords

Multiagent System Cognitive Agent Label Transition System Nest Depth Current Mental State 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A.: Multi-Agent Programming Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15. Kluwer Academic Publishers, Dordrecht (2005)zbMATHGoogle Scholar
  2. 2.
    Bordini, R.H., Hübner, J.F., Vieira, R.: Jason and the Golden Fleece of Agent-Oriented Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations [1], vol. 15, ch. 1, pp. 3–37 (2005)Google Scholar
  3. 3.
    Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.: Programming Multi-Agent Systems in 3APL. Multiagent Systems, Artificial Societies, and Simulated Organizations [1], vol. 15, ch. 2, pp. 39–68 (2005)Google Scholar
  4. 4.
    de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.C.: A verification framework for agent programming with declarative goals. J. Applied Logic 5(2), 277–302 (2007)zbMATHCrossRefGoogle Scholar
  5. 5.
    Hindriks, K.V., Jonker, C.M., Pasman, W.: Exploring heuristic action selection in agent programming. In: Hindriks, K.V., Pokahr, A., Sardina, S. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol. 5442, pp. 24–39. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  6. 6.
    Köster, M., Novák, P., Mainzer, D., Fuhrmann, B.: Two case studies for Jazzyk BSM. In: Proceedings of Agents for Games and Simulations, AGS 2009, AAMAS 2009 co-located workshop, pp. 31–45 (2009)Google Scholar
  7. 7.
    Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer-Verlag New York, Inc., New York (1992)Google Scholar
  8. 8.
    Markov, A.A.: Extension of the law of large numbers to dependent quantities (in Russian). Izvestiya Fiziko-matematicheskogo obschestva pri Kazanskom Universitete 2(15), 135–156 (1906)Google Scholar
  9. 9.
    Meyn, S.P., Tweedie, R.L.: Markov Chains and Stochastic Stability. Springer, London (1993)zbMATHGoogle Scholar
  10. 10.
    Novák, P.: Jazzyk: A programming language for hybrid agents with heterogeneous knowledge representations. In: Hindriks, K.V., Pokahr, A., Sardina, S. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol. 5442, pp. 72–87. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. 11.
    Novák, P., Jamroga, W.: Code patterns for agent-oriented programming. In: Proceedings of The Eighth International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2009 (2009)Google Scholar
  12. 12.
    Novák, P., Köster, M.: Designing goal-oriented reactive behaviours. In: Proceedings of the 6th International Cognitive Robotics Workshop, CogRob 2008, ECCAI co-located workshop, Patras, Greece, July 21-22, pp. 24–31 (2008)Google Scholar
  13. 13.
    Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)Google Scholar
  14. 14.
    Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI Reasoning Engine. Multiagent Systems, Artificial Societies, and Simulated Organizations [1], vol. 15, ch. 6, pp. 149–174 (2005)Google Scholar
  15. 15.
    Rao, A.S., Georgeff, M.P.: An Abstract Architecture for Rational Agents. In: KR, pp. 439–449 (1992)Google Scholar
  16. 16.
    Winikoff, M.: JACKTM Intelligent Agents: An Industrial Strength Platform. Multiagent Systems, Artificial Societies, and Simulated Organizations [1], vol. 15, ch. 7, pp. 175–193 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Peter Novák
    • 1
  1. 1.Department of InformaticsClausthal University of TechnologyClausthal-ZellerfeldGermany

Personalised recommendations