首页> 中文期刊> 《南昌工程学院学报》 >基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用

基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法.给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统K2的可靠性定理与完备性定理,并结合水文信息给出这种大数据知识表示应用实例.

著录项

来源
《南昌工程学院学报》 |2019年第3期|77-84|共8页
作者
邓少波; 关素洁; 王磊; 黎敏;
展开▼
作者单位

南昌工程学院信息工程学院;

江西南昌330099;

南昌工程学院信息工程学院;

江西南昌330099;

南昌工程学院信息工程学院;

江西南昌330099;

南昌工程学院信息工程学院;

江西南昌330099;

展开▼
原文格式 PDF
正文语种 chi
中图分类谓词演算（命题函项演算）;
关键词
模态逻辑; 大数据; 水文信息; 可靠性定理; 完备性定理;

相似文献

中文文献
外文文献
专利

1. 基于互模拟的两种模态逻辑模型构造方法及其应用 [J] . 姚从军 ,霍书全 . 重庆理工大学学报 . 2013,第009期
2. 基于互模拟的两种模态逻辑模型构造方法及其应用 [J] . 姚从军 ,霍书全 . 重庆理工大学学报（社会科学版） . 2013,第009期
3. 基于面向对象的知识表示方法在专家系统中的应用 [J] . 王丽丽 . 中国电子商务 . 2013,第016期
4. 基于模糊Petri网的知识表示方法在变压器故障诊断专家系统中的应用 [J] . 王蓓蓓 ,郭基伟 ,谢敬东 . 电力系统及其自动化学报 . 2003,第001期
5. 基于模糊Petri网的知识表示方法在燃气轮机故障诊断专家系统中的应用 [J] . 黄晓光 ,高梅梅 ,王永泓 . 动力工程学报 . 2000,第005期
6. 基于互模拟的两种模态逻辑模型构造方法及其应用 [C] . YAO Cong-jun ,姚从军 ,HUO Shu-quan . 2013年全国应用逻辑学术年会 . 2013
7. 奎因与模态逻辑的发展——关于模态逻辑的合法性论争 [A] . 聂成丽 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号