通用模糊PROLOG方法及其應(yīng)用.pdf

1、邏輯編程是知識表示中常見的陳述性方法，它是上世紀(jì)70年代在自動化推理研究的基礎(chǔ)上發(fā)展起來的。雖然經(jīng)典邏輯編程已經(jīng)成功地解決了很多領(lǐng)域的問題，尤其是人工智能方面。但是，經(jīng)典邏輯編程是基于二值邏輯的，它不適合于描述現(xiàn)實世界中的不確定、不精確或模糊信息。因此將模糊邏輯引入邏輯編程已經(jīng)成為一個必然趨勢和研究熱點。 本文的研究目標(biāo)是探討比較通用化的模糊Prolog方法，主要研究成果有：對經(jīng)典邏輯編程和模糊邏輯編程進行了比較，對Prolog

2、中表示經(jīng)典集合和模糊集合的具體方法進行了系統(tǒng)地總結(jié);鑒于目前還沒有一個通用的模糊Prolog方法，本文提出了一個新的模糊Prolog系統(tǒng)的語法和語義模型，在一定程度上實現(xiàn)了通用性；在此基礎(chǔ)上討論了模糊Prolog方法的具體應(yīng)用，這些應(yīng)用實例都是在可視化編程環(huán)境VisualProlog上實現(xiàn)的，它具有很強的有效性、簡單性和適應(yīng)性。這些應(yīng)用實例表明本文提出的通用模糊Prolog方法的正確性和可實現(xiàn)性，對研究通用模糊Prolog系統(tǒng)具有一定的