基于可废止逻辑的柔性Agent理论、算法与实现研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

基于可废止逻辑的柔性Agent理论、算法与实现研究

项目名称：基于可废止逻辑的柔性Agent理论、算法与实现研究
项目类别：面上项目
批准号：60773177
申请代码：F020513
项目来源：国家自然科学基金
研究期限：2008-01-01-2010-12-31

项目负责人：廖备水
负责人职称：副教授
依托单位：浙江大学
批准年度：2007

中文摘要：

现有基于BDI(信念-愿望-意图)逻辑的Agent 的推理规则是静态的,推理过程是线性的,缺乏利用动态规则进行推理的能力,这使得它在接受来自IT 管理者的动态管理策略和目标的指导时或通过合同与其他Agent 协作时,不能有效地处理实时发生的规则冲突. 以自治计算的研究为背景,利用可废止逻辑理论的非单调知识表征和推理机制,在已有工作的基础上,提出、论证并实现一种能够动态接受规则变更,灵活处理实时发生的规则冲突,并进行高效的非单调推理的 "柔性"Agent 模型.研究内容包括柔性Agent 理论模型的建立与论证、算法设计与复杂性分析、原型设计与测试.这种Agent 既是自主的,又是可控的,能够克服传统BDI 模型中固有的一些缺点,且可以在开放、动态的环境中通过合同与其他Agent进行协同工作,为Agent 在新领域的应用开辟了一条有效的途径,因此具有重要的理论价值和潜在的重大经济意义.

中文主题词：可废止逻辑;BDI 逻辑;Agent 模型;自治计算;非单调推理

结论摘要：

英文主题词defeasible logic; BDI logic, agent models, autonomic computing; non-monotonic reasoning

成果综合统计