计算机科学 ›› 2008, Vol. 35 ›› Issue (7): 142-144.

• • 上一篇    下一篇

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

  

  • 出版日期:2018-11-16 发布日期:2018-11-16

  • Online:2018-11-16 Published:2018-11-16

摘要: 描述逻辑(Description Logics,DLs)是近年来研究和发展最快的知识表示的形式化工具之一,具有强大的表达能力、可判定性等优点。本文将描述逻辑应用于主体研究领域中的目标表示和推理,充分利用其具有自动判断概念包含关系的有效推理功能,为主体提供目标推理工具。

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

Abstract: 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 repre

Key words: Description logics(DLs),Goal consistency,Goal hiberarchy

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!