Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 9, Issue 1, pp. 25-45: Abstract.

Agents in proactive environments

DM Gabbay1, R Nossum2 and M Thielscher3

1Department of Computer Science, King's College, Strand, London WC2R 2LS, UK. E-mail: dg@dcs.kcl.ac.uk, 2Department of Mathematics, Agder College, Kristiansand, Norway. E-mail: Rolf.Nossum@hia.no, 3FG Intellektik, University of Technology, Darmstadt, Germany. E-mail: mit@informatik.tu-darmstadt.de

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 system is proposed. The capabilities of the agents are modelled by a set of conditional rules in a temporal-logical format. The environment itself is modelled by an independent transition relation of the state space. The temporal language is given a declarative semantics on the basis of an abstract, general model structure for formal specifications of proactive environments.

Key words: Agent programming, logic of proactive environments, executable temporal logic.

  Full-Text PDF  (202 KB)

[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 1999.