Kripke结构相关论文
随着计算机软硬件系统规模的日益复杂化、重要化，如何保证计算机系统的正确性和可靠性，逐渐成为当前理论界和产业界共同关心的重要问......
时序逻辑在程序验证和人工智能的规划领域都起着至关重要的作用。作为最具代表性的时序逻辑之一，线性时序逻辑(Linear Temporal Log......
模型检测是一种形式化的验证技术,它以数学理论为基础,自动化的确保整个被验证系统的正确性和可靠性。但是经典的模型检测在建模检......
现代计算机技术已经时时刻刻伴随着我们的生活,随着现代计算机软件和硬件的设计越来越复杂,对软件和硬件的测试也变得越来越复杂,......
在知识推理的许多应用领域里,对特定事件和当事人知识的可能性的推理扮演着重要角色.本文提出了一种程度化的知识推理方法,在该推......
