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

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

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

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