摘要
FLUX是基于流演算的逻辑程序语言,实现agents在不完全状态下对其动作和感知信息进行逻辑推理。FLUX利用不同的约束来编码不完全状态,但现有的约束并不能覆盖所有流演算状态公式,这势必影响FLUX的应用范围。针对以上问题,在FLUX中引入负析取约束,利用约束处理规则集(CHRs)加以实现,并基于流演算基础语义分析了负析取约束的正确性,从而提高了FLUX对不完全状态的表达能力。
FLUX is a constraint logic programming language based on fluent calculus,using which agents can reason logically from their actions and sensor information in incomplete states. The incomplete state is encoded by the constraints in FLUX. However,the existing constrains in FLUX are not complete to cover all cluent calculus state formulas,which to some extent restricts the range of applications of FLUX. This paper addressed this problem by adding negative disjunction constraints into FLUX,implemented it by constraint handling rules （CHRs） ,and proved the correctness of negative disjunction constraints using the semantics of the cluent calculus,which enhanced the ability of FLUX to express incomplete states.
出处
《计算机应用研究》
CSCD
北大核心
2010年第8期2980-2983,共4页
Application Research of Computers
基金
江苏省社会发展计划资助项目(BS2001046)
江苏省高校自然科学研究计划(03kjd520075)
关键词
行动推理
流演算
FLUX
约束求解
reasoning about action
fluent calculus
FLUX
constraint solving
