论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 大学学报期刊 \
- 南京航空航天大学学报期刊 \
知识表示的F-K系统
知识表示的F-K系统
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
对经典知识表示系统(多系统)进行了扩充，引入一个刻划"大概知道"的模态词"F"，并建立了相应的公理系统F-K，该公理系统除包含"F"外也包含经典模态词"K"。同时，基于滤子对经典Kripke框架及模型进行了扩充，从而给出了"F"的语义，并证明了该语义下F-K的完备性与可靠性。
推荐文章
F-K反偏移中的插值映射
F-K反偏移
插值映射
频率域插值
基于F-K滑移流模型的柱面微槽气浮密封浮升能力分析
滑移流模型
螺旋槽
气膜
柱面密封
润滑性能
F-K域抗假频道内插
道内插F-K变换
空间假频
上海地震台阵的F-K分析
频率-波数谱分析
地震台阵
数据处理
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 知识表示的F-K系统 | ||
| 来源期刊 | 南京航空航天大学学报 | 学科 | 工学 |
| 关键词 | 人工智能 模态逻辑 知识表示 克里普克结构 | ||
| 年，卷（期） | 2000,（6） | 所属期刊栏目 | 理论与试验研究 |
| 研究方向 | 页码范围 | 614-619 | |
| 页数 | 6页 | 分类号 | TP182 |
| 字数 | 4351字 | 语种 | 中文 |
| DOI | 10.3969/j.issn.1005-2615.2000.06.002 | ||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (1)
节点文献
引证文献 (4)
同被引文献 (0)
二级引证文献 (0)
1990(1)
- 参考文献（1）
- 二级参考文献（0）
2000(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2003(1)
- 引证文献（1）
- 二级引证文献（0）
2007(1)
- 引证文献（1）
- 二级引证文献（0）
2011(2)
- 引证文献（2）
- 二级引证文献（0）
研究主题发展历程
节点文献
人工智能
模态逻辑
知识表示
克里普克结构
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
南京航空航天大学学报
主办单位：
南京航空航天大学
出版周期：
双月刊
ISSN：
1005-2615
CN：
32-1429/V
开本：
大16开
出版地：
南京市御道街29号1016信箱
邮发代号：
28-140
创刊时间：
1956
语种：
chi
出版文献量（篇）
3509
总下载数（次）
9
总被引数（次）
36115
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
南京航空航天大学学报2022
南京航空航天大学学报2021
南京航空航天大学学报2020
南京航空航天大学学报2019
南京航空航天大学学报2018
南京航空航天大学学报2017
南京航空航天大学学报2016
南京航空航天大学学报2015
南京航空航天大学学报2014
南京航空航天大学学报2013
南京航空航天大学学报2012
南京航空航天大学学报2011
南京航空航天大学学报2010
南京航空航天大学学报2009
南京航空航天大学学报2008
南京航空航天大学学报2007
南京航空航天大学学报2006
南京航空航天大学学报2005
南京航空航天大学学报2004
南京航空航天大学学报2003
南京航空航天大学学报2002
南京航空航天大学学报2001
南京航空航天大学学报2000
南京航空航天大学学报1999
南京航空航天大学学报2000年第6期
南京航空航天大学学报2000年第5期
南京航空航天大学学报2000年第4期
南京航空航天大学学报2000年第3期
南京航空航天大学学报2000年第2期
南京航空航天大学学报2000年第1期
