机器人推理中逻辑一致性的验证
机器人学
2016-11-11 v1 计算机科学中的逻辑
摘要
大多数自主机器人智能体使用逻辑推理来保持自身安全和允许的行为。给定一组规则，机器人能够建立其规则、基于感知的信念、计划行动及其后果之间的一致性非常重要。本文研究机器人智能体如何使用模型检测来检查其规则、信念和行动的一致性。规则集通过具有同步语义的布尔演化系统建模，可转化为标记迁移系统(LTS)。证明了稳定性和一致性可表述为计算树逻辑(CTL)和线性时序逻辑(LTL)属性。提出两种新算法分别执行实时一致性和稳定性检查。它们的实现为我们提供了一个计算工具，可作为机器人上高效一致性检查的基础。
引用
@article{arxiv.1611.03322,
title = {Verification of Logical Consistency in Robotic Reasoning},
author = {Hongyang Qu and Sandor M. Veres},
journal= {arXiv preprint arXiv:1611.03322},
year = {2016}
}