中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
L3-值命题逻辑的R-演算 期刊论文
计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164
作者:  曹存根;  胡岚曦;  眭跃飞
收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04
信念修正  R-演算  余矢列式  Gentzen推理系统  非单调性  
基于动态描述逻辑DDL的动作理论 期刊论文
计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 203
作者:  常亮;  陈立民
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
动态描述逻辑  知识表示和推理  动作理论  智能主体  语义Web  
心理常识概念的表示、获取和分析 期刊论文
计算机科学, 2004, 卷号: 31.0, 期号: 006, 页码: 5
作者:  田雯;  曹存根;  王海涛
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
心理常识概念  概念获取  概念表示  概念分析  机器智能  自动推理  
基于PDA的知识库与数据库集成和通用推理算法 期刊论文
计算机科学, 2002, 卷号: 29.0, 期号: 002, 页码: 120
作者:  欧阳建权;  钱跃良;  李锦涛;  刘任任
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
PDA  知识库  数据库  集成  通用推理算法  关系数据库  演绎推理  农业专家系统