1) axiomatic semantics
公理语义
1.
The axiomatic semantics of UNITY language is specified with UNITY logic;and this specification language can also be naturally transplanted to GAMMA model.
ＵＮＩＴＹ开发了一种公理语义规范语言，即ＵＮＩＴＹ逻辑，描述和推导程序的特性。
2) semantic axiom
语义公理
3) axiomatic semantics
公理化语义
4) semantic formulas
语义公式
5) semantic reasoning
语义推理
1.
Knowledge Representation and Semantic Reasoning of Mandarin Fish Disease Diagnosis Based on Ontology and SWRL
基于本体与SWRL的鳜鱼疾病诊断知识表示与语义推理
2.
MISKSS organizes the knowledge semantically,gives semantic search and semantic reasoning system to missile instances of weaponry.
它将武器装备中导弹实体进行了语义化组织、语义查询、语义推理,其目的是通过以导弹领域本体的构建过程作为例子,其他的飞机、舰艇等的领域本体的构建过程与此类似,综合形成武器装备领域本体的知识服务系统,为军队装备科技提供准确、权威、及时、持续的信息资源保障及决策支持。
3.
Secondly, introduced the Ontology, Semantic Reasoning, Topic Semantic Comparability(TSC) and Ant Colony Alg
本研究旨在面向农业知识服务探索一种基于蚁群算法的语义推理模型,为构建新的农业知识智能搜索工具提供基础方法的支撑,从而提高农业知识组织、管理和服务的水平。
6) semantic inference
语义推理
1.
A three level semantic inference scheme was developed for video analysis and used for event recognition in sports videos.
为了对视频内容进行语义级别的事件分析和索引 ,进一步满足用户访问大规模体育视频库的需求 ,提出一种 3层次的视频语义推理方案。
2.
This paper advances the model framework of information retrieval system based on ontology, and researches the ontological construction technology and semantic inference technology in the information retrieval system.
提出了一个基于本体的信息检索系统的模型框架,研究了信息检索系统中本体的构建技术和语义推理技术。
补充资料：公理语义
公理语义
axiomatic semantics
1尺}、1{Q}，}Q}:2{T! {尺}(:l;:2){Tl来规定顺序语句的语义。公理系统中的推理规则表示当横线上方的命题都成立时，则横线下方的命题亦成立。人们可使用不同的R，T来表示自己所了解的有关语义。 其他语言成分的公理语义也是用公理和推理规则类似地给出，但有的成分(如过程调用等)的语义，比起上述语句的语义要复杂得多。 论证一个程序是否具有某种含义的过程和论证一个程序是否具有某种特性的过程是完全一致的。故公理语义学是程序正确性研究的理论基础。程序验证的研究也进一步促进公理语义学的发展。 寻求适用于描述程序语义，且便于语义推导的逻辑语言是公理语义学研究的一个重要方面。20世纪70年代出现了使用时态逻辑来定义语言的语义，称为时态语义。另外如动态逻辑、算法逻辑在语义学中的应用，也都在发展之中。gongl一yuy-公理语义(ax10幻natic semantlcs)运用数学中的公理化方法给出的计算机语言的语义。不同的人在了解程序的含义时有不同的要求。例如，有的人只关心程序的数据输人和输出，而不关心程序是否正确终止。公理语义就是研究如何将这些不同的要求形式化，并根据这些要求严格给出程序设计语言的语义。 1967年美国R.w.Floyd提出描述人们所关心的程序含义，以及如何去论证一个程序是否具有某种含义的数学方法，1969年英国C.A.R.I」i刀re首次用公理系统定义了一类程序设计语言的语义。1975年荷兰E.w.伪地tra提出基于最弱前置条件的公理语义描述方法。 在定义语言的公理语义时，必须先给出描述所关心的程序语义的形式化方法，然后建立公理系统，规定语言成分的有关语义。如果用一个程序尸去计算自然数的阶乘，这个程序中的变量x在程序开始执行时，存放用户输人的自然数值k;而在程序执行终止时，存放要输出的结果。用户关心的是程序尸计算的结果值是否确是输人值的阶乘。在公理语义中，使用公式{x=k}尸lx=k!}表示程序尸的这一部分含义;若P执行前x的值等于k，则尸执行完毕后x的值等于k!。程序尸执行前的条件{x二州称为P的前置条件，执行后的条件{x二划{称为尸的后置条件。这类公式称为归纳命题。一般地说，归纳命题用{R}P{Q}表示;若程序尸执行前，其程序变量的值满足前置条件R，则程序尸执行完毕后，其程序变量的值满足后置条件Q。归纳命题用来作为描述程序语义的工具，公理语义就是用归纳命题的公理系统来定义程序语言的语义。 执行赋值语句(x:=。)的结果是将程序变量二的值变为执行该语句前表达式e的值。也就是说，执行该语句后x的值等于执行该语句前表达式。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条