Agents in proactive environments
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 on 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.
agent programming logic of proactive environments executable temporal logic