期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
基于描述逻辑的目标推理研究 被引量:5
1
作者 吴修国 曾广周 许崇敬 《计算机科学》 CSCD 北大核心 2008年第7期142-144,共3页
描述逻辑(Description Logics,DLs)是近年来研究和发展最快的知识表示的形式化工具之一,具有强大的表达能力、可判定性等优点。本文将描述逻辑应用于主体研究领域中的目标表示和推理,充分利用其具有自动判断概念包含关系的有效推理功能... 描述逻辑(Description Logics,DLs)是近年来研究和发展最快的知识表示的形式化工具之一,具有强大的表达能力、可判定性等优点。本文将描述逻辑应用于主体研究领域中的目标表示和推理,充分利用其具有自动判断概念包含关系的有效推理功能,为主体提供目标推理工具。 展开更多
关键词 描述逻辑 目标一致性 目标层次
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部