符号推理与形式逻辑

     

未来我们会给大模型嘴巴贴上封条吗?

412 1 9K

本文来自《大语言模型和逆向图灵测试 - mit》一文,详细点击标题。 人类常常低估其他动物的智力,因为它们无法与我.

大语言模型背后的原理 - arxiv

1085 1

语言本质上是一个由语法规则支配的复杂、错综复杂的人类表达系统。它对开发能够理解和掌握语言的 .

衰老其实是一种软件设计Bug

398 2K

衰老是所有人类与生俱来的,但我们为什么会变老仍然是一个争论不休的话题。大多数对衰老的机械解释都假定衰老是由一种或多种形式的分子损伤的累积引起的。在这里,我建.

人工智能可以告诉我们关于人类智能到底是什么?

392 1 3K

将人类的专业知识提炼成一套规则和事实是非常困难、耗时且昂贵的。这被称为“知识获取瓶颈”。 虽然编写数学或逻辑规则很.

ChatGPT+Wolfram强组合

664 3K

甚至在一周前,人们还不清楚 chatGP.

人工智能会夺走我们所有的工作并结束人类历史吗? - Stephen Wolfram

603 3 10K

ChatGPT 的内部实际上在计算上可能与大脑非常相似——由数百万个简单元素(“神经元”)形成一个“神经网络”,其中包含数十亿个连接,这些连接已通过渐进的训.

语言学家:ChatGPT与人类完全不同

885 1

大型语言模型(简称 LLM .

为乔姆斯基辩护 - garymarcus

513 2K

当我在研究生院的时候,在20世纪90年代初,一项流行的运动是 "扑向诺姆-乔姆斯基"。 他每年都会举办一系列关于语.

ChatGPT促成了乔姆斯基语言体系的崩塌

1091 1

乔姆斯基的理论 基于这样一种观点,即所有语言都具有相似的结构和规则,也称为通用语法 。该理论指出,所有语言都具有形式上的共性和.

生成式 AI 是下一个大事件吗?

541 1 2K

最近的 人工智能 发展令人.

我们是以名词为中心的思维方式 - Carlos E. Perez

895 2K
我对复杂性的第一次遭遇是在软件开发过程中。你不会在大学遇到这种情况,而是在现实世界中遇到。应对这种复杂性需要一种截然不同的思维方式(参见:敏捷方法)。 .

什么是皮尔士的符号理论?

2450 2 3K
皮尔士(CSPierce)符号理论(Peirce's Theory of Signs)是一种三位一体的高维思维。(类似三体中的歌者文明思维) .

本体语言UL:本自具足

7908 2

近代儒家圣人王阳明35岁左右的时候,一天半夜里,他忽然有了顿悟,认为心是感应万事万物的根本,由此提出心即理的命题。认识到“圣人之道,吾性自足,向之求理于事物者误也。.

​​​​​​​相关性并不意味着因果关系

1166 2K

相关性并不意味着因果关系(Correlation Does Not Imply Causation):描述了不能仅仅根据观察到的两个变量之间的关联或相关性来.

莱布尼茨对通用思想语言的探索

1223 1 6K
计算机科学的现代史可以说是从有史以来最著名的数学家之一戈特弗里德·莱布尼茨 ( Gottfried Leibniz ) 开始的。 .

语义技术简介

876 4K
想象一个网络,其中所有数据都是用户可以免费使用的节点,并且所有信息都可以通过简单的技术组合在一起。这就是语义网试图实现的。 .

知识图谱的作用

1325 1 2K
以下是一些知识图谱功能,您将通过使用 .

2023年人工智能的8个预测

1383 6K

1、GPT-4 将在接下来的几个月内发布——是的,这将是一件大事。 最近关于 GPT-4 的谣言四起,GPT-4 是.

幽默:终于黑掉ChatGPT了

1437 1
终于打败 chatGPT .

机器人都能理解英语从句了 - Dylan

1194 1

最近一直在玩 OpenAI的 .

使用知识图解开生命科学数据挑战

1130 1

知识图结合信息以创建描述不同实体之间关系的互连网络。它们目前简化了我们的许多日常数字体验,支撑着谷歌搜索、社交媒体网站和流媒体推荐引擎等应用程序。凭借其定义.

什么是语义技术?

1785 2K

语义技术使用形式语义来帮助 人工智能 .

构建知识图谱的八个好处

3319 3 2K

知识图不仅仅是一个知识库。它是一个图形说明,将组织的知识库反映为数据实体及其关系的数字网络。知识图谱的关键特性包括统一数据、集成数据源以及跨数据实体映射关系.

DDD战略新方法:什么是本体论Ontology?

1345 1 2K

本体是针对“特定兴趣领域”的正式定义的词汇表(术语)。因为它是形式化定义的,它可以减少人类话语中混淆的机会,事实上,一些本体就是为此目的而创建的,也有为使得.

Linus:"Rust是安全的 "并不是对代码安全的某种绝对保证

1534 1 2K

你需要认识到:  (a) 现实胜过幻想  (b) 核心的需要胜过了任何Rust的需要 .

好的软件哲学家有哪些? - Hillel

988

1、《Clojure元素》的作者,茨特尔曼 2、我自称计算机哲学家已经很多年了,所以我推荐richhickey和J.

什么是控制错觉?

1223

控制的错觉:是一种 认知 .

什么是逻辑形式系统? - Sam

2130 1 11K

为什么上学目的是为了辨别哪些理论是在胡说八道? 为什么数学家和物理学家可以在纸上写一些有趣的 .

面向对象建模 = 面向宾语建模 != 主语思维

2059 2
JavaScript和python不同写法。 .