固安企业微信公众号小程序开发公司、固安企业网页设计方案、固安做网站开发价格、固安微信公众号制作运营报价明细表、固安网站设计公司费用、固安网站推广大概需要多少钱

固安企业微信公众号小程序开发公司、固安企业网页设计方案、固安做网站开发价格、固安微信公众号制作运营报价明细表、固安网站设计公司费用、固安网站推广大概需要多少钱

固安县，隶属河北省廊坊市。地处华北平原北部，京津保三角腹地，东经116°17'，北纬39°19'。东与永清县相连，西与保定的涿州市、高碑店市相邻，南与霸州市、雄安新区接壤，北隔永定河，与北京市大兴区相望。全县幅员面积696平方千米，下辖9个乡镇、1个省级园区，419个行政村，耕地65万亩，人口52万。 [1] 

固安地理位置优越。古有“天子脚下”之称，今有“京南明珠”美誉。距北京天安门50公里，距北京大兴国际机场8公里。

固安是京津冀实施“一线两厢”战略的“一线”前沿地带，也是廊坊城市建设“大三点”组团的重要支点。先后被国家有关部门授予“中国温泉之乡”、“中国花木之乡”、“中国钓具之乡”、“中国民间文化艺术之乡”、“中国矿泉水之乡”等称号。2014年，中国城市竞争力研究会18日公布了“2014中国县域成长竞争力排行榜”，廊坊市固安县跻身于50强，位居第42位，是河北唯一入围50强的县（市）。2015年，全国县域经济最具创新力十强排名，固安为河北唯一上榜的城市，位居第一。2018年11月，被科技部确定为首批创新型县（市）。 [2]  2018年12月，入选全国县域经济投资潜力100强。 [3]  2019年10月8日，入选2019年度全国投资潜力百强县市。 [4]  2019年度全国绿色发展百强县市，排名第82名。 [5]  2020中国夏季休闲百佳县市。 [6]  2020年5月，入选县城新型城镇化建设示范名单。 [7]  2021年3月，被授予 2020年河北省村庄清洁行动先进县（市、区）。

14.9.1　简化的推理规则

如果看过示例14.22中的证明，就可以得出以下根据基本原子公式和逻辑规则构建证明的策略。

1. 选择一条要应用的规则，并选择一种替换，将各个子目标转换成基本原子公式，这些基本原子公式要么是给定的事实，要么是已经证明的内容。在示例14.22中，我们用12345替换了S，等等。得到的结果就如示例14.22的第(4)行所示。

2. 为替换过的各个子目标创建证明中的行，要么因为这些子目标是事实，要么用某种方式推断出它们。这一步是示例14.22中的第(2)行和第(3)行。

3. 创建一行，表示与替换过的各子目标对应的那几行的AND。这一行是替换过规则的左部。在示例14.22中，这一步出现在第(5)行。

4. 利用肯定前件式假言推理、第(3)步替换过的左部，以及第(1)步替换过的规则，推论出替换过的右部。这一步就是示例14.22的第(6)行。

可以按照如下方式把这些步骤结合成一条推理规则。如果在前提中存在规则R，而且存在替换sub 满足在替换过的实例sub(R )中，各子目标都是证明中的行，就可以把sub(R )的右部添加为证明中的一行。

规则的诠释

和所有出现在证明中的表达式一样，规则也是因式全称量词化的。因此可以把(14.19)说成是“对所有的S、G、A 和P，如果csg("CS101",S,G )为真，而且snap(S,"C.Brown",A,P )为真，那么answer (G )为真”。不过，可以将出现在左部中但未出现在右部中的变量，比如S、A 和P，当作左部范围内的存在量词。正式地讲就是(14.19)等价于

(∀G )((∃S )(∃A )(∃P )(csg("CS101",S,G )AND snap(S,"C.Brown",A,P ))→answer(G ))

也就是说，对所有的G，如果存在S、A 和P 满足csg("CS101",S,G )和snap(S,"C.Brown",A,P )都为真，answer (G )就为真。

这种说法更接近我们应用规则的方式。它表示，对右部中出现的变量的各个值，我们应该试着找出只出现在左部中的变量使得左部为真时的值。如果找到这样的值，则右部对所选的右部变量的值而言为真。

要知道为什么可以把只出现在左部中的变量当作存在量词化的变量，首先从形如B→H 这样的规则开始，其中B 是左部，H 是右部。设X 是只出现在B 中的变量。这一规则隐含着如下形式

(∀*)(B→H )

而且根据法则(14.17)，可以让对应X 的量词位于最内侧，将表达式写为(∀*)(∀X )(B→H )。在此，(∀*)包含了除X 之外的所有变量。现在可以利用只使用NOT和OR的等价表达式，即(∀*)(∀X )((NOT B )OR H )来代替蕴涵式了。因为X 没有出现在H 中，所以可以反向应用法则(14.13)，从而让(∀X )只应用于NOT B，得到(∀*)(((∀X )NOT B )OR H )。接下来，利用法则(14.10)把(∀X )移动到否定内，就得出

(∀*)((NOT(∃X )(NOT NOT B ))OR H )

消除双重否定之后就是(∀*)((NOT (∃X )B )OR H )。最后，还原蕴涵就得到(∀*)(((∃X )B )→H )。

示例 14.23

在示例14.22中，规则R是(14.19)，或者说

(csg("CS101",S,G )AND snap(S,"C.Brown",A,P ))→answer (G )

替换sub 就如示例14.22中给出的那样，而且sub(R )的子目标是示例14.22中的第(2)和第(3)行。根据新的推理规则，可以立即写出示例14.22的第(6)行，而不需要第(4)行和第(5)行。其实，只要第(1)行（规则R 本身）是给定的前提，就可以从证明中省略掉它。

示例 14.24

再举个规则在证明中如何应用的例子。考虑一下图8-2b中的“课程-前提”关系，其中的8个事实可以用如下8个具有谓词cp 的基本原子公式表示。

cp(“CS101”,“CS100”)　cp(“EE200”,“EE005”)
cp(“EE200”,“CS100”)　cp(“CS120”,“CS101”)
cp(“CS121”,“CS120”)　cp(“CS205”,“CS101”)
cp(“CS206”,“CS121”)　cp(“CS206”,“CS205”)

我们可能希望另一个谓词before(X,Y )表示在选修课程X 之前必须修完课程Y。课程Y 可能是X 的前提，或是X 前提的前提，诸如此类。可以通过以下描述递归地定义“之前”的概念。

(1) 如果Y 是X 的前提，那么Y 在X 之前。

(2) 如果Z 是X 的前提，而且Y 在Z 之前，那么Y 在X 之前。

规则(1)和(2)可以表示为如下的谓词逻辑规则。

cp(X,Y )→before(X,Y )　　　　　　(14.22)

(cp(X,Z )AND before(Z,Y ))→before(X,Y )　　　　　　(14.23)

现在要来探索一些根据本示例开头部分给出的8条“课程-前提”事实以及规则(14.22)和(14.23)可以证明的before 事实。首先，可以应用规则(14.22)把各条cp 事实转换成相应的before 事实，得到：

before(“CS101”,“CS100”)　before(“EE200”,“EE005”)
before(“EE200”,“CS100”)　before(“CS120”,“CS101”)
before(“CS121”,“CS120”)　before(“CS205”,“CS101”)
before(“CS206”,“CS121”)　before(“CS206”,“CS205”)

例如，可以对(14.22)使用替换

sub1(X )=“CS101”
sub1(Y )=“CS100”

得到替换过的规则实例

cp(“CS101”,“CS100”)→before(“CS101”,“CS100”)

这条规则加上前提cp(“CS101”,“CS100”)，就给出了

before(“CS101”,“CS100”)

现在可利用规则(14.23)、前提cp(“CS101”,“CS100”)以及刚证明的事实before(“CS101”,“CS100”)，证明

before(“CS120”,“CS100”)

也就是，对(14.23)应用替换

sub2(X)=“CS120”
sub2(Y)=“CS100”
sub2(Z)=“CS101”

得到规则

(cp(“CS120”,“CS101”） AND before(“CS101”,“CS100”))→before(“CS120”,“CS100”)

然后可以推断出这一替换过的规则的右部，从而证明

before(“CS120”,“CS100”)

同样，可以对基本原子公式

cp(“CS121”,“CS120”)

和before(“CS120”,“CS100”)应用规则(14.23)，证明before(“CS121”,“CS100”)。然后对基本原子公式cp(“CS206”,“CS121”)和before(“CS121”,“CS100”)应用规则(14.23)，证明

before(“CS206”,“CS100”)

还有若干条其他的before 事实也可以通过同样的方式来证明。

固安企业微信公众号小程序开发公司、固安企业网页设计方案、固安做网站开发价格、固安微信公众号制作运营报价明细表、固安网站设计公司费用、固安网站推广大概需要多少钱