基本复合推理的有效形式
基本的复合命题构成的推理主要有以下3种：1、联言推理，有两种有效式，分别为分解式和组合式。2、选言推理，又分为相容的选言推理和不相容的选言推理，相容的选言推理只有一种有效式，即否定肯定式，不相容的选言推理有两种有效式：否定肯定式和肯定否定式。3、假言推理，可分为三种：充分条件的假言推理、必要条件的假言推理、充分必要条件条件的假言推理。充分条件的假言推理有两种有效式：肯定前件式、否定后件式；必要条件的假言推理也有两种有效式：否定前件式、肯定后件式；充分必要条件条件的假言推理有4种有效式：肯定前件式、肯定后件式、否定前件式、否定后件式。......阅读全文
基本复合推理的有效形式
基本的复合命题构成的推理主要有以下3种：1、联言推理，有两种有效式，分别为分解式和组合式。2、选言推理，又分为相容的选言推理和不相容的选言推理，相容的选言推理只有一种有效式，即否定肯定式，不相容的选言推理有两种有效式：否定肯定式和肯定否定式。3、假言推理，可分为三种：充分条件的假言推理、必要条件的假
大脑推理神经过程首次阐明
大脑如何推断两件事之间的关系？科学家通过实验任务对人类大脑活动进行记录，创建了一个独特的数据库，然后利用人工智能（AI）将数据转化为清晰的高维几何形状，首次阐明了人类大脑中推理的神经过程。研究结果14日在《自然》杂志网站在线发表。 美国哥伦比亚大学祖克曼研究所、西达赛奈医疗中心团队此次对17名
大脑推理神经过程首次阐明
神经过程首次阐明 科技日报北京8月14日电 （记者张梦然）大脑如何推断两件事之间的关系？科学家通过实验任务对人类大脑活动进行记录，创建了一个独特的数据库，然后利用人工智能（AI）将数据转化为清晰的高维几何形状，首次阐明了人类大脑中推理的神经过程。研究结果14日在《自然》杂志网站在线发表。在现实中，当
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”。这些模型的独特之处在于，其会花更长时间思考问题，再做出响应，就像人类一样。因此，这些模型能对复杂任务进行推理，解决以前模型很难解决的
监测事权上收－助推理顺环境考核机制
自从空气治理相关指标被纳入地方政府考核时起，坊间就曾有过针对地方或因考核压力造假相关空气质量监测数据的担忧。事实上，从以往经验来看，即便是在空气重污染红色预警期间，也不乏一些地方“顶风”排污，客观上也凸显了有关监测数据的缺位。 针对以上担忧，环保部近日举行例行新闻发布会，相关负责人透露，201
AI推理芯片激发新一轮应用创新
随着ChatGPT横空出世，人工智能（AI）领域的竞争进入白热化。英伟达公司的高端图形处理单元（GPU）芯片“一飞冲天”，受到各大科技公司追捧。与此同时，也有一些初创公司另辟蹊径，专注于研制另一种芯片——AI推理芯片，为AI产品的蓬勃发展和应用注入全新动力。 据物理学家组织网近日报道，这些AI
新引擎实现大语言模型推理速度显著提升
原文地址：http://news.sciencenet.cn/htmlnews/2023/11/511841.shtm
多模态文本智能技术助力AI实现智能推理
随着人工智能（AI）深入各行各业，多模态大模型正在成为AI发展的重要方向之一。近日，第八届中国模式识别与计算机视觉学术会议（PRCV 2025）在上海召开，“多模态文本智能大模型前沿技术与应用”论坛同期举办。来自华南理工大学、哈尔滨工业大学、南开大学、华中科技大学、小红书及合合信息技术团队的专家与学
OpenAI最新模型o3展现强大推理能力
12月20日，美国开放人工智能研究中心（OpenAI）介绍了其最新的人工智能（AI）推理模型——o3及其轻量版o3-mini。该公司宣称，o3具备更先进、近似人类的推理能力，在代码编写、数学竞赛和掌握人类博士级别的科学知识等方面，均超越了其“前辈”o1。 不过，英国《新科学家》网站在12月22
Nature：情景推理是感觉运动形成记忆的基础
感觉运动是刺激作用于感觉神经而传至大脑，再由运动神经作出动作的活动。人一生都在学习、存储和应用运动记忆。比如，通过经验的积累，我们能操纵大量具有不同动力学特性的物体。然而对人体的每个感觉运动记忆如何被分割成单独的记忆单元进行存储，以及人体如何适应和使用这些不断增多的技能等机理尚不清楚。美国哥伦比
学者发布无机材料AI模型，推理能力到达新高度
松山湖材料实验室研究员孟胜/刘淼团队在国家自然科学基金等项目的支持下，研发了一种基于深度学习图结构的通用预训练力场（graph-based pre-trained transformer force field，简称GPTFF）。相关成果近日发表于《科学通报（英文版）》（Science Bullet
阿里云：CPU为中心的计算体系也可加速AI推理
原文地址：http://news.sciencenet.cn/htmlnews/2024/1/515906.shtm
青年科学家：尺度定律不能显著提高模型因果推理能力
幻觉和泛化是模型落地绕不开的话题。模型的幻觉带来错误回答，使得人们在一些关键的认知上产生疑虑，一定程度上会阻碍大模型落地。由于过分注重尺度定律，人力、算力等大量资源资源投入到尺度定律，导致基层研究人员没有足够多的计算资源研究新的模型路线，挤压创新空间。青年科学家共同探讨大模型技术架构的未来可能性人工
2029年计算机推理能力将与人类大脑相当
美国知名科技发明家雷・库兹韦尔近日称，随着人工智能的发展，到2029年，计算机的推理能力将达到与人类大脑相当的水平。 根据雷・库兹韦尔的预计，到2029年，计算机的智能程度将足以通过“图灵测试”，人类将无法区分参加“图灵测试”中人类和电脑给出的答案有何不同。 雷・库兹韦尔向众多企业C
OpenAI－发布新一代大模型，更擅长推理也更贵
传说中的“草莓”现身，9月12日晚间，OpenAI正式对外发布一款名为o1的新模型，这款模型为该公司下一代 “推理” 模型中的第一个，o为“Orion（猎户座）”，这款模型可以比人类更快地回答更复杂的问题。与以前的模型相比，在编写代码和解决多步骤问题方面做得更好。但它也比此前发布的GPT-4o更贵，
新神经网络使计算机像人一样推理
你打算购买的新房附近有几个公园？某餐厅最好的配餐酒是什么？回答这些日常问题需要进行关系推理，但人工智能（AI）很难掌握这种思维方式。据美国《科学》杂志官网14日消息，谷歌“深度思维”（DeepMind）团队日前研发出一种简单的算法，不仅能解决此类推理问题，而且在复杂的图像理解测试中能超过人类。
奥科学家发现鹦鹉推理能力堪比三岁小孩
非洲灰鹦鹉(资料图) 据澳大利亚《每日电讯报》8月8日报道，奥地利维也纳大学科学家发现，非洲灰鹦鹉不仅能学人说话，在智能推理方面也表现出色，像人类三岁小孩一样聪明。 研究人员对维也纳一个鹦鹉救助中心的6只非洲灰鹦鹉进行测试，向这些鹦鹉展示了两个盒子，一个盒子中放有核桃，而另一个盒子
我国科学家提出高效推理策略－可避免大模型“过度思考”
随着人工智能大模型的不断发展，如何让其在“难”的问题上深入思考，而不是对所有问题“想个不停”？记者5月29日从中国科学院自动化研究所获悉，该所联合鹏城实验室提出了一种高效推理策略AutoThink，可让大模型实现自主切换思考模式，避免“过度思考”。 “当前，越来越多的大模型开始具备‘深度思考能
讯飞联手华为攻克全国产算力下推理模型训练难关
1月15日，科大讯飞发布了我国“全国产”算力平台第一个深度推理大模型——讯飞星火X1。据公开测试，该模型中文数学能力表现突出，目前已应用于教育、医疗等场景。在大模型研发领域，讯飞星火坚持走全国产化路线。据科大讯飞研究院副院长殷兵介绍，尽管在全国产算力平台上训练深度推理模型遭遇了诸多挑战，但科大讯飞携
比推理小说烧脑！“隐居”百年的她如何“重现江湖”
“隐身”百年的八角花。受访者供图当来到茶园山喀斯特山洞洞口，见到“消失”百年的八角花时，凡强的心情像花儿一样明媚起来。为了寻找这种植物，中山大学生命科学学院副教授凡强和他的团队曾大费周章却多次无功而返，但最终功夫不负有心人，“遗世独立”的八角花百年之后“重现人间”。近日，最新一期美国植物分类学会会刊
复杂系统自主推理可刻画全球性传染病早期传播
3月25日，《自然—计算科学》在线发表同济大学物理科学与工程学院、上海自主智能无人系统科学中心教授严钢团队关于复杂系统自主推理新成果。在该研究中，作者提出数据驱动的复杂系统自主推理新框架，实现了结构信息不完整和强噪声场景下的鲁棒推理，为自动化、智能化地发现真实复杂系统的底层原理提供了重要
复杂系统自主推理可刻画全球性传染病早期传播
3月25日，《自然—计算科学》在线发表同济大学物理科学与工程学院、上海自主智能无人系统科学中心教授严钢团队关于复杂系统自主推理新成果。在该研究中，作者提出数据驱动的复杂系统自主推理新框架，实现了结构信息不完整和强噪声场景下的鲁棒推理，为自动化、智能化地发现真实复杂系统的底层原理提供了重要基础和算法支
科大讯飞全国产深度推理模型星火X1实现升级
3月3日，记者从科大讯飞获悉，其自主研发的全国产深度推理大模型“星火X1”完成全面升级，并在医疗、教育等领域推出系列创新应用。科大讯飞表示，此次升级“充分证明基于国产算力训练的全栈自主可控大模型具备登顶业界最高水平的强大实力和持续创新的巨大潜力”。 在升级后的星火X1加持下，科大讯飞旗下讯飞晓
程京德：为什么说逻辑推理能力是人类智能中最基本的能力？
“逻辑学是一门研究论证与推理之正确性的基础性学问，其目的为建立和建全用于判断各种论证与推理之正确性的一般标准。”[1] “推理是从若干前提经过一系列有序步骤得出结论的过程，其每一个步骤便是一个从若干前提得出一个结论的论证。”[1,2] “逻辑思维是一种在思维过程中使用论证或推理的、并且以某些公认
科学发现有规律可循吗？
(原文图11)科学发现的心理逻辑模型(蔡曙山，2013) 科学发现有无规律可循?这一直是一个令科学家着迷和不断进行研究探索的重大问题。最近一项研究提出，科学发现的重要方法包括溯因方法、归纳方法、类比和隐喻方法，这3 类方法在科学发现中被用来寻找和提出假说;而演绎推理则用来验证假说。研究
婴儿在会说话之前已经具备逻辑思考能力
据外媒报道 ，根据一项新的研究表明，婴儿可能还不会说话，但那个时候的他们却已经具备了逻辑思考的能力，而这正是人们推理能力的最早基础。传奇心理学家Jean Piaget认为，在7岁之前人们还没有逻辑思考的能力， 但科学家们对48个婴儿的眼睛扫描结果发现他们拥有排除这种能力。 这项研究已发表在《科
OpenAI开发神秘项目“草莓”提升模型智能
·使用“草莓”模型的目的是使OpenAI的人工智能不仅能够生成查询答案，还能够提前做好充足计划，自主可靠地在互联网上导航，执行OpenAI所说的“深度研究”。推理是人工智能实现或超人类智能水平的关键。OpenAI正在开发代号为“草莓”（Strawberry）的新推理技术。据路透社当地时间7月12日报
谷歌推出两大数学模型，19秒解开IMO2024几何问题
·六道题每题可得7分，总分最高42分。谷歌DeepMind的人工智能系统在今年国际数学奥林匹克竞赛中最终得分28分。今年金牌的门槛是29分，在正式比赛的609名选手中，58名达到了这一门槛。·DeepMind表示，尽管基于自然语言的方法可以访问更多数据，但会产生看似合理但不正确的中间推理步骤和解决方