符号推理与形式逻辑
现代逻辑学五位先驱

"每一位优秀的数学家至少有一半是哲学家,而每一位优秀的哲学家至少有一半是数学家"。-- 戈特洛布-弗雷格 人类历史上最具影.
DeepMind《语言建模就是压缩》论文分析

DeepMind 的一篇新论文显示,LLM 在文本、图像和音频等不同模式的数据集上实现了最先进的压缩率。LLMs 是如何压缩数据的?它们又为何如此出色?让我.
逻辑和算术运算符的符号起源

在计算机科学中,逻辑运算符和算术运算符中的 <.
AlphaFold是药物发现的下一个重大事件?

人工智能在科学上永远存在的问题是,涌现的现象通常不能被推断出来,而是必须在实验室中想象出来并进行测试。 .
SQL作为声明性语言的缺点

Boolformer简短介绍

虽然传统深度神经网络等机器学习技术在感知任务上取得了显著的成功,但在逻辑和推理问题上的表现仍然有限。这成为开发透明、可信的 .
什么是概念模型?

来自brcommunity的文章:在很多情况下,对某些业务或组织中的概念进行形式(formal)表述是很有帮助的。这种形式的表述被称为概念模型。 .
Java中检测字符串是否为空的三种方法

下面是几个测试字符串是否为空示例: 1、使用 equals 方法 只需在空.
形式化的意识理论并非 "伪科学"

昨天,一百多位科学家,其中不乏杰出的甚至世界闻名的科学家,首次发表了一封签名信,宣称最流行的意识科学理论之一是 "伪科学"。这封信的矛头直指综合信息理论(I.
CatalaLang/catala:法律规范的编程语言

Catala:一种从立法文本中导出 算法<.
Java 21模式匹配标志Java正式支持函数式编程

来自 WSCP 的博客 :Java 21 将于 2023 年 .
符号学是研究标志和符号的科学

来自 Seth 的<.
综合信息理论是伪科学吗?

意识的综合信息理论(IIT)具有前所未有的雄心壮志,它从意识体验的基本特性出发,提出了一个通用数学公式,用于描述任何拥有意识的物理系统的意识质量和数量。 .
超越代码:通过TLA+ 实现形式抽象表达

抽象是避免分心的有力工具。抽象一词的词源来自拉丁语,意思是“剪切”和“绘制”。通过抽象,您可以从复杂的系统中分离出协议,省略不必要的细节,并将复杂的系统简化.
研究首次表明乌鸦能使用统计逻辑

arstechnica报道,一项新的研究表明,乌鸦能够基于统计推断进行复杂的推理:鸟类可以将图像与不同的奖励概率联系起来。 .
看图解题:车底下号码是多少?

网友讨论Stephen Wolfram(斯蒂芬·沃尔夫勒姆)

大语言模型是在玩文字游戏?还是有人类意向性?

该文作者探讨了语言模型 (LLM) 可能在多个层面上具有意向性和代理的观点,质疑”机器人只是在玩聊天游戏“这样一个简单观点。 .
为什么数学证明是一种社会契约?

证明也是数学论证:通过一系列逻辑步骤,它证明某个陈述是正确的。 证明的要点是说服读者相信某个断言的真实性。这意味着.
纪念道格:质疑专家系统、知识库和规则引擎

来自AI前沿、符号计算大师 .
产品经理的第一性原理

第一原理思维 是一种解决问题的方法,您可以将情况分解为基本部分,然后重新构建它们以得出解决方案。 在这篇文章中,我们将了解.
如何辨别循证医学研究的好坏?

循证医学科学研究遵循研究从想法到设计再到执行的过程。 (banq:中医是依据经验;西医是基于证据,主要取决于你相信经验还是.
不合适的上下文环境无法发挥自己的优势

当你处于一个不合适的环境中时,类似不用你的常用手在工作,如果你常用右手,用左手工作不方便,反之亦然。 安德烈·马丁.
双重过程理论

双过程理论描述了直觉思维和深思熟虑思维之间的相互作用。理解这两种推理模式可以提供帮助改善我们决策的线索。 目前,越来越多的.
好规则的标准:切实可行

规则必须是具体和明确的,否则在遵守、确定和计数方面就无法做到有章可循。好的规则可以避免主观性和不可能。 这些规则经过解释(深入研究),可以直接使用或应.
谷歌:教会大语言模型学会算法推理

数学、形式逻辑和算法殊途同归导致计算机发明

大多数人不知道,计算机的发明最初是为了证明数学是不一致和不完整的。对许多数学家来说,这是一个令人深恶痛绝的时刻。 .
概念、实体、数据三者之间区别?

架构图如何实现更好的对话?

今年早些时候,我和 DrDoctor 的几位同事参加了 C4 .
幽默:哲学系学生更喜欢做算法难题?

宿舍里的计算机科学专业学生发现哲学专业的学生曾经以做 leetcode算法难题为乐(并且比任何人都能解决更多的难题),这让他们感到非常震惊。 .