Reasoning about agent execution strategies (Short Paper)
Natasha Alechina, Mehdi M. Dastani, Brian S. Logan, John‐Jules Ch. Meyer · 2008
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we show how safety and liveness properties can be expressed by translating agent programs into expressions of the logic. We give sound and complete axiomatizations of two different program execution strategies for SimpleAPL programs, and, for each of those strategies, prove a correspondence between the operational semantics of SimpleAPL and the models of the corresponding logic.