期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
关于经验论模态词相互关系的注记
1
作者
张闵敏
《解放军理工大学学报（自然科学版）》
EI
2003年第4期98-102,共5页
经验论模态逻辑系统含有两组关于经验推理的模态词 ,证明了该系统中复合模态词间的一系列蕴涵关系 ,并构造反模型说明了其蕴涵关系的反方向不成立 ,从而全面弄清了该系统中各种复合模态词的相互关系。
关键词
模态逻辑
模态词
克里普克结构
在线阅读
下载PDF
职称材料
知识表示的F-K系统
2
作者
梁彦彬
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2000年第6期614-619,共6页
对经典知识表示系统 (多系统 )进行了扩充 ,引入一个刻划“大概知道”的模态词“F”,并建立了相应的公理系统 F- K,该公理系统除包含“F”外也包含经典模态词“K”。同时 ,基于滤子对经典 Kripke框架及模型进行了扩充 ,从而给出了“F”...
对经典知识表示系统 (多系统 )进行了扩充 ,引入一个刻划“大概知道”的模态词“F”,并建立了相应的公理系统 F- K,该公理系统除包含“F”外也包含经典模态词“K”。同时 ,基于滤子对经典 Kripke框架及模型进行了扩充 ,从而给出了“F”的语义 ,并证明了该语义下 F-
展开更多
关键词
人工智能
模态逻辑
知识表示
克里普克结构
在线阅读
下载PDF
职称材料
题名
关于经验论模态词相互关系的注记
1
作者
张闵敏
机构
解放军理工大学气象学院
出处
《解放军理工大学学报（自然科学版）》
EI
2003年第4期98-102,共5页
文摘
经验论模态逻辑系统含有两组关于经验推理的模态词 ,证明了该系统中复合模态词间的一系列蕴涵关系 ,并构造反模型说明了其蕴涵关系的反方向不成立 ,从而全面弄清了该系统中各种复合模态词的相互关系。
关键词
模态逻辑
模态词
克里普克结构
Keywords
modal logic
modalities
Kripke structure
分类号
B815.1 [哲学宗教—逻辑学]
在线阅读
下载PDF
职称材料
题名
知识表示的F-K系统
2
作者
梁彦彬
机构
南京航空航天大学计算机科学与工程系
出处
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2000年第6期614-619,共6页
基金
江苏省青年科技基金(编号:BQ98028)资助项目
文摘
对经典知识表示系统 (多系统 )进行了扩充 ,引入一个刻划“大概知道”的模态词“F”,并建立了相应的公理系统 F- K,该公理系统除包含“F”外也包含经典模态词“K”。同时 ,基于滤子对经典 Kripke框架及模型进行了扩充 ,从而给出了“F”的语义 ,并证明了该语义下 F-
关键词
人工智能
模态逻辑
知识表示
克里普克结构
Keywords
artificial intelligence
modal logic
knowledge representation
Kripke structure
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
关于经验论模态词相互关系的注记
张闵敏
《解放军理工大学学报（自然科学版）》
EI
2003
0
在线阅读
下载PDF
职称材料
2
知识表示的F-K系统
梁彦彬
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2000
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
