中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共10条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
无权访问的条目 学位论文
作者:  曹馨宇
Adobe PDF(4352Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2012/06/27
基于动态描述逻辑DDL的动作理论 期刊论文
计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 203
作者:  常亮;  陈立民
收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04
动态描述逻辑  知识表示和推理  动作理论  智能主体  语义Web  
可判定的时序动态描述逻辑 期刊论文
软件学报, 2011, 卷号: 22.0, 期号: 007, 页码: 1524
作者:  常亮;  史忠植;  古天龙;  王晓峰
收藏  |  浏览/下载：12/0  |  提交时间：2023/12/04
动态描述逻辑  分支时序逻辑  知识表示和推理  动作理论  Tableau判定算法  
大学水平的“数学分析知识”的获取和分析研究 期刊论文
计算机科学, 2005, 卷号: 32.0, 期号: 010, 页码: 118
作者:  刘汉武;  曹存根;  曾庆田
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
数学知识  本体  框架  逻辑  类型  知识表示  知识获取  数学分析  大学本科  知识库  知识获取过程  水  数学相关  数学平台  数学系统  软件系统  
基于Part—Whole关系的人造物属性分析 期刊论文
计算机工程与应用, 2004, 卷号: 40.0, 期号: 003, 页码: 63
作者:  雷玉霞;  眭跃飞;  曹宝香
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
知识表示  知识分析  Part—Whok关系  人造物  知识库系统  属性分析  
语义Web的逻辑基础 期刊论文
中国科学：E辑, 2004, 卷号: 34.0, 期号: 010, 页码: 1123
作者:  史忠植;  董明楷;  蒋运承;  张海俊
收藏  |  浏览/下载：13/0  |  提交时间：2023/12/04
语义Web  描述逻辑  DDL  知识表示  推理  动态  形式化  逻辑基础  存在  传统  
基于本体的数学知识获取与知识继承机制研究 期刊论文
微电子学与计算机, 2003, 卷号: 20.0, 期号: 009, 页码: 19
作者:  眭跃飞;  司晋新;  田国刚;  刘汉武;  曾庆田;  曹存根
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
数学软件  数学知识获取  本体  知识继承机制  知识表示  人工智能  
一种面向对象的智能故障诊断专家系统的实现 期刊论文
计算机应用与软件, 2002, 卷号: 19.0, 期号: 005, 页码: 21
作者:  肖春艳;  吴斌;  史忠值
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
知识表示  人工智能  面向对象  知识故障诊断专家系统  
不确定规则推理在预测算法中的应用 期刊论文
计算机工程与应用, 2001, 卷号: 37.0, 期号: 004, 页码: 124
作者:  陆;  叶施仁
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
不确定规则推理  预测算法  人工智能  知识表示  海洋渔业资源  
一个基于多种知识表示的知识获取工具EDAKS 期刊论文
计算机研究与发展, 1993, 卷号: 30.0, 期号: 008, 页码: 30
作者:  魏治杰;  王梅凌;  吴慧中
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
专家系统  知识表示  知识获取  EDAKS