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.
Keywords
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.
References
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.
D. Gabbay and R. Nossum. A temporal executable agent language. Workshop on Executable Temporal Logic at IJCAI'95, Montreal, 1995.
D. Gabbay, R. Nossum, and M. Thielscher. Agents in Proactive Environments. Imperial College Research Report, 1997.
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.
E. Sandewall. Features and Fluents. Volume 1: The representation of knowledge about dynamical systems. Oxford University Press, 1994.
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.
Author information
Authors and Affiliations
Editor information
Rights 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