面向agent的统一知识表示与推理逻辑框架

摘要：

agent设计的坚实理论基础必须建立在知识表示和推理的理论之上.针对目前逻辑理论模型及行为理论模型的不足,提出以描述逻辑及其扩展来描述agent的静态、动态及不确定性知识等信念知识,结合描述逻辑与行为理论进行动作描述;并与认知逻辑相结合构成一个信念知识混合系统认知描述逻辑(EDL),以弥补描述逻辑在过程规则表示方面的不足.给出了EDL的语法及语义以及公理系统,构建了一个面向agent的统一的知识表示和推理逻辑框架.

关键词：agent、描述逻辑、行为理论、认知逻辑

所属期刊栏目：44

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金60673092;60775045

在线出版日期：2008-06-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：132-139