×

兹马思-数学第一资源

动态认知逻辑的符号模型检查——S5及以上。(英语) Zbl 1410.68242
摘要:动态认知逻辑(DEL)可以用一种吸引逻辑学家的方式来模拟复杂的信息场景。然而,现有的DEL实现是临时的,因此我们不知道框架的实际执行情况。为此,我们希望与计算逻辑中可用的最佳模型检查和SAT技术相结合。为此,我们首先提供了一个桥梁:DEL模型的一种新的忠实表示,即所谓的知识结构,允许符号模型检查。对于更复杂的认知变化,我们引入了类似于行动模型的知识变换器。接下来,我们展示了我们现在可以在认知场景中解决众所周知的基准问题,比使用现有的DEL方法要快得多。我们还比较了我们的方法来检查时序逻辑。最后,我们展示了我们的方法不仅仅是一个实现问题,而且它提出了关于逻辑表示和更新的重要问题。

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
03B42号 知识与信念的逻辑(包括信念变化)
68T30型 知识表示
PDF格式 BibTeX公司 XML 引用
全文: 内政部