命題公式范式生成算法研究與程序設(shè)計(jì)
3萬字 31頁
論文+開題+任務(wù)書



摘 要

自動推理是人工智能領(lǐng)域的一個重要研究課題。從若干事實(shí)出發(fā)，經(jīng)過嚴(yán)密的推理，得出某些結(jié)論，是人類一項(xiàng)重要的智能活動。不過自動推理還是個處于初級階段，仍需不斷實(shí)驗(yàn)的領(lǐng)域，但這個領(lǐng)域又是非常的誘人，因?yàn)樵跀?shù)學(xué)以及許多其他技術(shù)領(lǐng)域均可用一定的形式系統(tǒng)來表述。而一階邏輯是一種特別簡單又易于理解的語言，足以表達(dá)許多的問題。這樣用今天的計(jì)算機(jī)進(jìn)行快速而準(zhǔn)確的推理已成為可能，而自動推理又可以避免令人乏味和容易出錯的詳細(xì)證明構(gòu)造過程，所以這是一個非常值得我們?nèi)ビ懻摰念I(lǐng)域。計(jì)算機(jī)自動推理的研究走著兩條不同的路線:研究普遍的推理規(guī)律和方法 ——邏輯推理研究，以及研究具體領(lǐng)域的推理規(guī)律和方法。
而本文是自動推理原理在離散數(shù)學(xué)上應(yīng)用的實(shí)例，利用自動推理的思想來研究命題公式范式的生成算法等內(nèi)容，通過研究本課題，可以產(chǎn)生一個類似命題證明器的系統(tǒng)。利用這個系統(tǒng)就可以對命題公式語法的正確性進(jìn)行判定以及命題公式范式的生成。在本文中首先回顧了自動推理的歷史，敘述了命題公式范式在自動推理中的重要性，以及自動推理的現(xiàn)狀及發(fā)展趨勢；然后敘述了命題邏輯的定義及原理；接著對c語言進(jìn)行了簡單的概述；最后討論了命題公式范式生成算法以及實(shí)現(xiàn)。


關(guān)鍵詞：自動推理 定理機(jī)器證明 命題邏輯公式 合取范式 析取范式 數(shù)理邏輯



Study the make algorithm of the formula normal form of the proposition and design the program
Abstract
Automatic reasoning is an important subject for research of the artificial intelligence field. Proceed from several facts, through tight reasoning, draw some conclusions; it is an important intelligence activity of the mankind. But automatic reasoning piece still at primary stage, is a field that also need test constantly, but this field is very captivating, because it can state with certain form system in mathematics and a lot of other technological fields. And as a step of logic is a kind of very simple language that is very easy to understand, it is enough to express a lot of questions. So use for today’s computer that carry on fast and accurate reasoning has already become a possible, and construct the course in detailed identification that making people dull and apt to make mistakes in automatic reasoning can avoid, so this is a good field that we worth to go and discuss very much . There are two different routes to go in the research of the automatic reasoning of the computer: Study general law and method of reasoning——study reasoning from logic, and study the law and method of reasoning in the specific field......



目 錄

摘 要 II
Abstract III
第一章 緒 論 1
1.1數(shù)理邏輯在自動推理中的意義 1
1.1.1數(shù)理邏輯的若干新發(fā)展 1
1.1.2邏輯與人工智能 2
1.1.3命題邏輯與自動推理 2
1.2當(dāng)前國內(nèi)外的研究現(xiàn)狀及發(fā)展趨勢 3
1.3已有的幾個流行的符號數(shù)學(xué)軟件系統(tǒng) 4
1.4 本文的解決方案 6
第二章 命題邏輯的定義及原理 7
2.1 命題及范式定義 7
2.2求解命題公式范式的合取范式和析取范式步驟 9
第三章C語言概述及其開發(fā)過程 11
3.1 C語言的產(chǎn)生與發(fā)展 11
3.2 C語言的特點(diǎn) 11
3.3 C程序的開發(fā)過程 12
第四章 命題公式范式生成算法分析 15
4.1 廣義表的定義及擴(kuò)展 15
4.2擴(kuò)展廣義表的存儲結(jié)構(gòu)設(shè)計(jì) 16
4.3利用擴(kuò)展廣義表實(shí)現(xiàn)命題邏輯表達(dá)式的基本運(yùn)算 17
4.4命題邏輯基本運(yùn)算的算法實(shí)現(xiàn)舉例 19
第五章 命題公式范式生成算法的實(shí)現(xiàn) 20
5.1 廣義表存儲格式的定義以及存儲 20
5.2命題邏輯基本運(yùn)算的函數(shù)實(shí)現(xiàn)………………………………………………………...22
5.3 范式生成的主函數(shù)實(shí)現(xiàn) 25
5.4 程序的調(diào)試 26
第六章 結(jié)束語 28
參考文獻(xiàn) 29
致 謝 30



參考文獻(xiàn)

1 徐蘇 于海雯 段謨軼 林振榮等 C語言程序設(shè)計(jì) 江西高校出版社 2002
2 賁可榮 陳火旺 自動定理證明：十年回顧， 計(jì)算機(jī)科學(xué)1993