计算机科学 ›› 2008, Vol. 35 ›› Issue (5): 184-186.
• • 上一篇 下一篇
骆翔宇 古天龙 董荣胜
出版日期:
发布日期:
基金资助:
LUO Xiang-yu GU Tian-long DONG Rong-sheng （Shcool of Computer＆Control, Guilin University of Electronic Technology, Guilin 541004, China）
Online:
Published:
摘要： 和与积是一个著名的数迷问题。采用公告逻辑对该问题进行建模，将其Kripke模型符号化表示为多智能体有限状态程序，并在其上采用一种基于局部命题解释系统语义的知识逻辑符号化模型检测算法计算该问题的所有解。在时态逻辑模型检测器NuSMV基础上扩展实现了本文算法，然后在相同实验平台上用动态认知建模工具DEMO对该问题进行求解。实验表明，我们的算法不仅结果正确，而且在运行效率上与DEMO相比占有绝对优势。
关键词: 符号化模型检测 多智能体系统 时态逻辑 公告逻辑
Abstract: The Sum-and-Product Riddle is a famous number puzzle. The riddle is modeled in a modal logic called public announcement logic, which is interpreted on multi-agent Kripke model. The model is symbolically represented as a multi-agent finite state program. B
Key words: Symbolic model checking, Multi-agent system, Temporal logic, Public announcement logic
骆翔宇 古天龙 董荣胜. 和与积数迷的符号化模型检测[J]. 计算机科学, 2008, 35(5): 184-186. https://doi.org/
LUO Xiang-yu GU Tian-long DONG Rong-sheng （Shcool of Computer＆Control, Guilin University of Electronic Technology, Guilin 541004, China）. [J]. Computer Science, 2008, 35(5): 184-186. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I5/184
Cited
首页