基于矛盾转换的推理算法

• 作者: 刘华 高洁
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 推理 矛盾转换 人工智能
• 年，卷（期）: 2006,（10）
• 页码范围: 179-181
• 页数: 3页
• 分类号: TP312

摘要

该文提出了一种全新的推理机制，是一种通过将前提和结论中的复杂公式不断拆解来证明的推理机制．主要运用了矛盾转换原则来实现对公式的拆解，将对复杂公式形式的判断转化为对文字的判断。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高洁	郑州航空工业管理学院计算机系	23	100	5.0	9.0
2	刘华	郑州航空工业管理学院计算机系	9	13	3.0	3.0