数学联邦政治世界观
超小超大

逻辑与概率(二) (6-5)

[p(ϕ∧ψ)=a∧p(ϕ∧×ψ)= b]→p(ϕ)= a+b

指出,如果ϕ∧ψ的概率为a,并且ϕ∧ψ的概率为b,则公式分离的概率(相当于ϕ)为a+b。但是,尽管使用线性组合使我们可以通过使用公式P(φ∧ψ)+p(φ∧月)= p(φ),,通过使用公式P(φ∧ψ)+P(φ),如果我们选择正确的数字A和b,则仅在上面没有线性组合的公式就这样做。 Demey and Sack(2015)对命题概率逻辑与线性组合的表达性进行正式比较。虽然当且仅当它们同意所有不带有线性组合的公式时,任何两个模型都同意所有不带有线性的公式(Demey and Sack的引理4.1(2015)),但并非任何一个由单个公式与线性定义的模型类别可以通过一个没有单个公式(Demey and Sack(2015)的引理4.2)来定义组合。特别是,如果没有线性组合的能力,则由公式P(p)-p(q)≥0定义的模型类别不能定义。

属于给定子集的概率:Ognjanović和Rašković(1999)通过新类型的操作员来扩展概率逻辑的语言:QF。在直觉上,公式qfϕ表示ϕ的概率属于f,对于某些给定的集合f⊆[0,1]。该QF操作员无法根据p(ϕ)≥a的公式来定义。 Ognjanović和Rašković(1999)提供了这种逻辑系统的声音和完整的公理化。对于所有A∈F而言,将QF操作员连接到更标准的P型操作员的关键桥原理是公理P(ϕ)= A→QFD A→QFDA→QFDA,以及指定P(从P(ϕ))的无限规则=对于所有a∈F,可以推断qfϕ→ψ。

多项式重量公式:具有多项式权重公式的逻辑(涉及加权总和和概率项的产物),可以允许形式p(ϕ)p(ψ)p(ψ)-p(ϕ∧∧ψ)= 0的公式,即ϕ和ψ的概率都等于ϕ和ψ概率的乘积。该公式捕获了ϕ和ψ在统计上独立的含义。在Fagin等人中研究了这种逻辑。 (1990年),但主要具有一阶逻辑特征,然后在Perović等人的更简单的上下文(无量词)中再次使用。 (2008)。

紧凑性和完整性:紧凑性是逻辑的属性,如果每个有限子集都可以满足一组公式。命题概率逻辑缺乏紧凑型属性,因为{p(p)>0}∪{p(p)≤a| a>0}的每个有限子集都是可满足的,但整个集合不令人满足。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

卡斯的救赎 连载中
卡斯的救赎
野森吟
【真实故事改编一部分是,大部分幻想】【放荡不羁+好s神明&缺爱+坚强+正义感+轻微厌世+开朗凡人】“没有真正的救赎,那些只不过是神吃掉你的谎......
2.3万字9个月前
医毒双绝:神尊爱妻你别跑 连载中
医毒双绝:神尊爱妻你别跑
辰晓曦
《本书与2021.9.3签约,禁止转载!》身在天界的生命神凤羽,明明位高权重执掌生死大权,却有一颗看不透人心的琉璃心,身无牵挂的她一心为自由......
44.2万字8个月前
快穿:系统要带我谈恋爱 连载中
快穿:系统要带我谈恋爱
亿点颠
现实社会中被动的牛马生活,让叶瑾彻底厌烦、崩溃,趁着无人的间隙,一不做二不休,带着汽油点燃了大楼。砰的一声巨响,引燃了其他易燃物品,自己也消......
5.4万字8个月前
穿越到了百鬼幼儿园 连载中
穿越到了百鬼幼儿园
林乔要吃可乐糖
酒吞,茨木,易飒三人来到百鬼幼儿园,又会发生什么样的奇妙故事,又会交到哪些新朋友,透剧不是好孩子,自己去看
0.5万字8个月前
隐世华族1 连载中
隐世华族1
结恋之时
你的选择,决定我们的命运!
0.4万字8个月前
楪鸾飞 连载中
楪鸾飞
宫筱夙
重生后追夫路漫漫,晶核不够?师兄弟,国际好闺蜜了解一下?打不过?不好意思,我是尸王。没才没艺?不好意思,我闺蜜会。厨房杀手?自己的妹夫可以当......
7.1万字8个月前