Self-checking Logical Agents
Artificial Intelligence
2021-11-10 v1
Abstract
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.
Keywords
Cite
@article{arxiv.2111.05157,
title = {Self-checking Logical Agents},
author = {Stefania Costantini},
journal= {arXiv preprint arXiv:2111.05157},
year = {2021}
}
Comments
Proceedings currently not available on the web