This paper presents a comprehensive framework for run-time self-checking of logical agents, by means of temporal axioms to be dynamically checked. These axioms are specified by using an agent-oriented interval temporal logic defined to this purpose. We define syntax, semantics and pragmatics for this new logic, specifically tailored for application to agents. In the resulting framework, we encompass and extend our past work.
翻译:本文件为通过动态检查时间轴对逻辑剂进行运行时间自我检查提供了一个全面框架。 这些轴通过使用为此定义的面向代理剂的间歇时间逻辑来指定。 我们为这一新逻辑定义了语法、语义和实用性,具体针对代理剂的应用。 在由此形成的框架内,我们包含并扩展了我们过去的工作。