另一个具有有效推理系统的谓词逻辑的子集包含一个所谓的规则系统(rule systems),也叫Horn logic或 definite logic programs。一条规则具有如下形式:
基于38个网页-相关网页
Production Rule System 产生式规则系统 ; 生产规则系统
formal rule system 形式规则系统
a rule system 规则系统
hierarchical rule system 层次化规则体系
rule-based system [计] 基于规则的系统 ; 以规则为基础的系统
law rule system 法律规则体系
shared-rule system 共治体系
business rule system 业务规则系统
seniority rule system 年资工资制
Administrative monopoly is a kind of form of monopoly, it is a important object of antimonopoly law rule system.
行政垄断是垄断的一种形态,是反垄断法所规制的一个重要对象。
参考来源 - 我国行政垄断的危害与法律规制(研究生论文)·2,447,543篇论文数据,部分数据来源于NoteExpress
The compliance mechanism of Kyoto Protocol is composed of three parts, the primary rule system, the compliance information system and the non-compliance response system.
《京都议定书》遵约机制的主要内容包括基本规则体系、遵约信息体系和不遵约反应体系三部分。
The traditional Analytical School thinks the law rule is a self-sufficient logic system, and the law rule system oneself was certain and united to provide an explicit answer.
传统分析法学派认为法律规则是一个自给自足的逻辑体系,法律规则自身是确定与统一的并提供了明确的答案。
But none appears to have the combinatorial rule system of human language, in which symbols are permuted into an unlimited set of combinations, each with a determinate meaning.
但是没有一个像人类一样使用复合的规则系统,在这个系统里面,有无数的组合形式,每个组合含有一个特定的意义。
应用推荐