Runtime Verification of Agent Properties
Stefania Costantini, Pierangelo Dell’Acqua, Luı́s Moniz Pereira, Panagiota Tsintza · 2009
In previous work, we have proposed a multi-level agent model with at least a meta-level aimed at meta-reasoning and meta-control. In agents, these aspects are strongly related with time and therefore we retain that they can be expressed by means of temporal-logic-like rules. In this paper, we propose an interval temporal logic inspired by METATEM, that allows properties to be verified in specific time interval situated either in the past or in the future. We adopt this logic for definition and run-time verification of properties which can imply modifications to the agent’s knowledge base.