流演算及其在智能主體應(yīng)用的研究.pdf

1、設(shè)計(jì)智能主體是人工智能領(lǐng)域一個(gè)富有挑戰(zhàn)性的目標(biāo)。智能主體一般處于動(dòng)態(tài)不完全可知的環(huán)境中，為了完成給定的任務(wù)，需要具有很強(qiáng)的認(rèn)知能力，即能夠自主推理，規(guī)劃，通過(guò)感知獲取知識(shí)，并且遇到突發(fā)問(wèn)題時(shí)能夠快速地做出反應(yīng)，自主地從錯(cuò)誤中恢復(fù)。 作為情景演算的發(fā)展，流演算增加了狀態(tài)概念，能夠表示不完全可知的世界環(huán)境，解決了框架問(wèn)題的表示和推理問(wèn)題。FLUX是基于流演算理論，面向智能主體的邏輯程序設(shè)計(jì)語(yǔ)言。流演算和FLUX能為智能主體實(shí)現(xiàn)不完全

2、信息條件下面向目標(biāo)的行動(dòng)推理提供形式化工具及實(shí)現(xiàn)方法。 本文的主要工作有： (1)系統(tǒng)地研究了流演算形式化理論及其實(shí)現(xiàn)語(yǔ)言FLUX。利用流演算和FLUX能夠形式化地描述不完全的動(dòng)態(tài)系統(tǒng)，并能賦予智能主體較高的認(rèn)知推理能力。 (2)在流演算框架內(nèi)，對(duì)出錯(cuò)診斷、規(guī)劃等問(wèn)題進(jìn)行了探討，并剎用FLUX在實(shí)例中加以應(yīng)用。 (3)利用流演算形式化描述辦公室不完全可知的環(huán)境，描述智能主體動(dòng)作的前提條件、動(dòng)作對(duì)狀態(tài)的更新

3、，以及智能主體進(jìn)行推理所需要的其它信息。利用FLUX和約束程序設(shè)計(jì)思想對(duì)形式化的描述進(jìn)行編碼并加以實(shí)現(xiàn)，推理出智能主體完成任務(wù)需要執(zhí)行的動(dòng)作序列，實(shí)現(xiàn)了流演算在辦公室場(chǎng)景中智能主體上的應(yīng)用。 (4)通過(guò)Java與ECLiPSe Prolog接口實(shí)現(xiàn)了智能主體所處的外部世界與其內(nèi)部推理的結(jié)合，并實(shí)驗(yàn)仿真了辦公室場(chǎng)景中智能主體的行動(dòng)推理。仿真實(shí)驗(yàn)表明了基于流演算和FLUX設(shè)計(jì)出的智能主體能夠在動(dòng)態(tài)不完全可知的環(huán)境下，面向目標(biāo)進(jìn)行自主