基于謂詞邏輯的歸結(jié)原理研究

1、 56 敖友云 | 基于謂詞邏輯的歸結(jié)原理研究 2 盧延鑫. 經(jīng)典邏輯在人工智能知識(shí)推理中的應(yīng)用J. 軟件導(dǎo) 刊, 2008, 7(1: 22-24. 3 潘美芹, 丁志軍, 王永麗. 謂詞邏輯推理中證明方法的判定 J. 山東科技大學(xué)學(xué)報(bào)(自然科學(xué)版, 2005, 24(4: 84-86. 4 J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 1965, 12(1: 46-54. 5 肖啟莉, 肖啟敏 . 歸結(jié)原理及其應(yīng)用J. 計(jì)算機(jī)與數(shù)字工程, 200

2、7, 35(5: 183, 187. 6 楊球 , 孫寶林 . 歸結(jié)原理及其在數(shù)學(xué)定理證明中的應(yīng)用 J. 武漢交通科技大學(xué)學(xué)報(bào), 2000, 24(4: 417-420. 7 E. Rich, K. Knight. Artificial intelligence (Second Edition. New York: McGraw Hill, 1991. 8 劉云霞, 王迤冉, 宋玉杰. 謂詞邏輯描述下的歸結(jié)推理方法 J. 周口師范學(xué)院學(xué)報(bào), 2003, 20(2: 63-66. 9 王文杰, 史忠植 . 人工智能原理輔導(dǎo)與練習(xí)M. 北京 : 清華 大學(xué)出版社, 2007. 10 D. Luck

3、ham, N. J. Nilsson. Extracting information from resolution proof trees. Artificial Intelligence, 1971, 2(1: 27-54. 械實(shí)現(xiàn)的邏輯推理技術(shù)，是實(shí)現(xiàn)自動(dòng)推理證明的主要 途徑。本文分析了基于謂詞邏輯的歸結(jié)原理的基本思 想、相關(guān)的推理技術(shù)及歸結(jié)策略，并通過實(shí)例討論了 利用基于謂詞邏輯的歸結(jié)原理證明和求解問題的方法 及步驟。研究基于謂詞邏輯的歸結(jié)原理在機(jī)器上的實(shí) 現(xiàn)技術(shù)；利用基于謂詞邏輯的歸結(jié)原理證明和求解一 系列實(shí)際生活或生產(chǎn)中的問題；進(jìn)一步擴(kuò)充基于謂詞 邏輯的歸結(jié)原理并用于處理不確定性知識(shí)等都是有意 義的研究方向。 參考文獻(xiàn) (References 1 C. L. Chang, R. C. Lee. Symbolic logic and mechanical theorem proving. New York: Ac