FLUX中負析取約束的研究與實現
2010-12-31 00:00:00劉一松朱會娟朱芒徐艷群
計算機應用研究 2010年8期
摘要：FLUX是基于流演算的邏輯程序語言，實現agents在不完全狀態下對其動作和感知信息進行邏輯推理。FLUX利用不同的約束來編碼不完全狀態，但現有的約束并不能覆蓋所有流演算狀態公式，這勢必影響FLUX的應用范圍。針對以上問題，在FLUX中引入負析取約束，利用約束處理規則集(CHRs)加以實現，并基于流演算基礎語義分析了負析取約束的正確性，從而提高了FLUX對不完全狀態的表達能力。
關鍵詞：行動推理；流演算；FLUX；約束求解
中圖分類號：TP301.2 文獻標志碼：A 文章編號：1001－3695(2010)08－2980－04
