| FLUX中负析取约束的研究与实现* |
| |
| 引用本文： | 刘一松,朱会娟,朱芒,徐艳群.FLUX中负析取约束的研究与实现*[J].计算机应用研究,2010,27(8):2980-2983. |
| |
| 作者姓名： | 刘一松 朱会娟 朱芒 徐艳群 |
| |
| 作者单位： | 1. 江苏大学,计算机科学与通信工程学院,江苏,镇江,212013
2. 镇江市排水管理处,江苏,镇江,212000 |
| |
| 基金项目： | 江苏省社会发展计划资助项目(BS2001046)；江苏省高校自然科学研究计划资助项目(03kjd520075) |
| |
| 摘 要： | FLUX是基于流演算的逻辑程序语言，实现agents在不完全状态下对其动作和感知信息进行逻辑推理。FLUX利用不同的约束来编码不完全状态，但现有的约束并不能覆盖所有流演算状态公式，这势必影响FLUX的应用范围。针对以上问题,在FLUX中引入负析取约束，利用约束处理规则集（CHRs）加以实现，并基于流演算基础语义分析了负析取约束的正确性，从而提高了FLUX对不完全状态的表达能力。
|
| 关 键 词： | 行动推理 流演算 FLUX 约束求解 |
Research and implementation on negative disjunction constraints in FLUX |
| |
| LIU Yi-song,ZHU Hui-juan,ZHU Mang,XU Yan-qun.Research and implementation on negative disjunction constraints in FLUX[J].Application Research of Computers,2010,27(8):2980-2983. |
| |
| Authors: | LIU Yi-song ZHU Hui-juan ZHU Mang XU Yan-qun |
| |
| Abstract: | 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. |
| |
| Keywords: | reasoning about action fluent calculus FLUX constraint solving |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
