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

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

惠小静  
【摘要】: 经典的命题逻辑中最基本的推理模式为{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年02期
2 刘华文;王国俊;张诚一;;几种逻辑系统中的近似推理理论[J];山东大学学报(理学版);2007年07期
3 崔美华;;逻辑系统L_3中公式的随机真度及近似推理[J];高校应用数学学报A辑;2010年04期
4 惠小静;;三值R_0命题逻辑系统中理论的随机发散度[J];应用数学学报;2010年01期
5 李骏;王国俊;周艳;;n值逻辑系统MTL_n中命题的程度化方法[J];计算机工程与应用;2007年21期
6 张建成;;命题逻辑系统中理论的发散度与近似推理的若干性质[J];模糊系统与数学;2008年02期
7 ;陕西师范大学学报(自然科学版)2009年(第37卷)总目次[J];陕西师范大学学报(自然科学版);2009年06期
8 韩邦合;王国俊;;二值逻辑中命题的条件真度理论[J];模糊系统与数学;2007年04期
9 左卫兵;;n值命题逻辑中的P-随机真度及近似推理[J];计算机工程与应用;2009年07期
10 于鹏;;真度约简与计量逻辑学推理模式的关系[J];陕西科技大学学报(自然科学版);2011年05期
11 李志伟;李桂华;;模糊蕴涵代数的结构特征[J];数学杂志;2008年06期
12 王廷明;严文海;;二值命题逻辑中基于前提信息的近似推理理论[J];模糊系统与数学;2009年02期
13 王廷明;王爱青;;二值命题逻辑中的伪距离不等式与近似推理[J];青岛理工大学学报;2009年03期
14 许格妮;关晓红;;系统L_n中公式相对于有限理论的Г-绝对真度理论[J];数学的实践与认识;2010年05期
15 王廷明;;二值命题逻辑中Γ限制蕴涵度量与近似推理[J];计算机工程与应用;2010年35期
16 王廷明;王爱青;;二值命题逻辑中伪距离的真度表示及其应用[J];青岛理工大学学报;2008年03期
17 隋云云;;五值非线性序集逻辑系统中命题真度的分布[J];山东大学学报(理学版);2009年01期
18 于海;詹婉荣;;经典命题逻辑中公式的Γ-随机真度与近似推理[J];模糊系统与数学;2009年04期
19 刘东波;缺省知识与近似推理[J];高技术通讯;1995年11期
20 王廷明;;二值命题逻辑中基于条件真度的近似推理[J];计算机工程与应用;2009年09期
中国重要会议论文全文数据库 前10条
1 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年
2 张学立;;从逻辑哲学的观点看金岳霖先生的逻辑信条[A];1997年逻辑研究专辑[C];1997年
3 王国俊;;数理逻辑中的数值化方法(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年
4 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
5 徐扬;;基于格值命题逻辑L_(vpl)的近似推理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
6 赵总宽;;辩证模态命题逻辑系统DMT与实然世界语义学[A];1997年逻辑研究专辑[C];1997年
7 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年
8 李小五;;沈有鼎论直观与逻辑[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年
9 程里春;;近似推理的几个定理[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
10 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年
中国博士学位论文全文数据库 前10条
1 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
2 冯彦波;合并逻辑方法研究[D];南开大学;2010年
3 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年
4 刘晓喆;清代陕西书院研究[D];西北大学;2008年
5 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年
6 孙燕;基于机器学习技术的《伤寒论》方证分析方法研究[D];北京中医药大学;2007年
7 白治江;基于遗传算法的模糊系统研究[D];华东师范大学;2006年
8 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年
9 李大海;政区变动与地方社会构建关系研究[D];陕西师范大学;2009年
10 李敏;基于可变模糊集理论的径流预报方法研究[D];大连理工大学;2008年
中国硕士学位论文全文数据库 前10条
1 韩邦合;计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论[D];陕西师范大学;2007年
2 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年
3 于鹏;F(S)中的近似推理与三I算法的连续性[D];陕西师范大学;2007年
4 郑刚;n值S-MTL逻辑系统中命题的Borel概率真度理论[D];兰州理工大学;2013年
5 茹永梅;经典逻辑系统(?)中的MT问题及公式的真度理论[D];陕西师范大学;2006年
6 刘欢;粗糙逻辑及其计量化研究[D];西安工程大学;2012年
7 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年
8 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年
9 王菊花;经典命题逻辑中逻辑理论的计量化及应用[D];兰州理工大学;2013年
10 李海霞;逻辑代数中若干问题的研究[D];陕西师范大学;2008年
中国重要报纸全文数据库 前10条
1 李卫东;大海龙腾 高岗凤鸣[N];光明日报;2002年
2 本报记者  柯昌万 通讯员  李卫东 刘芳;为农村教师送来新理念新模式[N];中国教育报;2006年
3 金万历 本报记者 柴克俭 ;耕耘在民族教育的田野上[N];中国民族报;2004年
4 本报记者 李晓莉;当“企业公民”面对荣辱抉择[N];西安日报;2006年
5 李玉兰;他们为什么选择免费师范专业[N];光明日报;2007年
6 记者 李琼燕实习生 贾小敏;我省女厅局级领导干部参观妇女文化博物馆[N];陕西日报;2008年
7 ;白癜风恢复期的中药调理[N];人民日报海外版;2006年
8 毛海峰 梁娟;陕西师大推出家教资格考试[N];西部时报;2006年
9 舒琳;专家为“非遗”保护支招[N];中国文化报;2008年
10 周元实习生 陈琳;本科首批A段录取今开始[N];海南日报;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978