Self-checking Logical Agents
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 0 of its 70 references that are in the map. First posted on arXiv 9 Nov 2021.
Builds on
0 of 70 references.
No references here yet.
Built on by
Citing papers per year: 2024: 1.
1 paper.