科学发现有规律可循吗？
(原文图11)科学发现的心理逻辑模型(蔡曙山，2013) 科学发现有无规律可循?这一直是一个令科学家着迷和不断进行研究探索的重大问题。最近一项研究提出，科学发现的重要方法包括溯因方法、归纳方法、类比和隐喻方法，这3 类方法在科学发现中被用来寻找和提出假说;而演绎推理则用来验证假说。研究指出，在人类认知活动中，所有逻辑过程同时也是心理过程，因此，所有逻辑都是心理逻辑。研究者建立了包括溯因、类比、归纳3 个并行通道和演绎的1 个串行通道的科学发现的心理逻辑模型。该模型是基于认知科学理解的综合模型，较之已有的任何同类模型都更为先进，对经典的科学发现也有更强的解释力。根据此模型，作者对与科学发现有关的一些重要问题进行讨论，并得出一些有意义的结论。 该研究成果发表于《科学通报》2013年12月58卷34期，由清华大学心理学系教授、清华大学心理学与认知科学研究中心主任蔡曙山独立完成。 因果性是事件或对象的恒......阅读全文
程京德：为什么说逻辑推理能力是人类智能中最基本的能力？
“逻辑学是一门研究论证与推理之正确性的基础性学问，其目的为建立和建全用于判断各种论证与推理之正确性的一般标准。”[1] “推理是从若干前提经过一系列有序步骤得出结论的过程，其每一个步骤便是一个从若干前提得出一个结论的论证。”[1,2] “逻辑思维是一种在思维过程中使用论证或推理的、并且以某些公认
基本复合推理的有效形式
基本的复合命题构成的推理主要有以下3种：1、联言推理，有两种有效式，分别为分解式和组合式。2、选言推理，又分为相容的选言推理和不相容的选言推理，相容的选言推理只有一种有效式，即否定肯定式，不相容的选言推理有两种有效式：否定肯定式和肯定否定式。3、假言推理，可分为三种：充分条件的假言推理、必要条件的假
大脑推理神经过程首次阐明
神经过程首次阐明 科技日报北京8月14日电 （记者张梦然）大脑如何推断两件事之间的关系？科学家通过实验任务对人类大脑活动进行记录，创建了一个独特的数据库，然后利用人工智能（AI）将数据转化为清晰的高维几何形状，首次阐明了人类大脑中推理的神经过程。研究结果14日在《自然》杂志网站在线发表。在现实中，当
大脑推理神经过程首次阐明
大脑如何推断两件事之间的关系？科学家通过实验任务对人类大脑活动进行记录，创建了一个独特的数据库，然后利用人工智能（AI）将数据转化为清晰的高维几何形状，首次阐明了人类大脑中推理的神经过程。研究结果14日在《自然》杂志网站在线发表。 美国哥伦比亚大学祖克曼研究所、西达赛奈医疗中心团队此次对17名
科学发现有规律可循吗？
(原文图11)科学发现的心理逻辑模型(蔡曙山，2013) 科学发现有无规律可循?这一直是一个令科学家着迷和不断进行研究探索的重大问题。最近一项研究提出，科学发现的重要方法包括溯因方法、归纳方法、类比和隐喻方法，这3 类方法在科学发现中被用来寻找和提出假说;而演绎推理则用来验证假说。研究
OpenAI推出具备推理能力新AI模型
据ChatGPT制造者美国开放人工智能公司（OpenAI）官网12日报道，该公司已经成功研发出一系列具备推理能力的人工智能（AI）模型，并命名为“OpenAI o1”。这些模型的独特之处在于，其会花更长时间思考问题，再做出响应，就像人类一样。因此，这些模型能对复杂任务进行推理，解决以前模型很难解决的
智谱发布推理模型初代版本
12月31日，国内明星大模型创业公司北京智谱华章科技有限公司推出基于扩展强化学习技术训练的推理模型GLM-Zero-Preview，擅长处理数理逻辑、代码和需要深度推理的复杂问题。GLM-Zero-Preview是GLM-Zero的初代版本。智谱表示，目前的GLM-Zero-Preview与Open
OpenAI推出具备推理能力新AI模型
据ChatGPT制造者美国开放人工智能公司（OpenAI）官网12日报道，该公司已经成功研发出一系列具备推理能力的人工智能（AI）模型，并命名为“OpenAI o1”。这些模型的独特之处在于，其会花更长时间思考问题，再做出响应，就像人类一样。因此，这些模型能对复杂任务进行推理，解决以前模型很难解决的
新引擎实现大语言模型推理速度显著提升
原文地址：http://news.sciencenet.cn/htmlnews/2023/11/511841.shtm
监测事权上收－助推理顺环境考核机制
自从空气治理相关指标被纳入地方政府考核时起，坊间就曾有过针对地方或因考核压力造假相关空气质量监测数据的担忧。事实上，从以往经验来看，即便是在空气重污染红色预警期间，也不乏一些地方“顶风”排污，客观上也凸显了有关监测数据的缺位。 针对以上担忧，环保部近日举行例行新闻发布会，相关负责人透露，201
多模态文本智能技术助力AI实现智能推理
随着人工智能（AI）深入各行各业，多模态大模型正在成为AI发展的重要方向之一。近日，第八届中国模式识别与计算机视觉学术会议（PRCV 2025）在上海召开，“多模态文本智能大模型前沿技术与应用”论坛同期举办。来自华南理工大学、哈尔滨工业大学、南开大学、华中科技大学、小红书及合合信息技术团队的专家与学
AI推理芯片激发新一轮应用创新
随着ChatGPT横空出世，人工智能（AI）领域的竞争进入白热化。英伟达公司的高端图形处理单元（GPU）芯片“一飞冲天”，受到各大科技公司追捧。与此同时，也有一些初创公司另辟蹊径，专注于研制另一种芯片——AI推理芯片，为AI产品的蓬勃发展和应用注入全新动力。 据物理学家组织网近日报道，这些AI
OpenAI最新模型o3展现强大推理能力
12月20日，美国开放人工智能研究中心（OpenAI）介绍了其最新的人工智能（AI）推理模型——o3及其轻量版o3-mini。该公司宣称，o3具备更先进、近似人类的推理能力，在代码编写、数学竞赛和掌握人类博士级别的科学知识等方面，均超越了其“前辈”o1。 不过，英国《新科学家》网站在12月22
Nature：情景推理是感觉运动形成记忆的基础
感觉运动是刺激作用于感觉神经而传至大脑，再由运动神经作出动作的活动。人一生都在学习、存储和应用运动记忆。比如，通过经验的积累，我们能操纵大量具有不同动力学特性的物体。然而对人体的每个感觉运动记忆如何被分割成单独的记忆单元进行存储，以及人体如何适应和使用这些不断增多的技能等机理尚不清楚。美国哥伦比
逻辑分析仪简介
逻辑分析仪是分析数字系统逻辑关系的仪器。逻辑分析仪是属于数据域测试仪器中的一种总线分析仪，即以总线（多线）概念为基础，同时对多条数据线上的数据流进行观察和测试的仪器，这种仪器对复杂的数字系统的测试和分析十分有效。逻辑分析仪是利用时钟从测试设备上采集和显示数字信号的仪器，最主要作用在于时序判定。由
逻辑分析仪简介
随着大规模集成电路和微型计算机的发展，现代数字系统已微机化。微机的引入,一方面使系统的能力大为提高,能完成许多复杂的任务；另一方面,传统的检测设备已不能有效地检测和分析数字系统,特别是微机系统。这是因为数字系统的数据传输是按空间分布多码位的方式进行的，这些码位组成一定格式的数据。传输的数据流是以离散
逻辑分析仪原理
逻辑分析仪是常用的电子仪器之一，主要应用于做数字电路测试，FPGA调试，CPU/DSP调试，数字IQ/IF分析，无线通信/雷达接收机测试等场合。逻辑分析仪由模块和计算机组成（当然还有探头），模块负责数据的触发，采集和存储的工作，计算机负责后端的数据显示，数据处理和分析等工作。图1是典型的逻辑分析仪模
“咿呀”婴儿也讲逻辑
图片来源：Getty Images 传统观点认为，以语言形式进行的符号交流凸显了人类进行推理的独特能力。然而，一项日前发表于《科学》杂志的最新研究显示，人们进行逻辑推理的能力或许并非真的依靠语言，至少不是完全依靠。该发现表明，因为年龄太小而无法说话的婴儿能够进行推理并作出合理论断。一个来自欧洲若干研
学者发布无机材料AI模型，推理能力到达新高度
松山湖材料实验室研究员孟胜/刘淼团队在国家自然科学基金等项目的支持下，研发了一种基于深度学习图结构的通用预训练力场（graph-based pre-trained transformer force field，简称GPTFF）。相关成果近日发表于《科学通报（英文版）》（Science Bullet
婴儿在会说话之前已经具备逻辑思考能力
据外媒报道 ，根据一项新的研究表明，婴儿可能还不会说话，但那个时候的他们却已经具备了逻辑思考的能力，而这正是人们推理能力的最早基础。传奇心理学家Jean Piaget认为，在7岁之前人们还没有逻辑思考的能力， 但科学家们对48个婴儿的眼睛扫描结果发现他们拥有排除这种能力。 这项研究已发表在《科
逻辑分析仪计量（二）
6.设置逻辑分析仪软件在逻辑分析仪的使用软件界面上进行信号设置。7.运行Eye Finder 8. 查看测试结果9.测试其他Pod和其他数据速率指标10.生成测试报告
高性能逻辑分析仪
高性能逻辑分析仪是一种用于力学、地球科学、工程与技术科学基础学科领域的电子测量仪器，于2011年10月12日启用。 技术指标 4GHz采样，1M 深度，68通道。 主要功能 从测试设备上采集和显示数字信号，进行分析和故障判断。
逻辑分析仪的分类
逻辑分析仪分为两大类：逻辑状态分析仪（Logic State Analyzer,简称LSA）和逻辑定时分析仪（Logic Timing Analyzer）。这两类分析仪的基本结构是相似的，主要区别表现在显示方式和定时方式上。 逻辑状态分析仪用字符0、1或助记符显示被检测的逻辑状态，显示直观，可
智能制造行业的投资逻辑
原文地址：http://news.sciencenet.cn/htmlnews/2024/2/517722.shtm
如何选择逻辑分析仪？
如果数字电路出现故障，我们一般优先就考虑使用逻辑分析仪来检查数字电路的完整性，不难发现存在的故障；但是在其他情况下你是否考虑到使用逻辑分析仪呢？譬如说：第一点如何观察测试系统在执行我们事先编制好的程序时，是不是真正地在按照我们设计好的程序来执行呢？如果我们向系统写入的是（MOV A,B）而系统则
逻辑分析仪的发展
逻辑分析仪1973年问世的第一代产品测试速度慢，功能简单，仅具有基本触发能力和显示方式，定时分析与状态分析分属两种仪器；第二代产品以微机化为标志，把定时分析和状态分析合二为一，便于微机的软、硬件分析；第三代产品的主要特点是高速度、多通道、大存储容量且具有以系统性能分析为代表的分析能力；第四代产品
逻辑分析仪计量（一）
中国国内每年销售逻辑分析仪大概一千万美元，但是能够完整计量逻辑分析仪参数的单位却不多。一般的计量单位只能做到门限精度的计量，而不能进行逻辑分析仪真正需要计量的参数：最大时钟/数据速率的计量。下面以安捷伦的16950B高端逻辑分析仪模块为例，介绍最大时钟/数据速率的计量方法。1.几点说明：1）计量的目
2029年计算机推理能力将与人类大脑相当
美国知名科技发明家雷・库兹韦尔近日称，随着人工智能的发展，到2029年，计算机的推理能力将达到与人类大脑相当的水平。 根据雷・库兹韦尔的预计，到2029年，计算机的智能程度将足以通过“图灵测试”，人类将无法区分参加“图灵测试”中人类和电脑给出的答案有何不同。 雷・库兹韦尔向众多企业C
阿里云：CPU为中心的计算体系也可加速AI推理
原文地址：http://news.sciencenet.cn/htmlnews/2024/1/515906.shtm
青年科学家：尺度定律不能显著提高模型因果推理能力
幻觉和泛化是模型落地绕不开的话题。模型的幻觉带来错误回答，使得人们在一些关键的认知上产生疑虑，一定程度上会阻碍大模型落地。由于过分注重尺度定律，人力、算力等大量资源资源投入到尺度定律，导致基层研究人员没有足够多的计算资源研究新的模型路线，挤压创新空间。青年科学家共同探讨大模型技术架构的未来可能性人工