Self-checking Logical Agents
This work addresses the need for reliable verification in autonomous systems, but it appears incremental as it builds upon and extends past research.
The paper tackles the problem of ensuring logical agents operate correctly at run-time by introducing a framework for dynamic self-checking using temporal axioms, resulting in a new agent-oriented interval temporal logic with defined syntax, semantics, and pragmatics.
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.