非精确谓词逻辑推理论文

非精确谓词逻辑推理

潘文全

摘 要 ：非精确概率逻辑是经典命题逻辑的扩张，因为它的元性质都是由命题逻辑的元性质推广而来的。自然扩张推广了命题逻辑的演绎过程；融贯性推广了命题逻辑的演绎封闭且一致。但是如何把谓词逻辑同非精确概率结合起来，以形成非精确谓词逻辑？为了让IP概率逻辑能够表达谓词，必须另辟蹊径。通过在状态描述上引入非精确概率，然后把非精确概率扩展到QFSL ，进而通过IP推理的自然扩张扩展到SL 上。这样就实现了非精确概率同谓词逻辑的结合，得出了非精确概率谓词逻辑推理。换言之，通过把主观主义嫁接在卡尔纳普的逻辑主义之上，可以实现这一步。

关键词： 赌局；非精确概率；自然扩张；谓词逻辑

1 导言

非精确概率逻辑是经典命题逻辑的扩张，是一种非经典归纳逻辑。国外对它的研究比较充分。但没有引起国内学界的充分关注，研究也比较薄弱。本文试图通过刻画其元性质分析其逻辑机制，初步探讨其哲学基础，展示其特异性和理论优势。

假设X 是一个可能空间，在X 上可以定义一个有界实值泛函f ，即赌局，X 上的所有赌局构成赌局集L (X )。主体对f 的下界预期被定义为它对f 的上确界可接受购买价格：是最大价格s ，满足对于任意t<s ，在观察到赌局f 的结果之前主体接受支付t 购买f （当观察到赌局f 的结果是x之后，主体确保能得到f (x )的收益）。所以主体只需要考虑是否接受形如f−µ 的有界赌局，主体确定了赌局f 的下界预期，等价于它接受所有有界赌局f− +ε,ε> 0。同样的，主体对f 的上界预期P (f )直接被定义为它对f 的下确界可接受出售价格：是最小价格s ，满足对于任意t>s ，主体在观察到赌局f 的结果之前接受以t 卖出f （当观察到赌局f 的结果是x 之后，主体保证失去f (x )的收益）。当，且就是自我共轭的，此时就用P 代替 和P ，P 被简称为一个预期。P 表达就是主体对有界赌局f 的公平价格：它接受以任何价格s<P (f )购买f ，且接受以任何价格s>P (f )出售f 。

如果把一个事件看成是X 的某个子集A ，事件的指标赌局

就是一个有界赌局，所以把指标赌局等同于对应的事件。特别的，把I_A 的下界预期表示为它被叫作事件A 的下界概率，如果的定义域只包含指标赌局，它就被叫作下界概率。类似的，把I_A 的上界预期表示为，它被叫作事件A 的上界概率，如果的定义域只包含指标赌局，就被叫作上界概率。如果P 是一个自我共轭的预期，那么P (A )被叫作A 的概率，如果P 的定义域只包含指标赌局I_A 和它的否定−I_A ，它就被叫作一个概率。

非精确概率推理（简写为IP推理）如何进行呢？推理都是从前提开始的，假设存在一个主体接受的前提集Γ，首先需要把这些前提转换为下界预期它就是IP推理的前提。在经典逻辑中，推理之前需要判断前提是否具有一致性，对应的IP推理也需要首先判定是否避免确定损失（它推广了一致性）。如果对于任意n∈ N，中的任意赌局满足，则避免确定损失（一致的）。如果是一致的，那么就能进行推理了，经典逻辑通过反复使用MP规则来进行推理，而IP推理则是通过自然扩张来实现的。假设是一致的且,f∈L (X )，下界预期被叫作的自然扩张，通过自然扩张就能得出所有赌局的上界预期和下界预期。很明显，如果是下界概率，通过就能推出所有事件的下界概率，如果是概率，通过就能推出所有事件的概率。在通过自然扩张进行推理之后，如果这就意味着主体在确定前提时，没有充分考虑到其它前提的行为后果，所以自然扩张修正了前提。如果前提没有这种缺陷，它就是融贯的（coherence），即避免确定损失且它是的限制，很明显是融贯的。

一个下界预期是自我共轭且融贯的，它就被定义为一个线性预期，X 上的所有线性预期构成集合P。特别的，线性预期的自然扩张被叫作线性扩张，它是一个定义在上的线性预期。假设存在两个下界预期 和 ，如果那么Q 控制（dominate）

很多时候，下界预期没有预期方便处理，所以在下界预期和预期之间构建一个过渡桥梁将是有益的。

定义1. 对于任意下界预期 它等价于所有控制 的线性预期的集合

为了能够处理信念，有的研究者认为经典逻辑的唯一合理扩张是概率测度（[5]，第3-25页；[6,7]），依据上面的结论，可以得出这个论断是不正确的。所以精确概率理论的力量不足以完成推广经典命题逻辑的任务，但是融贯下界预期理论可以。

这个桥梁相当重要，以至于可以采用经典概率的理论来处理非精确概率，同时也可以用经典概率来表达非精确概率推理。

命题1. 令 是任意下界预期，那么

为进一步使企业文化走进校园，深入广大学子内心深处，天业集团不断创新拓展方式方法，一直在不停探索更新更好、更融合校园与企业、企业与学子的新途径。今年5月，在得知石河子大学准备举办第三届化学知识竞赛的消息后，天业集团慷慨出资，支持赞助石河子大学举办本次比赛。

(1) 避免确定损失当且仅当

为了在L 上讨论IP，首先需要在SL 上定义IP。

命题(2-1)把融贯性同真滤联系起来了，命题(2-2)把线性预期同超滤联系起来了。进一步推广命题2就可以得到下述命题。

2 非精确命题逻辑推理

假设X 是一个可能空间，℘ (X )是X 的幂集。某个F⊆℘ (X )被叫作一个滤，如果

1.F 是递增的：如(A∈F )∧ (A⊆B )，那么B∈F ；

2.F 在有穷交下是封闭的：如果(A∈F )∧ (B∈F )，那么A∩B∈F 。

当F⊂℘ (X )时，F 被叫作真滤，所有的真滤构成集合。如果某个真滤U 不是任何其它真滤的子集，那么它就是超滤，所有的超滤构成集合。

在产能建设效益、效果上，青海油田明确“产量优先、进站优先、压裂优先”的产建思路，强调地面与地下同步规划、同步实施，做到新投一口、进站一口。通过有效衔接钻井作业、新投施工、地面配套等环节，实现投产周期较往年缩短11天，进站周期缩短22天，保障新井产量贡献。在11月中旬冬供峰值来临之前，油田天然气产能建设已完成工作的78%，日增气超过200万立方米。

对于某个集合，如果的元素之间满足下述二元关系 ：

则就是一个有向集（Directed Set）。有向集到集合的一个映射f :→ 被叫作网（Net）。如果=，f 被叫作实网。假设带有一个拓扑空间，对于y∈ 的任意开集O ，如果总是存在某个满足(∀αα_O )(f (α )∈O )，那么网f 收敛到元素y 。为了方便叙述用f_α 代替f (α )。真滤F 就是一个有向集，在F 上可以定义网。

运用滤和超滤可以把经典命题逻辑和{ 0, 1} -值下界概率联系起来，即把命题逻辑嵌入到融贯下界预期理论中。

为了描述的方便，假设关于“变量f 取值”的命题都位于X 中，那么这些命题与X 的子集就具有了一一对应的关系：一个关于“f 取值”的命题就是一个下述形式的陈述“对于X 的某个子集A 而言，f∈A ”。对于任意命题系统L ，通过L 的Lindenbaum代数上的Stone表示定理可以把L 嵌入到下界预期理论中（[2]）。此外一组信念就是一个被主体认为是真的命题集，也是主体认为将会发生的事件集，在这里就是X 的子集C 。那么C 与命题集具有下述四种对应关系：

1.一个命题集是演绎封闭 的（如果它在有穷合取和MP下是封闭的），即对应的事件集C 是滤（在有穷交和递增下封闭）；

2.给定一个命题集，它的演绎闭包 是包含它的最小演绎闭集，如果用事件集来表示的话，就是包含C 的最小事件滤，即

沴，殄也。凡貌、言、视、听、思心，一事失，则逆人之心，人心逆则怨，木、金、水、火、土气为之伤。伤则冲胜来乘殄之，于是神怒人怨，将为祸乱。故五行先见变异，以谴告人也。及妖、孽、祸、疴、眚、祥，皆其气类暴作非常，为时怪者也。各以物象为之占也。［8］3267

3.一个命题集是一致的 （如果它的演绎闭包是所有命题构成的集合的严格子集），等价地，一个事件集C 是一致的当且仅当它的演绎闭包是真滤，即因此所有真滤构成的集合对应于所有演绎封闭且一致的事件集所构成的集合。

4.一个命题集是演绎完全的 （如果往此集合中再加入任何其它命题就会导致不一致），这就意味着事件集是演绎封闭且完全的当且仅当它是超滤。

所以使用滤可以表达命题逻辑。但是滤如何同下界预期联系起来呢？

安宫牛黄丸联合化学药治疗重型颅脑损伤及影响患者外周血Mg2+浓度的Meta分析 ……………………… 涂 淮等（1）：121

首先需要考虑的是下界预期能否表达命题逻辑的语言。如果p 是关于随机变量f 取值的某个命题，那么p 就对应于X 的子集A_p ，这样就在命题和X 的子集之间就建立了一一对应的关系，即主体接受命题p 当且仅当它接受有界赌局I_Ap− 1+ε,ε> 0，

如果主体愿意接受以任意严格小于1的赔率在事件“A_p 即将发生”上下注，这就说明主体确定A_p 即将发生，即确定f 的取值属于A_p 。在融贯的条件下就可以表达出命题逻辑的五种真值运算。

主体接受了命题p 当且仅当它接受有界赌局I_Ap− 1+ε （ε> 0)。如果主体是融贯的，它就不会接受有界赌局−I_Ap +1−ε （ε> 0)，即不会接受命题¬p 。这就表达出了逻辑否定。

式中：t为模型计算时间；u、v分别为潮流流速沿x、y方向的分量；h为无波浪情况下的静水深；ζ为波浪作用引起的水位变化值；f为柯氏参数；g为重力加速度；Ex、Ey分别为风荷载黏性系数在x、y方向的取值；τbx、τby分别为潮流剪应力沿x、y方向的分量。

主体同时接受了p 和q ，即同时接受I_Ap− 1+ε 和I_Aq− 1+ε （ε> 0)，由融贯性得出它也会接受这两个赌局的和，即接受I_Ap +I_Aq− 2+2ε （ε> 0)。因为I_Ap +I_Aq− 2≤I_Ap +I_Aq− 1≤I_Ap∩Aq ，由融贯性得出主体接受I_Ap∩Aq ，即接受p∧q （从p∧q 得出A_p∧q =A_p∩A_q ）。这就表达出了经典命题逻辑的合取规则。

主体接受了p 和p→q 。由于p→q 对应于A_p⊆A_q ，那么I_Ap− 1+ε≤I_Aq− 1+ε ，由融贯性得出主体接受I_Aq− 1+ε （ε> 0)，即主体接受q 。这就表达出了经典命题逻辑的MP规则。

逻辑推理要避免矛盾，如果主体同时接受p,¬p ，就意味着同时接受I_Ap− 1+ε 和I_A¬p− 1+ε （ε> 0)，那么它也会接受这两个赌局的和，即I_Ap− 1+ε +I_A¬p− 1+ε =− 1+2ε （ε> 0)，这就违背了避免确定损失，从这里也可以看出经典逻辑的一致性对应于避免确定损失。所以这就表达出了逻辑矛盾。

这样就能表达出命题逻辑的所有合式公式。那么如何用IP推理来表达命题逻辑的推理呢？

考虑任意非空事件A⊆X ，假设主体只知道A 一定会发生，即f∈A 。这时如何刻画主体的信念？因为主体确定A 一定会发生，所以它就愿意以任何赔率对此事件下注，即它将接受有界赌局I_A− 1+ε （ε> 0)。这就得到了定义域为{I_A} 的下界概率

大豆的根属于直根系，由主根、侧根和不定根3部分组成。主根是由种子中的胚根伸长而成，侧根是由主根产生的分枝，由主根直接生长而成的根为一级侧根，一级侧根产生二级侧根，依次类推，每级侧根都有与主根相似的形态特征。L系统在描述具有自相似的植物拓扑结构和生长规律上具有很大优势，为计算机模拟植物的真实感图形提供了强有力的工具，本文采用L系统进行大豆根系模型构建。

显然此下界概率是融贯的，它的自然扩张被表示为

2018年发展对象住建局办公室副主任王芳每次驿站活动结束后，都会写下心灵感悟。她在纪事本上写道：“我要珍惜难得机会，在驿站不断锤炼自己、让自己慢慢成长。”

被叫作关于A 的空下界预期，它是主体只知道“A 将会发生”的推理模型。

进一步推广上述思想。考虑事件集C⊆℘ (X )，假设主体确定C 中的任意事件都会发生——它愿意以任意赔率对这些事件下注，但是它对于其它事件一无所知——它只愿意以0赔率对这些事件下注。这就得到了定义在{I_A :A⊆X} 上的下界概率

乌村是独立于乌镇东西栅的高端乡村旅游度假区，是乌镇旅游股份有限公司的又一新品牌。古镇旅游开发基本上靠门票经济，除此之外就是购物与餐饮，经营的业态比较单一。而乌村围绕江南农村村落特点，内设酒店、餐饮、娱乐等一系列的配套服务设施，主打“一假全包”，所以在乌村吃住方面就不存在二次消费。为了创造额外收入，就需要从其他方面入手，童玩馆精品店就是其他收入的重要来源。

同样地，如果用C⊆ (X )来定义概率而不是下界概率时，就得到了一个自我共轭的评估，这使得在负不变的定义域C =∪_A⊆X{I_A,−I_A} 上定义概率Q_C 成为可能：

此时主体不仅愿意以任意赔率对C 中的事件下注，而且不愿意以任意赔率对C 外的事件下注。

如果想要对应的（下界）概率避免确定损失和融贯性，必须满足什么条件呢？对于任意有界赌局考虑定义在F 上的实网这里是关于A 的空下界预期。因为有上界supf ，而且是非递降的——如果A⊇B 则，所以它收敛到某个实数：

这就得到了定义在L (X )上的下界预期。因为它是融贯下界预期的逐点极限，所以也是融贯的。

WJD-0.75电动铲运机是武山铜矿井下主要采掘设备之一，承担南、北矿带大部分矿石及废石铲装任务。电缆托辊是电动铲运机运行时实现电缆顺利收放的装置［1］，但在使用过程中，由于电缆托辊磨损、轴承损坏或受到外部撞击，则需更换托辊。在实践更换时，维修难度大、维修时间长，特别是更换水平托辊时，还需多人配合才能完成，影响井下作业点正常生产组织。因此，通过对电动铲运机电缆托辊安装结构进行分析，提出了托辊支架的结构改进措施。

如何解释融贯下界预期 ？它刻画了什么信念？对于∀A∈F ，都可以得到关于A 的空下界预期 ，它表示主体相信f∈A 。当A 在有向集F 中“变小”时， 就变得更加精确，如果取极限，就得到了融贯下界预期 ，它表示主体相信(∀A∈F )(f∈A )。

4.部分入党积极分子态度不够端正。突出表现在理论基础薄弱，党性观念不强，对党的认识停留在表面。每季度以书面形式递交的思想汇报内容空泛，空话、套话、假话较多，要么罗列多个问题泛泛而谈，要么长篇大段地抄录党章、工作报告或报刊、网络文章等。对自己存在的缺点和不足分析较少，或者分析肤浅、认识片面。总体而言，应付的成分居多，并非自己思想的真实流露。部分入党积极分子还存在心态失衡现象，存在“等靠”思想，认为迟早都会被发展为党员，对自己的要求不高，学习的积极性不强，要求思想进步的愿望不够迫切，不能积极主动地向党组织靠拢。

命题2. 令F 是一个真滤，那么

(1) 是L (X )上的融贯下界预期；

命题4. 令F 是一个真滤，那么对于∀f∈L (X )而言（[9]），

婴幼儿尽可能避免接触呼吸道感染的患者，避免到人多空气污浊的环境中去，家中有患呼吸道感染性疾病的成人要尽量避免亲密接触年幼的孩子，如需接触要洗手戴口罩。

(3)如果 避免确定损失，那么它的自然扩张L (X )。（[9]，第1-76页）

命题3. 令C⊆℘ (X )且考虑下界概率 和概率 ：

(1)避免确定损失当且仅当C 满足有穷交：

(2)是融贯下界概率当且仅当C 是真滤；

(3)Q_C 是融贯概率当且仅当C 是超滤。（[9]）

在命题逻辑的推理中，首先要做的是判定前提是否具有一致性，当把命题转换成非精确概率的语言后，首先要判断的是前提是否避免确定损失（即一致性）。命题(3-1)把避免确定损失同集合的有穷交联系起来了，相当于给出了判定避免确定损失的另一种办法。命题(3-2)和(3-3)分别是命题2两个小命题的推广。当前提一致了，如何推理呢？

(2) 是线性预期当且仅当F 是超滤。（[9]）

这里使用真滤给出了和的另一种计算方法。这种方法不同于自然扩张，在F 或者℘ (X )/F 的基数很小的情况下，可以大大简化计算量。它同自然扩张有什么关系？

命题5. 如果F 是X 上的真滤，U 是X 上的超滤，那么

(1)是把融贯下界概率扩张到所有有界赌局上的唯一融贯下界预期，即就是的自然扩张；

(2)P_U 是把融贯概率Q_U 扩张到所有有界赌局上的唯一线性预期，即P_U 就是Q_U 的自然扩张。（[9]）

有了这个定理以后，就能轻松地进行推理了，即把推理中的前提转换成，通过自然扩张轻易地计算出结论的真假值。

命题集（事件集）和下界预期之间具有什么样的形式联系呢？如果主体相信一个命题是真的，即它相信对应的事件将会发生，那么它将愿意以任何赔率在此事件下注，所以它确定此事件的下界概率是1。也就是说，在主体认为事件都会发生的评估C 中和下界概率之间存在一一对应：

在这种特殊的意义上，经典命题逻辑的推理等同于使用{ 0, 1} -值下界概率的推理。因为后者是下界预期的一种特殊推理，所以经典命题逻辑可以被嵌入到融贯下界预期理论中，即融贯下界预期理论是经典命题逻辑的推广。

将上述参数设置之后，将设计的PLC程序重新烧录到PLC中，将组态监控程序烧录到触摸屏中。用MPI电缆将两设备连接，再次通讯，通讯成功触摸屏界面数值显示窗口的数据显示为“00000”。

相反的，对于任意的线性预期集M ，它等价于一个下界预期

3 非精确概率谓词逻辑推理

在上一部分，把命题逻辑嵌入到非精确概率逻辑中起到关键作用的是Lindenbaum代数上的Stone表示定理，它把命题转换成子集，用集论运算来刻画命题演算，但是集论运算不能表达谓词，因此同样的思想不能把谓词逻辑和IP连接起来。但是把卡尔纳普的逻辑主义同主观主义相结合可以实现这一步。

首先定义一个一阶语言L ，它具有变量x ₁,x ₂,... ，关系符号R ₁,...,R_q （分别具有有穷多个变元r ₁,...,r_q ），常量a_n ，n∈ ，没有函数符号和等号。令SL 表示L 的一阶语句集，QFSL 表示L 的无量词语句集。令T L 表示L 的带有全集{a ₁,a ₂,...} 的模型集，很明显a_i 被解释为a_i 本身。如果Γ⊆SL 是一致的，并且在Γ中的任意语句都没有涉及无穷多个常量a_i 时，那么存在M∈T L 满足

3.1 从状态描述到SL 的IP推理

(2) 是融贯的当且仅当

定义2. 函数w_i :SL→ [0, 1]（i∈ ）是SL 上的概率函数，如果对于任意θ,ϕ,∃xψ (x )∈SL ，w_i,i∈ 满足

这个定义是很直观的，虽然概率函数有无穷多个，但是w_i 定义在SL 上，它必须满足三条直观的限制：一、如果某个语句是定理，那么它的概率必须为1（即P1）；二、如果两个语句互斥，那么这两个语句析取的概率等于这两个语句的概率和（即P2）；三、语句的概率等于满足此语句的个体的概率和（即P3）。

命题6. 假设主体的信念被表达为w_i :QFSL→ [0, 1],i∈ ，那么它不能被荷兰赌。（[8]，第30页）

命题7. w_i :QFSL→ [0, 1],i∈ 是QFSL 上的概率函数，当且仅当 =inf_{i∈ N}w_i 避免确定损失。

证明. (⇒ )假设w_i 是QFSL 上的概率函数，那么w_i 不能被荷兰赌，即w_i 避免确定损失，那么 避免确定损失。

如果 避免确定损失，那么w_i 避免确定损失，即w_i 不能被荷兰赌（[10]），所以w_i 满足P1、P2、P3（[8]，第27页）。所以w_i 是QFSL 上的概率函数。

命题8. 假设一簇概率函数 :QFSL→ [0, 1],i∈ ，对于任意θ,ϕ∈QFSL ， 都满足P1、P2。那么 就具有唯一扩张到SL 上的概率函数w_i ，并且对于任意θ,ϕ,∃xψ (x )∈SL ，w_i 满足P1、P2、P3。

对于任意T，当0≤t1

证明. 假设 是定义在QFSL 上的任意概率函数，对于任意θ∈QFSL 而言，所有的T L 子集

可以生成一个集合代数A 。且把定义为

很明显，它是A 上的有穷可加测度。

此外是一个前测度。假设θ,ϕ_i∈QFSL,i∈ N，[ϕ_i ]不相交，且

那么一定存在某个有穷的n 满足

否则的话，即存在某个模型要么只能满足θ，要么只能满足那么

是有穷可满足的，通过谓词逻辑的紧致性定理，(3)在L 的某个模型上将是可满足的，尽管这个模型不一定在T L 中，但是它的一个特殊子模型——集合为{a ₁,a ₂,...} 的子模型——一定在T L 中，那么此子模型将满足(3)的所有公式，当然也满足θ ，由(1)得出也将满足{ϕ_i|i∈ N} ，矛盾。

由于[ϕ_i ]不相交和(2)，那么[ϕ_i ]=∅,i>n ，所以，因此

所以是一个前测度。

由A 可以产生σ -代数B ，通过Caratheodory扩张定理（[1]），存在唯一的定义在B 上的扩张u_wi 。注意对于∃xψ (x )∈SL

因为B 在补运算和可数并下封闭，所以它包含了所有集合[θ ],θ∈SL 。

现在可以在SL 上定义一个函数w_i

注意因为u_wi 扩张了，所以w_i 也扩张了。因为u_wi 满足P1和P2，所以w_i 也满足。由于u_wi 是可数可加的，且(4)，得出w_i 满足P3。

w_i一定是满足P1、P2和P3的唯一扩张，如果还存在其它的扩张函数很显然假设且只有个体a₁满足则

矛盾。

命题9. 假设存在一簇概率函数那么自然扩张

证明.假设存在一簇概率函数由命题8得出具有唯一扩张到定义在SL上的概率函数w_i。因为w_i是的Caratheodory扩张，所以得出由命题7得出避免确定损失，由命题1得出

命题9表明了Caratheodory扩张和自然扩张的关系，即Caratheodory扩张是自然扩张过程中最关键的一步。假设存在一个前提集它被表示为通过定义1把它转换为精确概率函数的集合，然后对每个精确概率函数进行Caratheodory扩张，最后再通过定义1把Caratheodory扩张后的精确概率函数转换成下界预期，即所以自然扩张包含了Caratheodory扩张。

定义3. 假设存在一个概率函数

这里

此定义的直观意思是对于T L中的某个模型M而言，如果模型M满足θ，那么V_M(θ)取值为1，即θ在M中为真。如果M不满足θ，那么V_M(θ)取值为0，即θ在M中为假，所以V_M(θ)是一个二值的概率函数。

对于任意而言，令是由所有生成的σ- 代数，u是B上的可数可加概率，那么

在SL 上定义了一个概率函数。

命题10. 假设w_i,i∈ 是SL 上的一簇概率函数，那么在集合代数B 上存在一簇可数可加测度u_wi,i∈ 满足

证明. 如果令，那么从命题8得出存在一个B 上可数可加测度µ_ui 满足对于任意θ∈SL

通过唯一性得出u_i 必须等于w_i ，那么就得到µ_wi =µ_ui ，则

命题10的直接结论就是“主体对语句θ 的非精确赋值问题”等价于“主体对T L 的Borel子集A的非精确赋值问题，即如何挑选µ_wi (A )”。但是主体如何挑选的问题又是一个统计问题，而不是一个逻辑问题，所以这就不是这里所关心的问题了。

综上，为了确定SL 上的非精确概率函数，只需要确定这些函数在无量词语句上的赋值就够了。简单地说，令L 是默认的语言，它带有常量a ₁,a ₂,... ，还带有参数数量分别为r ₁,...,r_q 的关系符号R ₁,...,R_q 。对于来源于a ₁,a ₂,... 的不同常量b ₁,...,b_m 而言，一个关于b ₁,...,b_m 的状态描述就是下述形式的L 语句

这里任意c_ri∈{b ₁,...,b_m} ，因此c ₁,...,c_ri 可能重复。±R_i 要么表示R_i 要么表示¬R_i 。大写字母Θ, Φ, Ψ,... 被用来表示状态描述。

一个关于b ₁,...,b_m 的状态描述表明：对于关系符号R_i 和来源于b ₁,...,b_m 的任意常量而言，那些R_i (c ₁,...,c_ri )成立，那些不成立。此外任意两个关于(b ₁,...,b_m )的状态描述都是互斥的，因为它们的合取是不一致的。

例1. 为了表达世界杯比赛，令L 有二元关系符号W (赢球)、L (输球)、D (平局)，两个常元a ₁,a ₂（代表两个球队），那么W (a ₁,a ₂)∧¬L (a ₁,a ₂)∧¬D (a ₁,a ₂)就是一个关于a ₁,a ₂的状态描述，通过它就能得出¬W (a ₁,a ₂)是假的。

通过析取范式定理（[4]），任何θ (b ₁,...,b_m )∈QFSL 都逻辑等价于一个关于b ₁,...,b_m 的状态描述的析取，

因为状态描述都是互斥的，所以

从这里就可以看出：通过概率函数w_i,i∈ 确定了在状态描述上的非精确取值，就可以确定它在QFSL 上的取值，再通过命题8就能确定它在SL 上的取值。

从形式上来看就是，如果w_i,i∈ 是定义在状态描述Θ(a ₁,...,a_m ),m∈ 上的函数，它满足：

那么通过(5)

（这里k 足够大以至于b_i 都在a ₁,...,a_k 中），w_i,i∈ 就可以扩张成QFSL 上的概率函数，进而扩张成SL 上的概率函数。有了定义在SL 上的一簇概率函数w_i,i∈ ，通过定义1就能得到定义在SL 语句上的下界预期 。

以上就是用经典概率语言表达的非精确谓词逻辑，但是通过命题1也能得到用IP语言表达的非精确概率谓词逻辑。假设确定了概率函数w_i,i∈ 在所有状态描述上的取值，这就相当于确定了在所有状态描述上的线性预期P ，然后再对 进行线性扩张，得到了定义在SL 上这种方法和命题8的方法是等价的，因为线性扩张包含了Caratheodory扩张。（[3]）

例2. 在例子1中，所有的状态描述是X ={ω ₁,...,ω ₈}

但是有意义的只有三种，即S ={ω ₄,ω ₆,ω ₇}

假设在S 上的存在n∈ 个概率函数w_i,i∈{ 1,...,n} ，它们满足

这些概率函数的确定来源于这两个球队过去交锋的经历，它们是推理的前提。在语言L 中，推理的前提主要是两种语句：无量词语句和量词语句。对于无量词语句，因为任何θ∈QFSL 都逻辑等价于一个关于b ₁,b ₂的状态描述的析取，比如θ =¬W (a ₁,a ₂)≡ω ₆∨ω ₇。对于量词语句，它总是可以转化为无量词语句的析取。所以这就表达出了归纳推理前提的特点——个别现象。

在IP推理中，主要关心的是前提对不能必然推出的结论的非精确支持度，在这里就是这次比赛胜负的情况，即确定S 中状态的非精确概率。首先找出满足C 的所有概率函数w_i,i∈{ 1,...,n} ，这等价于确定了在所有状态描述上的线性预期P ，然后对P 进行线性扩张，得到了定义在SL 上 ，即利用同样的思想，就能确定表达这次比赛结果的无量词语句和量词语句的非精确概率，比如令α =∃xW (a ₁,x )≡ω ₄，那么0. 33，即通过IP推理得出这次比赛a ₁赢的最低概率是0. 33。

至此实现了从状态描述到任意谓词语句的IP推理，但是得到所有状态描述是一个很强的要求，因为它对所有个体都进行了断定，在日常推理中，通常只能得到有限个体的断定，因此需要研究从有限的个体断定出发，如何进行IP推理。由于已经完成了从状态描述到任意谓词语句的IP推理，所以还需要解决的是从有限的个体描述到状态描述的IP推理，通过状态描述集（即可能空间）的精炼可以实现这一步。

3.2 从有限的个体描述到状态描述的IP推理

状态描述集X ₁表达的是主体已经知道了所有个体的性质，但是在归纳推理开始时，主体只知道有限多个个体的性质，其它个体的性质是未知的，这种认知状态使得主体只能确定状态描述属于X ₁的某个子集，然后由这些子集构成X ₀，那么从X ₁到X ₀就构成了一个映上（[10]，第180页），这就是X ₀到X ₁的精炼A ，X ₀对应于X ₁的一个划分，即对于∀x ₀∈X ₀，它都等同于一个X ₁中的精炼状态描述集A (x ₀)。所以X ₀上的任意概率分布f 等同于X ₁中的概率分布g ，这里g (x ₁)=f (x ₀),x ₁∈A (x ₀)。对于任意g ，定义X ₀中的下界概率g_∗ (x ₀)=inf{g (x ₁):x ₁∈A (x ₀)} ，那么精炼后的模型就是然后再通过定义1就能得到定义在状态描述集上的一簇概率分布。

例3. 假设语言L 只具有一元谓词R ，对于个体a ₁,a ₂的状态描述是：

但是主体只知道a ₁具有性质R ，其它一无所知，那么此时它只能确定a ₁,a ₂的可能状态要么属于t ₁={ω ₁,ω ₂} ，要么属于t ₂={ω ₃,ω ₄} ，所以X ₀={t ₁,t ₂} 。当主体知晓了a ₂的性质之后，它就能确定a ₁,a ₂的可能状态属于X ₁={ω ₁,ω ₂,ω ₃,ω ₄} 。因此X ₀是X ₁的一个划分，即A (t ₁)={ω ₁,ω ₂} ，A (t ₂)={ω ₃,ω ₄} ，所以X ₀上的任意概率分布f 等同于X ₁中的概率分布g ，g (ω_i )=f (t_j ),ω_i∈A (t_j ),i∈{ 1,..., 4},j∈{ 1, 2} 。对于任意g ，定义X ₀上的下界概率g_∗ (t_j )=inf{g (ω_i ):ω_i∈A (t_j )} ，那么精炼后的模型就是

4 结语

综上，通过滤可以在IP推理中表达出命题逻辑，但是滤不能处理谓词，为了让IP概率逻辑能够表达谓词，必须另辟蹊径。通过在状态描述上引入非精确概率，然后把非精确概率扩展到QFSL ，进而通过IP推理的自然扩张扩展到SL 上。这样就实现了非精确概率同谓词逻辑的结合，得出了非精确概率谓词逻辑推理。

得到了非精确概率谓词逻辑推理之后，IP同模态逻辑的关系成为了一个自然而然的问题，从直观上来看，非精确概率逻辑等同于模态逻辑加概率，因为从贝叶斯敏感度分析可以看出，非精确概率是一簇概率，其中每个概率都是可能的，这将是一个有价值的研究方向。

参考文献

[1]R.B.Ash,1999,Probability and Measure Theory ,Cambridge,Massachusetts:Academic Press.

[2]G.D.Cooman,M.Troffaes and E.Miranda,2015,“n -monotone lower previsions”,Journal of Intelligent and Fuzzy Systems ,16(4):101-121.

[3]D.Denneberg,1994,Non-additive Measure and Integral ,Dordrecht:Springer Netherlands.

[4]H.B.Enderton,1972,A Mathematical Introduction to Logic ,Cambridge,Massachusetts:Academic Press.

[5]E.T.Jaynes and G.L.Bretthorst,2003,Probability Theory:The Logic of Science ,Cambridge:Cambridge University Press.

[6]D.V.Lindley,1981,“Scoring rules and the inevitability of probability”,International Statistical Review ,50(1):27.

[7]D.V.Lindley,1987,“The probability approach to the treatment of uncertainty in artificial intelligence and expert systems”,Statistical Science ,2(1):17-24.

[8]J.Paris and A.Vencovská,2011,Pure Inductive Logic ,Cambridge:Cambridge University Press.

[9]M.Troffaes and G.de Cooman,2014,Lower Previsions ,New York:Wiley.

[10]P.Walley,1991,Statistical Reasoning with Imprecise Probabilities ,London:Chapman and Hall.

Imprecise Predicate Logic Reasoning

Wenquan Pan

Abstract The Imprecise Probabilistic Logic is the expansion of the classical propositional logic,because its meta-property is popularized by the meta-property of propositional logic,that is,avoiding sure loss promotes Consistency,it is necessary to determine whether the premise is satisfied to Avoiding sure loss before reasoning,and Natural Extension generalizes the deductive process of propositional logic.And the Coherence generalizes Deductive closed and Consistency.However,it is an open question how to combine predicate logic with Imprecise Probability to form Imprecise Predicate Logic.This step can be achieved by grafting subjectivism on Carnap’s logicism.

中图分类号： B81

文献标识码： A

文章编号： 1674-3202(2019)-04-0001-16

收稿日期： 2019-06-09

作者信息： 潘文全 岭南师范学院马克思主义学院 p297001881@outlook.com

基金项目： 国家社科基金重大项目“现代归纳逻辑的新发展、理论前沿与应用研究”（15ZDB018），国家社科青年项目“集合论及其在弗雷格算术中的应用研究”（16CZX050），岭南师范学院校级项目“非精确概率逻辑研究”（ZW1909）。

（责任编辑：赵伟）

Wenquan Pan School of Marxism,Lingnan Normal University p297001881@outlook.com

标签：赌局论文;  非精确概率论文;  自然扩张论文;  谓词逻辑论文;  岭南师范学院马克思主义学院论文;