版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
非单调启发式推理系统
A Non-Monotonic Heuristic Natural Deduction System作者机构：南京通信工程学院计算机系210016
出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)
年 卷 期：1991年第28卷第2期
页 面：51-57页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：本文首先给出一个以启发式引入假设的自然推理一阶逻辑系统,由于本系统以引入假设和消去假设作为推理的基本手段,因而极易扩展为非单调的启发式自然推理系统,本文对此作了尝试。
