文档介绍：万方数据
格值一阶逻辑系统的�阋骞榻嵩��许伟涛��盼徘�,徐扬��诺孪�����猤�����������������������������.����于��年提出了基于经典逻辑的归结原理���;�诠榻嵩�淼淖远�评硖峁┝酥匾5难芯炕�,自动推理的研究也取得了较多的研究成果睇。�.基于经典二值逻辑的归结自动推理理论,已形成各种各样的归结自动推理方法,典型的有语义归结、,再把公式化成���标准型,然后将标准型的母式化为合取范式,而合取范式中的每一项都是一个子句,把该合取范式对应一个子句集,即只需证明这个子句集是不可满足的,就相当于完成了该定理的证明���8�匀弧⒅惫鄣囟�问题描述形成的公式所对应的子句集进行归结,王湘浩和刘叙华将传统的归结原理推广到广义子句集上,提西安电子科技大学学报�匀豢蒲О��������痡.��.��—��.��.�.���.河南工业大学信息科学与工程学院,河南郑州���;��髂辖煌ù笱��аг海�拇ǔ啥����摘要:在基于格蕴涵代数的格值逻辑系统框架下,笔者扩展了基于格值逻辑系统的口归结原理,将广义子句集上的归结扩展到一般广义子句集上,提出了基于格值一阶逻辑系统���目诠阋骞榻嵩�恚��⒘�,:格值一阶逻辑;一般广义子句;局部极复杂广义文字;广义归结;自动推理中图分类号:���文章编号:��—������—��—��琙����年��第�卷第��文献标识码:���琗�������琒�������簂�������收稿日期:��—�一�网络出版时问:��—�—�基金项目:国家自然科学基金资助项目�����;国家自然科学青年基金资助项目�����;国家高技术研究发展计划��计划��助项目�������;河南省教育厅自然科学资助项目������缓幽瞎ひ荡笱Ц卟愦稳瞬呕�鹱手�钅������作者简介:许伟涛����,男,讲师,博士,�猰��篽�����.���网络出版地址:��://��甤��畁�/��/���/�.��.�.����.��.���.����.���.����������琀����.������,���������.�����.,�������,�������:����瑃���甀����瑃����猳�����瓵���,�����瓸����.�����籫������;�������籫����������;������.�
万方数据
け钢J���诟裰狄唤茁呒�低矻��的口广义归结原理则称∞一����埃珼∥一,��,是一个从广义子句集�龇⒌焦阋遄泳銬。的��榻嵫菀铮�⋯,�巍保珼。��且桓龃覵出发到广义子句�5目诠榻嵫菀铮�绻鸇。一��騍≤口,即如果�!����出基于格蕴涵代数�母裰狄唤茁呒�低矻��的口广义归结原理.��://��畑��畁�出了基于经典二值逻辑的广义归结原理���沟醚菀锕�谈�咏咏�匀煌频迹�对确定性问题可以用经典二值逻辑解决,但是在处理含不确定性信息或知识时,问题的解决往往是困难的.