基于归结原理的自动推理及其应用

• 作者: 付朝辉
• 来源期刊: 金色年华(教学参考)
• 学科: 工学
• 关键词: 归结原理 人工智能 机器证明 水平浸透法
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 理论研究
• 页码范围: 89-90
• 分类号: TP18
• 字数: 1293字
• 语种: 中文

摘要

归结原理使用较广,是定理机器证明的理论基础.既可以用来证明一些目标公式和逻辑结论的成立,又可以用来求解应用问题的答案.比如一个目标公式xW(x),有时我们不但要求证明它成立,而且希望知道变元x的一个例,即如果回答x=A,W是否为真?可直接用归结反演证明,但要回答x=?W为真时,就需要问题的答案.本文给出了归结原理在这两方面的应用,最后指出了使用水平浸透法证明不可满足性所带来的子句冗余,以及避免子句冗余的一个方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	付朝辉	贵州亚泰职业学院管理工程系	1	0	0.0	0.0