|
|||||
|
|
| 一阶逻辑知识库的检测 | |
| 引用本文： | 王申康. 一阶逻辑知识库的检测. 自动化学报, 1992, 18(5): 614-618. |
| 作者姓名： | 王申康 |
| 作者单位： | 1.浙江大学计算机系,杭州 |
| 摘 要： | 本文提出的方法是以Loveland的MESON一阶逻辑定理证明过程为基础,用于一阶逻辑规则知识库的冗余性和不一致性的检测.知识库的规则可包含非真、或及if-and-only-if规则.系统以交互形式从正、反向推理研究知识库规则增加时的变化. |
| 关 键 词： | 人工智能 知识库 一阶逻辑 定理证明 |
| 收稿时间： | 1990-10-23 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《自动化学报》浏览原始摘要信息 | |
| 点击此处可从《自动化学报》下载免费的PDF全文 | |