期刊文章详细信息
人工智能中的推理方法
The Inference Method in Artificial Intelligence
文献类型：期刊文章
机构地区：[1]佛山教育学院数学系,广东佛山528000
年 份：2001
期 号：2
起止页码：55-62
语 种：中文
收录情况：IC、ZGKJHX、普通刊
摘 要：人工智能的一个重要目的就是用计算机实现推理 ,而对推理规律符号化必须使用命题逻辑和一阶逻辑 ,本文介绍了关于命题逻辑的集合论解释 ,并对矢列演绎系统规则的有效性进行了证明。
关 键 词：人工智能 命题逻辑 集合论解释 形式化语言 推理规则
分 类 号：TP18]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
