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: firstname.lastname@example.org, 2Department of Mathematics, Agder College, Kristiansand, Norway. E-mail: Rolf.Nossum@hia.no, 3FG Intellektik, University of Technology, Darmstadt, Germany. E-mail: email@example.com
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.