Skip to main content
SpringerLink
Log in

Agents in proactive environments

  • Posters
  • Conference paper
  • First Online:
KI-97: Advances in Artificial Intelligence (KI 1997)

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

Included in the following conference series:

Abstract

Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions. A formal framework for simulating and reasoning about this generalized kind of dynamic systems is proposed. The capabilities of the agents are modeled by a set of conditional rules in a temporal-logical format. The environment itself is modeled by an independent transition relation on the state space. The temporal language is given a declarative semantics.

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.

References

  1. S. E. Bornscheuer and M. Thielscher. Explicit and implicit indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems. Journal of Logic Programming, 31(1-3):119–155, 1997.

    Google Scholar 

  2. D. Gabbay and R. Nossum. A temporal executable agent language. Workshop on Executable Temporal Logic at IJCAI'95, Montreal, 1995.

    Google Scholar 

  3. D. Gabbay, R. Nossum, and M. Thielscher. Agents in Proactive Environments. Imperial College Research Report, 1997.

    Google Scholar 

  4. P. J. McBrien. Principles of implementing historical databases in RDBMS. In M. Worboys and A. F. Grundy, editors, Advances in Databases, pp. 220–237, Keele, UK, 1993. Springer LNCS 696.

    Google Scholar 

  5. E. Sandewall. Features and Fluents. Volume 1: The representation of knowledge about dynamical systems. Oxford University Press, 1994.

    Google Scholar 

  6. M. Thielscher. The logic of dynamic systems. In C. S. Mellish, editor, Proceedings of the International Joint Conference on Artificial Intelligence, pp. 1965–1962, Montreal, 1995. Morgan Kaufmann.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College, London, UK

    Dov Gabbay

  2. Department of Mathematics, Agder College, Kristiansand, Norway

    Rolf Nossum

  3. Intellectics, Department of Computer Science, University of Technology, Darmstadt, Germany

    Michael Thielscher

Authors
  1. Dov Gabbay
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rolf Nossum
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michael Thielscher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gerhard Brewka Christopher Habel Bernhard Nebel

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gabbay, D., Nossum, R., Thielscher, M. (1997). Agents in proactive environments. In: Brewka, G., Habel, C., Nebel, B. (eds) KI-97: Advances in Artificial Intelligence. KI 1997. Lecture Notes in Computer Science, vol 1303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540634932_34

Download citation

  • DOI: https://doi.org/10.1007/3540634932_34

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63493-5

  • Online ISBN: 978-3-540-69582-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation