论文部分内容阅读
针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统K2的可靠性定理与完备性定理,并结合水文信息给出这种大数据知识表示应用实例。
基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用
【摘 要】
：
针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关
【机 构】
：
南昌工程学院信息工程学院
【出 处】
：
南昌工程学院学报
【发表日期】
：
2019年3期
【基金项目】
：
江西省科技厅项目(20161BBE50051,20161BBE50050),江西省教育厅科学技术研究项目(GJJ161109,GJJ151126),国家自然基金资助项目(61363047,61562061).
其他文献
为筛选出适合农五师八十四团垦区灌溉条件下种植的优质紫花苜蓿，挑选6种紫花苜蓿进行种植适应性比较。结果显示：WL323的产量和干物质含量均最高，且抗寒性也最好，但品质一般；阿尔岗
为了深入认识南昌参考作物蒸散量（ET0）的时间变化特征,采用FAO推荐的Penman-Monteith公式计算南昌1961—2015年逐日ET0,并用Mann-Kendall趋势检验和突变检验法分析南昌ET0时间