Haskell语言类型推理的语义模型研究

论文研究基于语义推理的DSS模型研究与应用.pdf

基于语义网理论建立基于语义推理的DSS模型。该模型引用W3C提出的资源描述框架（RDF）以描述业务领域中各要素，形成领域本体。并对领域中业务数据进行语义标注，构建事实库。在所构建事实库的基础上，系统根

PDF

0B

2020-01-31 07:21

语义Web推理的研究与实现

语义Web的逻辑基础是描述逻辑,语义Web出现的目的就是为了解决机器和人对知识理解的问题,因此可以在语义Web的基础上展开推理。传统的推理系统结合语义Web可以克服知识表示方面的缺点,并且有利于知识的

CAJ

0B

2019-05-28 08:39

论文研究基于本体的语义推理实例研究.pdf

基于本体的语义推理实例研究，岳笑峥，，作为下一代Web基础的本体正在被越来越多的人关注，本文首先介绍了本体的概念、描述语言及构建方法，然后在热门的本体编辑器Protégé

PDF

0B

2019-09-04 10:58

面向领域知识的语义推理技术研究

其他地方很难下到，虽然论文不是很拔尖，但是可以参考一下。

PDF

0B

2019-05-08 21:07

语义Web与推理系统的应用研究

分析了语义Web的体系结构及其相关知识,对本体论的逻辑基础进行了研究。在此基础上提出了一种有效的推理系统。

PDF

150KB

2020-10-28 06:57

Halcon深度学习-语义分割模型推理技术探讨

深度学习在图像处理领域发挥着重要作用，其中Halcon深度学习-语义分割（4）专注于模型推理的关键方面。通过深入研究语义分割技术，本文将聚焦于模型推理的实际应用和优化策略。探讨模型推理的关键挑战，包括

hdev

56KB

2023-11-27 15:51

基于本体知识库推理的语义搜索研究.pdf

基于本体知识库推理的语义搜索研究.pdf

PDF

0B

2019-05-28 05:19

论文研究计算机推理的语义与语法.pdf

计算机推理的语义与语法，闫硕，吴尽昭，数理逻辑中的经典和非经典逻辑都以研究推理为主要目的，其研究方法是通过两种渠道展开的，即语义推理和语法推理。本文分别对语义

PDF

292KB

2020-07-16 21:21

liquidhaskell Haskell的液体类型源码

快速链接 文献资料 问题 如果你有任何问题 加入Liquid Haskell 邮寄 创建一个github问题

ZIP

14.25MB

2021-02-17 05:11

基于本体语义的模型映射研究

基于本体语义映射，对不同层次的模型映射进行分类并加以形式化，分析不同层次模型之间的映射关系和基本原则。为模型转换的具体实现提供理论指导，还为验证模型映射规则的可行性和正确性提供依据。

PDF

0B

2019-05-08 21:33

语义网推理_mayue.pdf

关于语义网的最新资料。介绍在语义网上如何进行推理，有用的着的同学可以下载。

PDF

0B

2019-09-21 06:37

基于SEMANTICWEB的语义检索模型的研究

基于SEMANTICWEB的语义检索模型的研究

NH

0B

2019-05-08 21:34

基于语义推理的作战计划验证方法

通过对计划知识进行基于本体的表示、基于描述逻辑及一阶谓词逻辑的逻辑推理, 以实现对联合作战行动过程的验证。并以某联合作战行动过程的验证为例进行了实验。

PDF

0B

2019-01-07 17:10

浅谈语义Web与推理系统的应用

语义Web发展很重要的目的就是要建立人与机器都可以理解的知识系统,将信息用语义Web本体论的思想来表达可以部分解决机器无法理解人类所描述知识的问题。在语义Web本体论的基础上建立机器进行自动推理的方法

PDF

156KB

2021-04-27 08:30

论文研究基于语义推理的音乐个性化推荐.pdf

基于语义推理的音乐个性化推荐，李祉莹，刘传昌，为了能够更好的满足用户对音乐歌曲资源个性化的需求，在传统推荐技术的基础上，引入本体来描述歌曲资源，借鉴语义网中的语义联系

.pdf

0B

2020-05-18 11:19