摘要
本文提出了一种基于实用原则的框架问题的解决方案,证明该方案的表达能力与Reiter的方案等价,分析了两种方案各自的特色及适用范围。提出了效应公理的完备化概念,给出了效应公理的规则表示形式,这些结果为基于意向驱动的agent模型的建立以及面向agent的程序设计语言AOPLID的提出提供了必要的理论基础。
In this paper, a pragmatistic solution to the frame problem is introduced. It is proved that this solution is equivalent to the Reiter's in respect of the power of representation. The characteristic and applicability of two solutions are analysed. The concept of completeness of effect axioms is introduced and a method to transfer an effect axiom into a rule is given. These provide a theoretical foundation for modeling agents with intention driver and the agent-oriented programming language AOPLID.
出处
《模式识别与人工智能》
EI
CSCD
北大核心
2000年第2期121-127,共7页
Pattern Recognition and Artificial Intelligence
基金
江苏省青年科技基金
