确保智能逻辑智能体的可信与伦理行为
Ensuring trustworthy and ethical behaviour in intelligent logical agents
AI总结：
本文针对会演化及开放的Multi-Agent Systems中先验认证技术的不足，提出并扩展了动态运行时基于逻辑的自检技术，以确保智能逻辑智能体的可信与伦理行为。
摘要：
自主智能体被应用于许多应用中，而这些应用可能关系到生命体的生命与福祉以及重要的社会功能。因此，智能体应当是可信的。先验认证技术（即系统部署前应用的技术）可能有用，但对于会演化从而改变其认知与信念状态的智能体，以及异构智能体可在其运行任何阶段加入或离开的开放多智能体系统而言，这些技术并不充分。在本文中，我们提出/完善/扩展了动态（运行时）基于逻辑的自检技术，旨在能够确保智能体的可信与伦理行为。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
