Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Nondeterministic Actions with Typical Effects: Reasoning about Scenarios

  • Conference paper
  • First Online:
Formal Models of Agents (ModelAge 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1760))

Included in the following conference series:

Abstract

We continue to study the problem of actions with typical, but not certain effects. In [3], [2] we showed how to incorporate this kind of actions into a dynamic/epistemic multi-agent system in which the knowledge, abilities and opportunities of agents are formalized together with the results of actions they perform. The novelty of the present approach is that it allows a nondeterminism in action performance. Moreover, compound actions are built both from traditionally viewed actions with certain effects and actions with typical effects. Adopting a model-theoretic approach we formalize a preferential strategy in order to reason about the results of the realizations of scenarios built over these actions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. F. Brazier, B. Dunin-Kęplicz, J. Treur and R. Verbrugge, Modelling Internal Dynamic Behaviour of BDI Agents, In: Proc. of MODELAGE’97, Siena, 1997, in this volume.

    Google Scholar 

  2. B. Dunin-Kęplicz, A. Radzikowska: Actions with typical effects: epistemic characterization of scenarios, in Proc. First International Conference on Multi-Agent Systems, San Francisco, 1995.

    Google Scholar 

  3. B. Dunin-Kęplicz, A. Radzikowska: Epistemic approach to actions with typical effects, in Proc. ECSQARU’95, Fribourg, 1995, pp. 180–189.

    Google Scholar 

  4. B. Dunin-Kęplicz, J. Treur: Compositional formal specification of multi-agent systems, in M. Wooldridge, N. Jennings (eds.), Intelligent Agents — Proc. of the 1994 Workshop on Agent Theories, Architectures and Languages, Springer-Verlag, 1995.

    Google Scholar 

  5. B. Dunin-Kęplicz, R. Verbrugge, Collective Commitments. In: Proc. Second International Conference on MULTIAGENT SYSTEMS, Kyoto, 1996, pp. 56–63.

    Google Scholar 

  6. D. W. Etherington, J. M. Crawford: Formalizing reasoning about change: A qualitative reasoning approach, in Proc. 10th AAAI, San Jose, CA, 1994.

    Google Scholar 

  7. W. van der Hoek, B. van Linder, J.-J. Ch. Meyer: A logic of capabilities, Technical Report IR-330, Vrije Universiteit Amsterdam, 1993.

    Google Scholar 

  8. W. van der Hoek, B. van Linder, J.-J. Ch. Meyer: Tests as epistemic updates, in Proc. 11th ECAI, Amsterdam, 1994.

    Google Scholar 

  9. W. van der Hoek, B. van Linder, J.-J. Ch. Meyer: Communicating rational agents, in Proc. 18th German Annual Conference on Artificial Intelligence, Saarbrücken, 1994, pp. 202–213.

    Google Scholar 

  10. W. van der Hoek, B. van Linder, J.-J. Ch. Meyer: The dynamics of default reasoning, in Proc. of ECSQARU-95, Fribourg, 1995, pp. 277–24.

    Google Scholar 

  11. R. Moore: A formal theory of knowledge and action, Technical Report 320, SRI International, 1984.

    Google Scholar 

  12. A. Radzikowska: Circumscribing features and fluents: Reasoning about actions with default effects, in Proc. ECSQARU’95, Fribourg, Switzerland, 1995, pp. 344–351.

    Google Scholar 

  13. A. Radzikowska: Reasoning about action with typical and atypical effects, in Proc. of 19th German Annual Conference on Artificial Intelligence, Bielefeld, 1995, pp. 197–209.

    Google Scholar 

  14. A. Radzikowska: Formalization of Reasoning about Default Action, in Proc. Formal and Applied Practical Reasoning FAPR-96, Bonn, 1996, pp. 540–554.

    Google Scholar 

  15. E. Sandewall: Features and Fluents: A Systematic Approach to the Representation of Knowledge about Dynamical Systems, Oxford University Press, 1994.

    Google Scholar 

  16. B. Thomas: A logic for representing actions, beliefs, capabilities and plans, in Working Notes of the AAAI Spring Symposium on Reasoning about Mental States: Formal Theories and Applications, 1993.

    Google Scholar 

  17. G. H. von Wright: Norm and Action. Routledge & Kegan Paul, London, 1963.

    Google Scholar 

  18. M. Wooldridge, N. Jennings (eds.), Intelligent Agents — Proc. of the 1994 Workshop on Agent Theories, Architectures and Languages, Springer-Verlag, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, Warsaw University, Banacha 2, 02-097, Warsaw, Poland

    Barbara Dunin-Kęplicz

  2. Institute of Mathematics, Warsaw University of Technology, Plac Politechniki 1, 00-661, Warsaw, Poland

    Anna Radzikowska

Authors
  1. Barbara Dunin-Kęplicz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anna Radzikowska
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Utrecht University, Padualaan 14, De Uithof, 3508 TB, Utrecht, The Netherlands

    John-Jules Ch. Meyer

  2. Institut d’Informatique, Rue Grandgagnage 21, 5000, Namur, Belgium

    Pierre-Yves Schobbens

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dunin-Kęplicz, B., Radzikowska, A. (1999). Nondeterministic Actions with Typical Effects: Reasoning about Scenarios. In: Meyer, JJ.C., Schobbens, PY. (eds) Formal Models of Agents. ModelAge 1997. Lecture Notes in Computer Science(), vol 1760. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46581-2_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-46581-2_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67027-8

  • Online ISBN: 978-3-540-46581-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation