逻辑推理系统相关论文
软件开发过程需要保证程序满足正确性规约。目前主要有软件测试、模型检验等技术用于程序的正确性保证。软件测试通过测试用例集来......
本文提出一个基于待诊断系统的知识和以往诊断经验的诊断系统DSKE,揭示了DSKE是一阶逻辑推理系统,因此它具有很强的推导能力,当我......
该文将广义归结推广到模态逻辑,给出模态广义双标记子句集的概念,提出模态广义双标记归结。可证明,任意命题模态公式集D不可满足当且仅......
本文给出了真值取在布尔代数上的形式模糊命题逻辑推理系统 FL,并且证明了它的一致性,有效性和完备性。更多还原......