本推理系统可用于命题、谓词、注解命题和注解谓词的自动推理，系统自动识别是何种类型推理。注解命题和注解谓词的推理可以解决一般的推理中的不协调问题（即系统中存在矛盾）。
2021-06-14 16:42:55
271KB
1
计算机人工智能 归结原理 为此逻辑 子句集
计算机人工智能 归结原理 为此逻辑 子句集
已经调试运行，并附有例子说明。
2021-06-01 01:43:19
1.88MB
1
人工智能命题逻辑中的归结推理系统设计与实现实验，实现标准输入文件读入子句集，可视化显示归结树
附源代码与实验报告，仅供参考
2019-12-22 19:28:21
251KB
1