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

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

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

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