FLUX中負(fù)析取約束的研究與實(shí)現(xiàn)

摘要：FLUX是基于流演算的邏輯程序語(yǔ)言，實(shí)現(xiàn)agents在不完全狀態(tài)下對(duì)其動(dòng)作和感知信息進(jìn)行邏輯推理。FLUX利用不同的約束來(lái)編碼不完全狀態(tài)，但現(xiàn)有的約束并不能覆蓋所有流演算狀態(tài)公式，這勢(shì)必影響FLUX的應(yīng)用范圍。針對(duì)以上問(wèn)題，在FLUX中引入負(fù)析取約束，利用約束處理規(guī)則集(CHRs)加以實(shí)現(xiàn)，并基于流演算基礎(chǔ)語(yǔ)義分析了負(fù)析取約束的正確性，從而提高了FLUX對(duì)不完全狀態(tài)的表達(dá)能力。

關(guān)鍵詞：行動(dòng)推理；流演算；FLUX；約束求解

中圖分類號(hào)：TP301.2 文獻(xiàn)標(biāo)志碼：A 文章編號(hào)：1001－3695(2010)08－2980－04