论文部分内容阅读
针对任务逻辑存在的两个缺点：（1）不可判定，无法保证推理过程都能在有限的时间内结束；（2）任务的定义局限于抽象的、逻辑的定义。无法描述任务的具体属性和任务之间的关系，将描述性结构引入任务逻辑，构造了一个可描述具体属性的、可判定的任务逻辑系统——描述任务逻辑．将所构造的逻辑系统应用于具有组织的多主体系统行为建模，建立了基于描述任务逻辑的多主体组织模型和建模框架，并且表明应用描述任务逻辑构造应用系统具有表达能力强、结构紧凑的特点．