With the use of these rules, the efficiency of logic programming system and the semantics of logic programming language can be improved.
运用这些控制规则可以大大地提高系统的运行效率或改善逻辑程序的语义性质。
IT-owned semantic logic is by definition invalid; semantics are about the meaning of the business task.
根据定义，IT拥有的语义逻辑是非法的；语义涉及的是业务任务的含义。
After running the tool, the serer-side developer must implement the appropriate business logic to fulfill the semantics of the operations in the service definition.
在运行工具后，服务器端的开发人员必须实现正确的业务逻辑以执行该服务定义中的操作语义。
This type of service discovery is the most complex and unused, often because it requires complex client logic to dynamically interpret the semantics of an unknown service interface.
此类服务发现是最复杂和最不常用，一般原因是它需要复杂的客户端逻辑来动态解释未知服务接口的语义。
From the perspective of semantics and its definition of "logic truth", its subject promise is the possible world.
从语义学角度和它对“逻辑真”的定义看，它的本体论承诺是可能世界。
In essence grammar is the integration of language habits and the logic of semantics.
语法的本质实际上就是语言习惯与语义逻辑之间的整合。
Those results describe the characterizations of interior structures of those algebras, and also offer a new way for further researching lattice-valued logic systems from the semantics.
其结果描述了这些代数内部结构的特征，同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径。
Therefore the selection of clausal grammatical subject is not a question of grammar or logic, but a question of semantics.
因此分句语法主语的选择不是语法的，也不是逻辑的，而是语义的。
The basic approaches of journalism study include: those of philosophy, logic, semantics, history and a combination of quantitative and qualitative analysis.
新闻学研究的基本方法包括哲学和逻辑学的方法、语义学的方法、历史的方法、定量定性分析结合的方法等。
As the semantics model of logic program, the matching rule of new lymphocytes is to compute the stable model of lymphocytes and antigens.
基于逻辑程序的稳定模型语义学，用稳定模型语义计算作为新的淋巴细胞的匹配算法。
According to the theory of logic semantics and culture pragmatics, there exist inter-cultural presupposition and Tran cultural presupposition.
本文根据逻辑语义学理论和文化语用学理论说明在广告语篇中存在着文化内预设和跨文化预设。
Secondly, a new semantics of pbl-normal probabilistic modal semantics is given, which is a new semantics suited for modeling probabilistic modal logic.
其次为PBL建立了一种正规概率模态语义，这是一种适于刻画概率模态逻辑的语义模型。
Thenotion of deductive validity can be rigorously stated for systems offormal logic in terms of the well-understood notions of semantics.
这一概念的演绎有效性可以说严格的系统的形式逻辑而言，良好的理解概念的语义。
In order to analyze the non-repudiation and fairness properties under one frame, a set of first-order logic syntax and semantics for non-repudiation protocols was proposed, and a model was built.
为了将密码协议的非否认性和公平性统一在一个框架之下更好地进行分析，提出了一套适用于分析非否认性和公平性的一阶逻辑语法和语义。
Considering the characteristics of the entity authentication protocol, augment semantics SVO logic was used to describe its rationality and analyze its operation, and a flaw was found.
考虑该实体认证协议的特点，采用改进语义的SVO逻辑对其进行合理性描述，并对其运行过程进行形式化的具体分析，发现该协议在认证过程中存在着双方认证不确定的缺陷。
The propositional structure is a new perspective of researching sentence meaning, and the approach to it should be based on the combination of syntax, semantics, logic and text linguistics.
命题结构是句子语义研究中的一个新的视角，须结合句法学、语义学、逻辑学、篇章语言学等理论进行交叉分析。
The thesis researches on the characteristics of business contract concerning structure, logic and semantics.
因此，本文分析研究了外贸合同在结构和逻辑——语义两方面的篇章特点。
Furthermore, in ordered stratified logic programs, all of the nine answer set semantics become the normal answer set semantics.
在层次逻辑程序中，该类回答集语义都退化为普通的回答集语义。
This paper provides an intuitive and easily understandable overview of some fundamental ideas in the area of theoretical computer science, especially those related to logic and semantics.
本文对理论计算机科学，特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述，旨在使上述思想能为希望在该领域开拓视野之士敞开大门。
At first, the notion of hedges used to be an object of study in logic and semantics.
模糊限制语这个概念最早属于逻辑学和语义学白勺分析范畴。
At first, the notion of hedges used to be an object of study in logic and semantics.
模糊限制语这个概念最早属于逻辑学和语义学白勺分析范畴。
应用推荐