推理证明图解方法

摘要：

逻辑学是思维的科学，推理是核心内容。推理由条件推出结论，即由已知命题推出新命题。该充坐标图上的点阵表示条件和结论及两者点图的包含关系，以图解证明方法代替复杂、抽象的符号推理，直观证明推理的正确性。在人工智能领域，是一种间捷算法。

关键词： 推理坐标 推理点图 包含关系 推理证明

作者: 刘冬颖

作者单位: 厦门大学

会议类型: 国内会议

会议名称: 第七届全国电工数学学术年会

会议地点: 乌鲁木齐

会议语种:中文

页码: 233～238

在线出版日期: 1999-08-01（万方平台首次上网日期，不代表论文的发表时间）