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

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

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