基于描述逻辑的目标推理研究  

Research on Goal Reasoning Based on Description Logics

作　　者：吴修国[1] 曾广周[1] 许崇敬[2] 

机构地区：[1]山东大学计算机科学与技术学院,济南250061 [2]山东经济学院信息管理学院,济南250014

出　　处：《计算机科学》2008年第7期142-144,共3页Computer Science

摘　　要：描述逻辑(Description Logics,DLs)是近年来研究和发展最快的知识表示的形式化工具之一,具有强大的表达能力、可判定性等优点。本文将描述逻辑应用于主体研究领域中的目标表示和推理,充分利用其具有自动判断概念包含关系的有效推理功能,为主体提供目标推理工具。Description logics is one of formal tools for knowledge representation which is studied and developed rapidly in recent years. It has many metrits such as powerful expressive capability and determinant. This paper applies Description logics into the representation and reasoning of goals in the area of Agent and supplies valid determinant goal reasoning service based on the automatic judge ment of the subsumption of concept in DLs.

关 键 词：描述逻辑 目标一致性 目标层次 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] O141.1[自动化与计算机技术—控制科学与工程]