论文研究 FLUX中负析取约束的研究与实现.pdf

FLUX是基于流演算的逻辑程序语言，实现agents在不完全状态下对其动作和感知信息进行逻辑推理。FLUX利用不同的约束来编码不完全状态，但现有的约束并不能覆盖所有流演算状态公式，这势必影响FLUX的应用范围。针对以上问题,在FLUX中引入负析取约束，利用约束处理规则集（CHRs）加以实现，并基于流演算基础语义分析了负析取约束的正确性，从而提高了FLUX对不完全状态的表达能力。