Agents in proactive environments
Michael Gabbay · Journal of Logic and Computation · 1999
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.