您好、欢迎来到现金彩票网!
当前位置:刘伯温四肖中特料 > 推理子句 >

命题逻辑提升到一阶逻辑上的子句消去方法_宁欣然_徐扬_曹峰_吴贯

发布时间:2019-07-10 03:13 来源:未知 编辑:admin

  Computer Engineering and Applications计算机工程与应用 2019,55(5)1 引言自动推理是计算机科学和数理逻辑的一个交叉学科,而基于命题逻辑的可满足性问题求解和基于一阶逻辑的定理机器证明是自动推理领域中关键和应用领域广泛的研究内容。很多现实问题都涉及到逻辑推理,这些问题被转化为命题逻辑公式或者一阶逻辑公式,经由命题逻辑提升到一阶逻辑上的子句消去方法宁欣然,徐 扬,曹 峰,吴贯峰西南交通大学 系统可信性自动验证国家地方联合工程实验室,成都 610031摘 要:在基于命题逻辑的可满足性问题(SAT)求解器和基于一阶逻辑的定理证明器上,子句集简化一直是必不可少...

http://mojdzwonek.com/tuiliziju/336.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有