基于流演算的面向Agent語言的設(shè)計與原型實現(xiàn).pdf

1、行動推理是人工智能研究的一個重要領(lǐng)域。由于Agent所處的環(huán)境往往是動態(tài)的，不完全可知的，為了完成給定的任務(wù)，Agent需要對動態(tài)變化的環(huán)境做出反應(yīng)，通過規(guī)劃、自主推理從而尋找出從初始狀態(tài)到達(dá)目標(biāo)狀態(tài)的動作序列，最終實現(xiàn)目標(biāo)。 流演算是行動推理形式化的表示方法，其執(zhí)行器(FLUX)為認(rèn)知機(jī)器人提供了高層控制。然而，F(xiàn)LUX是以Prolog語言為原型而設(shè)計實現(xiàn)的，是以一階謂詞邏輯為理論基礎(chǔ)的一種邏輯程序設(shè)計語言，對于大部分編程人員

2、來說不易掌握，且與大多數(shù)開發(fā)平臺不兼容，在實際應(yīng)用上存在一定局限性。 本文的主要工作有： (1)本文采用基于Java的約束處理規(guī)則來進(jìn)行約束推理(JCHR)，設(shè)計了一種基于Java的面向Agent的程序設(shè)計語言JFLUX(Java for the—Fluent CalculusExecutor)，有效地解決了FLUX的不足。 (2)開發(fā)了基于目標(biāo)驅(qū)動的、采用JCHR推理模塊、領(lǐng)域模塊、控制模塊和核心模塊使Agen

3、t在不完全可知環(huán)境中具有自主行動推理能力的JFLUX支撐系統(tǒng)JFLUXSS(JFLUX Support System)。 (3)對辦公室場景中路徑規(guī)劃的Agent實例進(jìn)行了建模和分析，運用JFLUXSS系統(tǒng)并對其進(jìn)行驗證。由實驗結(jié)果表明Agent能夠在不完全可知的環(huán)境下，面向目標(biāo)進(jìn)行自主行動推理。 本文在行動推理理論框架內(nèi)，利用Java對Agent具體實現(xiàn)做了一些嘗試，為行動推理和主體理論技術(shù)的研究和實現(xiàn)打下了一定基礎(chǔ)。