略论非帕斯卡概率逻辑的知识创新意义

非帕斯卡概率逻辑的知识创新意义在于 :( 1 )借助这种逻辑 ,我们更有可能在科学理论创新过程中探索出更为有效的解决科学实际问题的方式 ;( 2 )这种逻辑就是一种知识增长的逻辑 ;( 3)它揭示的不断逼近的过程就是科学理论创新的过程     

略论非帕斯卡概率逻辑的知识创新意义

非帕斯卡概率逻辑的知识创新意义在于：（1）借助这种逻辑，我们更有可能在科学理论创新过程中探索出更为有效的解决科学实际问题的方式；（2）这种逻辑就是一种知识增长的逻辑；（3）它揭示的不断逼近的过程就是科学理论创新的过程。     

概率“确证”解释及其几点思考

在概率逻辑中,由于对核心概念"概率"的不同解释,导致概率逻辑研究的不同走向,形成不同流派。主要包括频率解释、逻辑解释和主观主义解释;后二者可统称为确证解释。本文首先介绍概率"确证"解释,即逻辑解释和主观主义解释。其次,笔者认为此二概率解释之间存在着认知与被认知的关系。最后,对概率确证解释理论提出几点思考。     

剖析三种非经典逻辑的思想来源与特征

论述了概率逻辑,模糊逻辑和不确定逻辑的思想来源;揭示了它们的思想本质特性;比较分析了它们的长处和不足.     

概率解释与概率逻辑

对概率的解释及据此而发展起来的概率逻辑是经典逻辑的最重要的扩展之一。它在哲学、数学、认知科学、人工智能等领域有着重要的应用,一方面是这些研究领域的工具,而同时又是这些研究领域的对象。本文通过对概率的解释进行大致的分类,对由各解释发展起来的概率逻辑分别做了介绍,希望据此对概率逻辑的发展做一个梳理。     

概 率 逻 辑 学 习 概 述

在归纳逻辑编程研究的基础上, 给出了概率逻辑学习的一种形式化定义框架. 根据不同概率逻辑学习方法在实例表示和概率定义上的不同, 讨论了3种概率逻辑学习框架： 解释学习、 证明学习和蕴涵学习; 并据此对现有的典型概率逻辑学习方法和系统进行了分析和概述.     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

《现代归纳逻辑的哲学视野》述评

以对归纳概率的多元主义解释研究作为切入点,解析逻辑哲学的核心理念以及如何应用于非经典逻辑,尤其是现代归纳逻辑。与此同时,从特定角度对我国归纳逻辑梯队三代人的成长作了简要的历史性评述。     

帕斯卡（Pascal）矩阵有关性质的探讨

由帕斯卡（Pascal）三角形（中国称为杨辉三角形表）构造出来的矩阵被称之为帕斯卡（Pascal）矩阵,它是研究某些概率问题时常涉及到的一类特殊矩阵。本文通过特殊到一般,类比猜想的方法,探讨阶帕斯卡（Pas-cal）矩阵的分解并给出逆矩阵及其特征值的特性。     

基于Dirchlet分布的扩展主观逻辑

针对基于二值逻辑的主观逻辑中存在的一些问题,提出了基于Dirichlet分布的扩展主观逻辑．在利用三值逻辑代替原来二值逻辑的基础上,扩展主观逻辑重新定义了事实空间与观念空间之间的映射关系和映射函数,并给出了新的扩展合意规则．扩展主观逻辑保留了主观逻辑基于统计推断和概率理论的优点,并考虑了事件结果不确定时的情况,从而可更好地建模和处理信任中的主观性和不确定性．实例分析表明,扩展主观逻辑具有合理的事实根据和理论基础．     

归纳逻辑视野下的数据挖掘研究综述

对归纳逻辑思想在数据挖掘中的应用研究进行了综述。国外的研究主要集中在人工智能方面,重点是高阶归纳逻辑研究,通过多态归纳逻辑、机器学习等方面发展了归纳逻辑理论。国内的研究集中在知识发现方面,例如通过研究关联规则等探讨知识发现的内在机理。相对来说,国外的发展更偏重于应用领域,而国内也在不断扩展归纳逻辑的理论应用,但在数据挖掘领域研究仍然偏少。     

归纳逻辑程序设计综述

归纳逻辑程序设计是逻辑程序设计和机器学习的一个交叉研究领域。先概述了归纳逻辑程序设计的历史及发展现状;对归纳逻辑程序设计学习器进行了分类和形式化定义,并给出了学习器的质量标准;按划分的类型分别讨论了归纳逻辑程序设计学习器的主要求解算法;进一步指出了归纳逻辑程序设计未来的发展前景,提出了归纳逻辑程序设计领域需要深入研究的若干问题。     

互逆主义逻辑与古典逻辑比较

提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论,通过归纳复合的方法建立命题,通过分解的方法应用命题,从而彻底解决了古典逻辑中的缺陷,并使推理可以机械地进行,便于计算机实现。     

广义细胞自动机与广义归纳逻辑因果模型

在勃克斯（Ａ．Ｗ．Ｂｕｒｋｓ）构筑的描述因果世界的细胞自动机的基础上（属归纳概率逻辑范畴），提出了可综合处理随机不确定性与模糊不确定性的广义细胞的自动机与相应的广义归纳逻辑因果模型，解决了原模型中未曾解决的主因判定与因果扰动响应的问题，并找到了它在智能控制中的应用。     

罗素论归纳问题

归纳问题是罗素哲学中一个十分重要的问题。罗素对归纳问题的合理性的逻辑解决方案分前后两个时期。前期即“归纳法原则”,后期即非证明推理的“科学推理的公设”学说。尽管罗素没有解决归纳问题,其学说在哲学上却有重要影响。罗素提出的归纳问题合理性在逻辑学范围提供根据是不可能的观点,对最终从其他角度去解决归纳问题,无疑是一大不可磨灭的贡献。     

归纳程序在数学发现中的作用

数学是逻辑程序与归纳程序的辩证统一，书面呈现的是演绎的逻辑程序，而实际的心理过程却是归纳的探究程序。从信息加工角度分析了归纳的意义、数学发现的过程及归纳程序的数学发现中的作用。     

全抽象事实空间中的单逻辑定理证明

逻辑定理有2种证明方法:逻辑公理系统方法和自然演绎系统方法。对于单逻定理这种逻辑定理,提出一种新的证明方法:在互逆主义逻辑的全抽象事实空间用二层显式归纳复合方法来证明,这种方法形象、直观。     

关于整数环的无限n素元组归纳扩环的多样性

用模型论方法证明了: 对于整数环I及每个正整数n及每一可能类型的n素元组而言,存在不可数无限多个其1阶性质互不全同的含有无限多该类型的n素元组的归纳扩环(文中简称该类型的nT-环),并且存在无限多个正整数对,对每个这样的正整数对(a,b),存在I的nT-扩环R,它适合加a的归纳法,而不适合加b的归纳法. 还证明了存在该类型的nT-环R,R的每个元素是3平方和和4立方和.