• 语义网络(英語:Semantic Network)常常用作知识表示的一种形式。它其实是一种有向图;其中,顶点代表的是概念,而边则表示的是这些概念之间的语义关系。语义网络是机读型字典(machine-readable dictionary)的一种常见类型。 主要的语义关系包括若干方面。语义...
    3 KB (379 words) - 03:22, 23 April 2023
  • 语义网堆栈(英語:Semantic Web Stack)或称语义网蛋糕Semantic Web Cake、语义网千层饼(Semantic Web Layer Cake)指语义网的体系架构。 语义网堆栈利用图示解释是不同层面的语言所构成的层级结构;其中,每一层面都将利用下游层面的能力。该图说明的是针...
    7 KB (968 words) - 06:33, 12 January 2023
  • 意网概念实际上是基于很多已有技术的,也依赖于后来和text-and-markup与知识表现的综合。 "语义"网是由比现今成熟的网际搜索工具更加行之有效的、更加广泛意义的并且自动聚集和搜集信息的文档组成的。其最基本的元素就是语义链接。 语义网的渊源可以追溯到1960年代早期的Allan...
    5 KB (704 words) - 11:15, 25 May 2023
  • 操作学是计算机科学中的一个概念,它是使得计算机程序在数学上更加严谨的一种手段。其它类似的手段包括提供形式学,包括公理学和指称。 一个计算机语言的操作语义描述一段合理的程序是怎样被理解为一系列计算机步骤的。这些步骤就是这个程序的意义。在函數程式語言中一段终结性的序列在最后一步的返回程序...
    7 KB (1,044 words) - 19:19, 22 October 2020
  • 语义检索 ,是为了生成更相关的结果,使用语义网络中的数据来帮助区分(disambiguation)查询和网页的内容,所进行的在线检索过程。Hildebrand et al. 有一个对语义检索系统的全面回顾报告,并且说明了语义在检索过程中的相关使用情况。 语义网络 Semantic Unification...
    1 KB (130 words) - 15:41, 7 March 2024
  • 规则交换格式 (category 语义网)
    规则交换格式(Rule Interchange Format,RIF)是一个已经建议的语义网构成要素。W3C目前正在构建RIF,将其作为可能推荐的,适合于语义网之上基于规则的系统之中规则交换的格式。RIF旨在为不同的规则语言和推理引擎创建一种交换格式。...
    447 bytes (59 words) - 04:11, 2 July 2017
  • 本体工程 (category 语义网)
    言处理、电子商务、智能信息集成、生物信息学和教育等方面以及语义网之类的新兴领域。本体工程旨在明确特定领域的那些隐含在软件应用程序以及企业机构和业务过程当中的知识。本体工程为解决各种语义障碍所造成的互操作性问题提供了一个前进的方向。其中,语义障碍指的也就是那些与业务术语和软件类的定义相关的障碍和问题...
    17 KB (2,203 words) - 08:19, 31 December 2022
  • ontologies)而设计的编辑器。 Be Informed Suite (页面存档备份,存于互联网档案馆):用于构建基于大型本体的应用程序的商品化工具。其中,包括可视化编辑器、推理引擎以及标准格式导出功能。 本体匹配,又称为本体对齐。 本体库(Ontology library) 本体仓库(Ontology...
    10 KB (1,008 words) - 14:17, 11 October 2022
  • 1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法,系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题,结构操作语义方法已成为程序设计语言学的一种经典方法。 1992年建立了开放逻辑理论,解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。...
    4 KB (360 words) - 10:22, 9 November 2022
  • 推理机是实施问题求解的核心执行机构,常見於專家系統。它是对知识进行解释的程序,根据知识的,对按一定策略找到的知识进行解释执行,并把结果记录到动态库的适当空间中去。 推理机的程序与知识库的具体内容无关,所以对知识库的修改不需要改动推理机。 纯粹的形式推理会降低问题求解的效率。因此一般采用推理机和知识库相结合的方法。...
    2 KB (276 words) - 03:24, 19 December 2021
  • 果。随后,逻辑程序设计得到了迅速发展,特别是基于一阶谓词的逻辑程序设计语言,将逻辑推理对应于计算,具有丰富的表达能力、非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等都有了广泛的应用。 刘富春. 关于逻辑程序不动点语义的讨论 22 (2). 2005年6月. ...
    3 KB (445 words) - 13:02, 10 February 2024