| 面向交互的主体能力描述和推理方法研究 |
| |
| 引用本文： | 张会,李思昆.面向交互的主体能力描述和推理方法研究[J].计算机研究与发展,2006,43(8):1439-1444. |
| |
| 作者姓名： | 张会 李思昆 |
| |
| 作者单位： | 1. 国防科学技术大学计算机学院,长沙,410073;海军潜艇学院,青岛,266071
2. 国防科学技术大学计算机学院,长沙,410073 |
| |
| 基金项目： | 国家研究发展基金;国家科技攻关项目 |
| |
| 摘 要： | 主体间的交互对主体能力的影响是主体能力描述和推理需要考虑的一个重要因素．给出了一个面向交互的主体能力描述和推理框架．该框架将描述逻辑中的知识表示结构和任务逻辑中的任务语义结合起来，可以显式地描述主体之间的交互关系对主体能力的影响并可提供可判定的推理服务．建立了一个用于任务可完成性判定的逻辑系统DTL，并证明了它是可靠、完备和可判定的．
|
| 关 键 词： | 主体 能力描述 任务语义 描述逻辑 |
| 收稿时间： | 06 5 2005 12:00AM |
| 修稿时间： | 2005-06-052006-02-27 |
Interaction-Oriented Ability Specification and Reasoning |
| |
| Zhang Hui,Li Sikun.Interaction-Oriented Ability Specification and Reasoning[J].Journal of Computer Research and Development,2006,43(8):1439-1444. |
| |
| Authors: | Zhang Hui Li Sikun |
| |
| Affiliation: | 1, School of Computer Science, National University of Defense Technology, Changsha 410073;2, Navy Submarine Academy, Qingdao 266071 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
