基于矛盾转换的推理算法

• 作者: 刘华 高洁
• 来源期刊: 电脑知识与技术（学术交流）
• 学科: 工学
• 关键词: 推理 矛盾转换 人工智能
• 年，卷（期）: 2006,（10）
• 所属期刊栏目: 研究开发
• 页码范围: 179-181
• 页数: 3页
• 分类号: TP312
• 字数: 3221字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-3044.2006.10.099

摘要

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

作者信息

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