逻辑推理系统相关论文
软件开发过程需要保证程序满足正确性规约。目前主要有软件测试、模型检验等技术用于程序的正确性保证。软件测试通过测试用例集来......
本文提出一个基于待诊断系统的知识和以往诊断经验的诊断系统DSKE，揭示了DSKE是一阶逻辑推理系统，因此它具有很强的推导能力，当我......
