FLUX中负析取约束的研究与实现

• 作者: 刘一松 徐艳群 朱会娟 朱芒
• 来源期刊: 计算机应用研究
• 关键词: 行动推理 流演算 FLUX 约束求解
• 年，卷（期）: 2010,（8）
• 页码范围: 2980-2983
• 分类号: TP301.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.08.044

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘一松	江苏大学计算机科学与通信工程学院	40	180	7.0	11.0
2	朱芒		3	5	2.0	2.0
3	朱会娟	江苏大学计算机科学与通信工程学院	1	0	0.0	0.0
4	徐艳群	江苏大学计算机科学与通信工程学院	1	0	0.0	0.0