Autonomous Intelligent Agents are employed in many applications upon which the life and welfare of living beings and vital social functions may depend. Therefore, agents should be trustworthy. A priori certification techniques (i.e., techniques applied prior to system's deployment) can be useful, but are not sufficient for agents that evolve, and thus modify their epistemic and belief state, and for open Multi-Agent Systems, where heterogeneous agents can join or leave the system at any stage of its operation. In this paper, we propose/refine/extend dynamic (runtime) logic-based self-checking techniques, devised in order to be able to ensure agents' trustworthy and ethical behaviour.

翻译：自主智能代理被广泛应用于诸多关乎生命体福祉及关键社会功能的场景中，因此代理必须具有可信性。先验认证技术（即系统部署前应用的技术）虽具效用，但对于持续演化并不断更新认知与信念状态的代理，以及允许异构代理在运行任意阶段加入或离开系统的开放多代理系统而言仍显不足。本文提出/改进/拓展了基于逻辑的动态（运行时）自检技术，旨在确保代理的可信与道德行为。