摘要
针对任务逻辑存在的两个缺点:(1)不可判定,无法保证推理过程都能在有限的时间内结束;(2)任务的定义局限于抽象的、逻辑的定义,无法描述任务的具体属性和任务之间的关系,将描述性结构引入任务逻辑,构造了一个可描述具体属性的、可判定的任务逻辑系统———描述任务逻辑.将所构造的逻辑系统应用于具有组织的多主体系统行为建模,建立了基于描述任务逻辑的多主体组织模型和建模框架,并且表明应用描述任务逻辑构造应用系统具有表达能力强、结构紧凑的特点.
The logic of tasks is immune to two major problems most planning logics face： The frame problem and the knowledge preconditions problem. However, previous logic of tasks which supplemented the classical first order predicate logic with the additional operators n and П has two drawbacks. One of them is that it is not decidable and the other is that all the task knowledge in it has to be defined on an abstract logic level so it can not describe the concrete attributes of tasks. This paper presents the description logic of tasks that can describe the concrete attributes of tasks and is decidable by integrating knowledge representation formalism used in description logic into the task language. A formal system L（S,A） which is decidable, sound and complete is proposed. Lastly, as the example of application an organization model and a framework based on the description logic of tasks for multi-agent system specification are provided.
出处
《计算机学报》
EI
CSCD
北大核心
2006年第3期488-494,共7页
Chinese Journal of Computers
基金
国家"九七三"重点基础研究发展规划项目基金(2002CB312105)
国家"八六三"高技术研究发展计划项目基金(2004AA115130)资助
关键词
任务逻辑
可判定
描述语言
多主体系统
组织模型
logic of tasks
decidable
description language
multi agent system
organization model
