收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

计量逻辑学及其随机化研究

惠小静  
【摘要】: 经典的命题逻辑中最基本的推理模式为{A_1,…,A_n}|-A~*,从语法的角度看,它表明A_1→(A_2→…→(A_n→A~*)…)是定理,而从语义的角度看,它表明如果任一赋值v使前提A_1,…,A_n都为真,则v也使结论A~*为真。值得注意的是,这一推理的前提是否可靠并未考虑,因而从实际应用的角度看,这种单纯的形式推理似有不足之处。正是基于这种考虑,从20世纪70年代以来,逐渐兴起了概率逻辑学的研究。在概率逻辑学中,对推理的前提集中的各公式,要考虑其“不确定性”,不确定性是通过一个数值表征的,这个数值是由1减去该命题为真的概率而得的。通过Kolmogorov公理将概率方法与逻辑推理相结合,通过诸前提的不可靠度可以估计出其结论不可靠度的变化范围。但概率推理模式是“一事一议”型的,即,对于不同的有效推理,前提中同一公式的概率不必相同。这固然有其方便的一面,但从其理论的完整性来看,似乎只具有局部性而缺乏整体性。这不能不说是一种局限。 另一方面,为了把逻辑概念程度化而提出的计量逻辑学理论,其目的是为了尝试在人工智能科学与数值计算理论之间架起沟通的桥梁。计量逻辑学一方面具有整体性的优点,但同时又有缺少随机性的不足。事实上,在计量逻辑学中,每个公式都被赋予了一个真度,但在该真度意义下,每个原子公式都有相同的的真度,用概率的观点来考察,即每个原子公式为真的概率均相等。事实上各简单命题是否为真以及在多大的程度上为真是不确定的、随机的。所以赋予不同原子公式以不同的概率,可以使由此产生的公式的真度更具实用性,这种基于随机性的逻辑概念的程度化方法已经成为当前概率化人工智能研究的一个热点课题,从而展示了更为广阔的应用前景。本文正是以此为出发点,着力于将逻辑概念程度化与随机化相结合,从而把计量逻辑学中的程度化研究及近似推理模式纳入于更为宽泛的研究体系之中。 本文第一章首先通过引入生成状态集和生成概率给出了概率逻辑学基本定理的简捷证明,并进一步通过引入自然合并概率将概率逻辑学的基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计。然后将概率逻辑学的基本方法引入计量逻辑学,得出了带参数(?)的有限逻辑理论相容度概念,是δ-相容度的推广。 第二章论证了有限多个公式的概率分布与生成它的原子公式集的概率分布之间的关系,然后把计量逻辑学与概率逻辑学相结合,在二值逻辑中提出了概率真度、概率逻辑伪度量空间。指出当取均匀概率分布时,概率真度就转化为计量逻辑学中的真度,同时两公式间的概率逻辑伪距离就转化为计量逻辑学中的伪距离。从而在有限理论中建立了一种更具一般性的概率逻辑伪度量空间理论。 第三章利用赋值集的随机化方法,在二值逻辑中首先提出了公式的D-随机真度概念,证明了全体公式的D-随机真度之集在[0,1]中没有孤立点。接着给出了D-逻辑伪距离和D-逻辑度量空间,证明了该空间中没有孤立点。指出当取均匀概率测度,且各概率测度均为1/2时,D-随机真度就转化为计量逻辑学中的真度,同时两公式间的D-逻辑伪距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的D-逻辑度量空间。 通过概率逻辑学基本定理,证明了D-逻辑度量空间中逻辑运算的连续性,从而实现了概率逻辑学与计量逻辑学的融合。在D-逻辑度量空间中提出了公式之间的3种不同类型的近似推理模式。证明了D-逻辑度量空间中三种近似推理模式是等价的;指出了全体原子公式之集在D-逻辑度量空间中未必是全发散的。 在D-逻辑度量空间中提出了理论的D-开放度,得出一个理论的D-开放度与它的D-发散度取值相等。提出了理论的D-相容度,得出D-相容度在D-逻辑度量空间中能保持相容度在逻辑度量空间中的基本性质。 最后,在三值R_0命题逻辑系统,三值Lukasiewicz命题逻辑系统,三值Goguen命题逻辑系统和三值G(o|¨)del命题逻辑系统中提出了公式的随机真度和随机距离,建立了随机逻辑度量空间。指出当取均匀概率测度,且各概率测度均为1/3时,随机真度就转化为计量逻辑学中的真度,同时两公式间的随机距离就转化为计量逻辑学中的伪距离,从而在三值逻辑中建立了更具一般性的随机逻辑度量空间。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 于鹏;;真度约简与计量逻辑学推理模式的关系[J];陕西科技大学学报(自然科学版);2011年05期
2 韩邦合;李永明;;计量逻辑学中的误差累计理论[J];计算机工程与应用;2009年23期
3 吴洪博;周建仁;张琼;;(3n+1)值逻辑系统R_0L中公式的真度性质[J];电子学报;2011年10期
4 傅丽;;均匀逻辑公式的基本性质及其真度的分布[J];山东大学学报(理学版);2010年11期
5 王国俊;惠小静;;概率逻辑学基本定理的推广[J];电子学报;2007年07期
6 韩邦合;李永明;;计量逻辑学中的近似推理[J];模糊系统与数学;2010年05期
7 韩邦合;李永明;;计量逻辑学中的收敛理论[J];计算机工程与应用;2009年30期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前1条
1 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年
中国博士学位论文全文数据库 前1条
1 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
中国硕士学位论文全文数据库 前1条
1 韩邦合;计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论[D];陕西师范大学;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978