摘要

提出了一种基于解析的知识时态逻辑证明系统,并证明了其正确性。这种逻辑对于证明分布式和多智能体系统的属性很有用。举例说明了证明系统。给出了基本系统对多模态情况的扩展,并使用“浑浊儿童问题”进行了说明。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。