基于規(guī)則引擎的平面幾何推理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、人工智能是計(jì)算機(jī)科學(xué)的一個(gè)分支，是用于模擬和擴(kuò)展人類智能的理論和技術(shù)方法。人工智能在上個(gè)世紀(jì)50年代被提出，經(jīng)歷了半個(gè)多世紀(jì)的發(fā)展，人工智能已經(jīng)成為了一門龐大的科學(xué)，其研究范疇包括自然語言處理、知識(shí)表示、機(jī)器學(xué)習(xí)、知識(shí)獲取、知識(shí)推理，感知、規(guī)劃等。在人工智能的發(fā)展和應(yīng)用當(dāng)中，人們不斷的試圖通過構(gòu)建智能系統(tǒng)來模擬和擴(kuò)展人類的智能。本文在分析了專家系統(tǒng)和產(chǎn)生式系統(tǒng)的基礎(chǔ)上，采用Drools規(guī)則引擎作為推理機(jī)，運(yùn)用Java多線程技術(shù)，設(shè)計(jì)和實(shí)

2、現(xiàn)了一個(gè)針對(duì)平面幾何的多推理機(jī)的并行推理系統(tǒng)。本文主要進(jìn)行了以下幾個(gè)方面的研究：
　　首先，對(duì)平面幾何中的知識(shí)進(jìn)行了分類，并選擇合適的知識(shí)表示方法。在本文中，將平面幾何中的知識(shí)大致分為兩類：一類是由平面幾何數(shù)學(xué)理論構(gòu)成的理論型知識(shí)；另一類是由客觀概念或事實(shí)組成的事實(shí)型知識(shí)。在表示這兩種類型的知識(shí)時(shí)，通常采用不同的知識(shí)表示方式。在本文中，使用產(chǎn)生式規(guī)則表示理論型知識(shí)，而使用一階謂詞邏輯表示事實(shí)型知識(shí)。
　　其次，分析了專家系統(tǒng)

3、和產(chǎn)生式系統(tǒng)的原理。專家系統(tǒng)是早期人工智能的一個(gè)重要分支，是一類具有專業(yè)知識(shí)和經(jīng)驗(yàn)的智能計(jì)算機(jī)系統(tǒng)。專家系統(tǒng)是基于知識(shí)的系統(tǒng)，運(yùn)用知識(shí)表示和知識(shí)推理技術(shù)模擬領(lǐng)域?qū)＜业乃季S過程，解決只有領(lǐng)域?qū)＜也拍芙鉀Q的復(fù)雜問題。產(chǎn)生式系統(tǒng)是波斯特在1943年提出的一種計(jì)算機(jī)系統(tǒng)，是人工智能領(lǐng)域中常用的問題表達(dá)模型和知識(shí)系統(tǒng)。本文簡(jiǎn)要分析了專家系統(tǒng)和產(chǎn)生式系統(tǒng)的基本工作原理。
　　然后，運(yùn)用Drools規(guī)則引擎設(shè)計(jì)了平面幾何推理系統(tǒng)的基本結(jié)構(gòu)。本文

4、使用Drools規(guī)則引擎作為推理系統(tǒng)的推理機(jī)，在設(shè)計(jì)知識(shí)推理時(shí)，采用基于規(guī)則的產(chǎn)生式系統(tǒng)結(jié)構(gòu)，并使用正向推理方式。在本文中，平面幾何推理系統(tǒng)的主要結(jié)構(gòu)模塊有：系統(tǒng)接口、控制器、Drools規(guī)則引擎、規(guī)則庫、事實(shí)庫、圖形信息和知識(shí)推導(dǎo)網(wǎng)絡(luò)。
　　最后，根據(jù)平面幾何推理系統(tǒng)的基本結(jié)構(gòu)，在Java平臺(tái)上實(shí)現(xiàn)了平面幾何推理系統(tǒng)。本文采用Java多線程技術(shù)，將平面幾何推理分為幾何推理、代數(shù)推理和混合推理，因此本文最終實(shí)現(xiàn)的平面幾何推理系統(tǒng)是