ISO/IEC 24707:2018
信息技术 - 通用逻辑（CL）:一个基于逻辑语言的框架
Information technology — Common Logic (CL) — A framework for a family of logic-based languages
- 标准号
- ISO/IEC 24707:2018
- 发布
- 2018年
- 发布单位
- 国际标准化组织
- 当前最新
- ISO/IEC 24707:2018
ISO/IEC 24707:2018相似标准
推荐
科学发现有规律可循吗？
研究者将认知科学的学科框架映射到现代逻辑的背景之中，得到认知逻辑(cognitive logic)的学科框架。在这个框架中，我们有哲学逻辑、心理逻辑、语言逻辑、人工智能的逻辑、文化与进化的逻辑以及神经系统的逻辑。认知逻辑是对现代逻辑的“重新洗牌”，适应于认知科学背景下逻辑学的发展。 第三，将心理逻辑安放在认知逻辑的合理框架内，心理逻辑取得了合理存在的理由。...
百度首席技术官首度表态“通用人工智能”
王海峰举例说，编程、解题、做规划等也同样如此，“如果一个人工智能系统具备了很强的理解、生成、逻辑和记忆能力，它就可以完成许多不同的任务。”显然，理解、生成、逻辑、记忆这四个关键词代表的含义，也正是贯穿于人类思考过程中的能力。王海峰认为，如今，大语言模型已经初步具备了这几个方面的能力，而随着这些能力越来越强，“就会让我们更快地走向通用人工智能”。...
通过图灵测试就有AI能力？实现认知智能还很远
基于模型的人工智能框架依赖于先前定义的规则、逻辑和算法，通过编程方式进行建模和决策。这包括符号主义和专家系统等方法。另一方面，基于数据的人工智能框架则侧重于利用大规模数据进行训练和学习，通过机器学习和深度学习技术从数据中发现模式和规律。这种方法的代表是神经网络和深度学习模型。这两种技术基础各自具有优势和适用场景，目前的人工智能发展往往将它们结合起来，以实现更强大和全面的智能能力。...
百度CTO王海峰：通用人工智能曙光已现
王海峰举例说，编程、解题、做规划等也同样如此：“如果一个人工智能系统具备了很强的理解、生成、逻辑和记忆能力，它就可以完成许多不同的任务。” 显然，理解、生成、逻辑、记忆这四个关键词代表的含义，也正是贯穿于人类思考过程中的能力。王海峰认为，如今，大语言模型已经初步具备了这几个方面的能力，而随着这些能力越来越强，“就会让我们更快地走向通用人工智能”。 ...