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

被引：3

作者：

吴修国 ^{[1
]}

曾广周 ^{[1
]}

许崇敬 ^{[2
]}

机构：

[1] 山东大学计算机科学与技术学院

[2] 山东经济学院信息管理学院

来源：

关键词：

描述逻辑; 目标一致性; 目标层次;

D O I：

暂无

中图分类号：

TP182 [专家系统、知识工程];

学科分类号：

1111 ;

摘要：

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

引用

页码：142 / 144

页数：3

共 5 条

[1] 描述任务逻辑及其应用 [J].

张会 ;

李思昆 .

[2] 支持设计环境中学习的多Agent系统 [J].

刘弘 ;

刘希玉 .

[3]

董明楷.面向智能主体的动态描述逻辑研究[D].中国科学院研究生院（计算技术研究所）,2003

[4]

Giorgi Japaridze.Introduction to computability logic[J].Annals of Pure and Applied Logic,2003(1)

[5]

Giorgi Japaridze.The logic of tasks[J].Annals of Pure and Applied Logic,2002(1)