论文部分内容阅读
研究一种一阶谓词逻辑公式的反演求证算法，它是应用超连接过程来处理子句集的消解的，该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率，以一个实例讨论了该算法的应用，结果表明此算法可以保证在预定义的相关边界内，对任意一阶逻辑的推理具有终止性。
一种基于超连接的一阶逻辑反演推理算法
【摘 要】
：
研究一种一阶谓词逻辑公式的反演求证算法，它是应用超连接过程来处理子句集的消解的，该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率，以一个实例讨论了该算法的应用，结果表明此算法可以保
【机 构】
：
华中理工大学计算机科学与技术学院
【出 处】
：
华中理工大学学报
【发表日期】
：
1999年1期
其他文献
根据软件测试实践 ,结合相关研究成果 ,总结出一个简单实用的软件测试过程框架 ,同时强调采用静态与动态相结合测试方法 ,且融入测试步骤中 .最后对测试结果进行分析 ,并对软件可靠性进行了评估 .
根据不同持纽时间纯音领事的响度与强度的关系以及强度ＪＮＤ与强度的关系，建立了一个描述纯音信号强度ＪＮＤ与强度关系的模型。这个模型认为，响度对数的辨别阈不随信号强度变化。
从网络分层的角度分析了Internet上的网络安全现状，提出在TCP／IP协议层中设置虚拟子应用层，建立基于公共代理技术的Internet网络安全传输机制，从而提高数据在Internet上的传输安
针对单件车间生产作业计划的再生问题，用Ｖｉｓｕａｌ Ｆｏｘｐｒｏ开发了一个时间调整算法和实现了禁忌搜索算法。当干扰发生时，前者用于无可替代机床情况下对受影响工序的开工时间和完工时间的调整；后