Self-checking Logical Agents

11/09/2021
by   Stefania Costantini, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset