四值非鏈格值命題邏輯系統L4P(X)的語義歸結方法
2011-12-31 00:00:00張家鋒徐揚何星星
計算機應用研究 2011年9期
摘要：為了提高歸結方法處理帶有不可比較性信息的能力，給出了四值格值命題邏輯系統上的語義歸結原理，并證明了其可靠性和完備性，其上歸結原理的研究為歸結算法的實現提供了理論基礎，從而為處理含有不可比真值的格值邏輯系統在智能推理系統中的實際應用提供了有力的支持。
關鍵詞：格蘊涵代數；自動推理；語義歸結方法；四值命題邏輯系統
中圖分類號：TP18 文獻標志碼：A 文章編號：1001—3695(2011)09—3226—03
