非图宾根基准下LLM ChatGPT的因果发现和因果推理能力

基于图宾根基准在多学科的因果测试,建立了不同于该基准的两个变量的因果关系对(人文社会科学)因果关系数据库;在此基础上分析了LLM在新的基准下因果发现中的能力和问题;探讨了在因果估计阶段,系统在数据或条件不充分下的因果推理能力。期望LLM以一种新的、友好的因果研究范式与传统方法结合,为我们日常处理因果问题提供全新的助力。

智能的核心推理:归纳的形式化——AlphaGo归纳学习的进展

探讨智能体的归纳学习中如何进行形式化的问题,首先将归纳学习定义为给定函数的实例集合时如何求得它的近似函数;展开讨论其面临的实例数N过大的困境。然后从基本的决策树学习入手,引入归纳学习中形式化和量化,并讨论学习的可行性。最后给出了先验知识在减小N的范围上的作用,和智能体学习理论上的新进展。

人工智能中一阶逻辑的现代表达方法

人工智能研究中使用的主要语言是一阶逻辑语言,而非程序语言,其特点在于计算不再是其主要特征,更注重推理过程和知识库构建,结合诊断规则和因果规则,使智能体获得理性判断能力。

概念划分逻辑方法的新进展

对众多复杂事物进行划分是人类认识事物最基本的方法,因为数量增多与人类对事物的认识和把握能力呈现反向变化关系,借助于划分可以有效提高人类的认识能力;若将大量研究对象数据化,则可以精确给事物排序以利于快速查找;当被研究的事物在某种程度属于未知时,也依然可以对其进行聚类分析研究,以提高人类分析事物的能力。

谓词逻辑视角下HanLP中文分词中对歧义的处理

中文分词的歧义处理主要从算法上改进匹配方法并取得大的进步,但仍然存在进一步提高成功率的需求。本文据Han LP系统的分词法,比较它与一阶谓词逻辑符号化时,对同一歧义句子的处理的不同之处,试图从逻辑方法论上得到新的改进思路。

论“可能世界”

近年来模态逻辑及其研究工作,受到了国内许多逻辑学工作者的重视,其中广泛使用的“可能世界”(Possible world)概念也为人们熟悉和了解。木文拟就这一概念从逻辑学和哲学的角度谈几点意见。 (一) 在模态逻辑的解释中,都普遍采用了“可能世界”这一概念进行语义解释。该事实为人熟知,但很少有人深究这一概念的来源。莱布尼兹最早从哲学上提出了“可能世界”概念。在莱氏那里,这是一个本体论概念。莱布尼兹认为,人们生活于其中的现实世界,不是上帝创造的唯一的世界。事实上,

命题逻辑PL表达能力和应用

命题逻辑PL系统依靠(?),∧,∨,→,←→算子是否足以表达任意n元布尔函数,是大多逻辑著作不注重叙述的问题,本文就此作详细的说明;在此基础上,利用二叉树内在的结构特点,定义INF范式的表达,以该范式的惟一性展现命题公式在计算上的独特作用。

传统逻辑直言命题推理的扩充

传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容;一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处。但这种推理还可以用现代数学的图论进行扩充,发掘更多的连通关系;最后还可以用知识库理论扩充,以让传统逻辑发挥更大的作用。

自然语言的语义推理

语义学研究，尤其是自然语言的语义学研究，现在已逐步成为逻辑学最重要的课题之一。本文阐明了模糊性与语义模糊性的概念，并进而用查德的理论讨论了语义推理，提出这种推理的几个应用实例，是对语义推理理论所作的一种有价值的探索。

范式的直观图形求解法

用n维图形代替布尔公式求解任一命题公式的范式,使抽象的公式变得形象直观,易于接受;给出具体应用,并总结该方法的一般规则,以便于在工程技术和解题中使用。

从珀尔到格尔曼:区分原因的结果和结果的原因

在因果科学的发展中,朱迪·珀尔(J.Pearl)系统性的研究对因果问题的探讨做出了重要贡献。格尔曼(A.Gelman)则明确区分了原因的结果和结果的原因,指出二者研究的难度完全不同,将二者进行区分,能促进因果科学研究的进展。同时,从社会科学研究角度,格尔曼对因果问题提出了自己的质疑。十年后,我们可以回答其中的部分问题,也能从中体会出因果科学研究这些年的进展。

在逻辑教学中注重方法论教育以培养创新性思维习惯

逻辑学以知识点构成主线的教学方法由于要点多、结构复杂,所以学生难学易忘,最终学不能致用。本文提出了在高校逻辑学教育过程中,重点应该是以方法论教学为主线,不限于知识传授,通过概念—推理—科学发现三点构成系统教学法,并以养成学生科学正确的思维习惯为目的,使学生能把良好思维习惯用于今后的具体学习与工作中。

基于实验建立起的关于意识的认知

依据大量的实验讨论20世纪90年代以来人类关于意识逐步建立起来的认知,探讨重要的概念如感知、无意识、意识、记忆、直觉、大脑之间的关系,最后讨论意识的客观标记和阻断意识的可行性,为脑机接口做理论准备。并第一次提出意识不是神秘的也不是涌现的,而是人脑部分神经元整体活动表现出的性质,类似的性质普遍存在于身边,不需要建立更复杂的概念系统进行解释。

现代产业集群理论的新进展及其述评

产业集群理论在初步形态的基础上打破了传统产业经济学的分析方法,形成了产业集群理论的新进展。主要表现在:从创新环境角度研究产业集群,从知识扩散的角度研究产业集聚现象,从社会资本角度研究产业集群等。产业集群理论的新进展对产业集聚现象的解释提供了理论工具,为区域产业竞争力的形成提供了新的分析思路,为区域产业发展政策的制定提供了新的方法。产业集群理论的新进展对我国区域经济发展和区域产业政策的制定具有重要启示:以产业集群为途径,提高我国的区域产业竞争优势;以产业集群为载体,不断提高区域经济的竞争能力;研究中国产业集群的一般规律,促进区域产业集群的成长;培育新的区域合作机制,创造产业集群的形成基础。

人工智能中的自动逻辑推理

人类常用的推理方法不能直接在人工智能中应用从而实现机器的自动推理,本文论述了自动推理中的归结和合一算法的规则和详细步骤,达到使读者容易理解和掌握这一方法的目的,使更多人了解这一方法的作用和前景。

非商品化和商品化的紧张——从失业保险再看瑞典的福利改革

"人民福利"曾为瑞典赢得了"福利之窗"的美名,但随着20世纪70年代石油危机和全球化经济的冲击,瑞典国内经济疲软,福利预算赤字和国家财政赤字快速增长,以及面对国际、国内的压力,瑞典政府逐渐反思"社会民主主义"福利模式过度去商品化的弊端并进行福利改革。本文在概述瑞典社会福利非商品化特征的文化、政治、经济根源的基础上,通过对失业保险危机前的非商品化特点的呈现,以及失业保险在危机后改革中的商品化与非商品化紧张的现实,揭示具有"非商品化"福利传统的瑞典,其"商品化"福利改革任重道远。

因果与概率

自然界只受因果关系支配的思想曾长期占领了思想界。概率观的兴起,动摇了因果观这种至尊的地位。本世纪早些时候,维也纳学派的代表人物和其它一些哲学家,如卡尔纳普(R·Carnap)、巴赫(H·Reichenbach)、石里克(M·Schlik)等曾就因果性与决定论、规律和概率的问题,

甘肃省逻辑学会年会在兰州召开

甘肃省逻辑学会第二次会员代表大会暨学术讨论会于1988年4月20日至4月22日在兰州召开。甘肃省社会科学联合会副主席强宗恕同志以及有关单位负责人到会并对大会的召开表示热烈的祝贺。

为什么聚焦于因果关系?

近年来许多学者聚焦于研究因果关系的深层原因,根源于人工智能界在深度学习上对模型稳健型的需求,映射出统计学方法在因果问题上面临困境;因果关系在人工智能领域具有不同于哲学语境下的特殊关注点,应该进行跨学科研究界定因果问题的内涵;在哲学语境下从AI领域角度讨论导致因果研究陷于困境的独立同分布问题,可能是近期使得研究取得进展的方向。