GB/T 30880-2014
信息技术 通用逻辑(CL):基于逻辑的语言族框架
Information technology.Common Logic(CL): a framework for a family of logic-based languages
GBT30880-2014, GB30880-2014
- 标准号
- GB/T 30880-2014
- 别名
- GBT30880-2014, GB30880-2014
- 发布
- 2014年
- 采用标准
- ISO/IEC 24707:2007 IDT
- 发布单位
- 国家质检总局
- 当前最新
- GB/T 30880-2014
- 引用标准
- GB 13000-2010 GB/T 5271.15-2008 ISO/IEC 14977:1996
- 适用范围
- 本标准规定了用来对不同的计算机系统间的数据和信息进行表示和交换的逻辑语言族=下列特征对本标准的设计至关重要=一族内的语言具有公开的语义，无需借助于解释器来执行语言中的表达式就可以理解这些表达式的含义熹一族内的语言在逻辑上是全面的,能为任意的]阶逻辑语句规定表达式;一在异构计算机系统间交换信息下列内容属于本标准的范- ————本体和知识库中的信息表示,一推理引擎输人或输出表达式的规范;一语言中符号的形式化解释。 下列内容超出本标准的范围: ————一证明论和推理规则的规范;一各异构计算机系统符号间翻译器的规范;一提供逻辑“论域”的符号与“现实世界”的个体问关系的基于计算机的操作方法。 本标准给出了通用逻辑的语法和语义。 本标准定义了通用逻辑的抽象语法并为一阶逻辑的特定扩展定义了与之关联的模型理论化的语其目的是使用阶逻辑的任何系统的内容都能够以本标准表达从而促进系统间基于一阶逻辑的信息的交换2
GB/T 30880-2014相似标准
推荐
科学发现有规律可循吗？
研究者将认知科学的学科框架映射到现代逻辑的背景之中，得到认知逻辑(cognitive logic)的学科框架。在这个框架中，我们有哲学逻辑、心理逻辑、语言逻辑、人工智能的逻辑、文化与进化的逻辑以及神经系统的逻辑。认知逻辑是对现代逻辑的“重新洗牌”，适应于认知科学背景下逻辑学的发展。 第三，将心理逻辑安放在认知逻辑的合理框架内，心理逻辑取得了合理存在的理由。...
百度首席技术官首度表态“通用人工智能”
体现人工智能核心能力的四个关键词在一众与人工智能相关的词汇中，王海峰选出了四个词：理解、生成、逻辑和记忆。在他看来，这四个词所代表的含义，既是人工智能最核心的能力，也是通用人工智能系统应具备的最基本的能力。“比如大语言模型要创作一篇内容，它需要‘理解’创作主题，理清创作‘逻辑’，在‘记忆’中搜寻素材，并将对素材的理解融会贯通，最后‘生成’一篇合格的文稿。”...
百度CTO王海峰：通用人工智能曙光已现
王海峰举例说，编程、解题、做规划等也同样如此：“如果一个人工智能系统具备了很强的理解、生成、逻辑和记忆能力，它就可以完成许多不同的任务。” 显然，理解、生成、逻辑、记忆这四个关键词代表的含义，也正是贯穿于人类思考过程中的能力。王海峰认为，如今，大语言模型已经初步具备了这几个方面的能力，而随着这些能力越来越强，“就会让我们更快地走向通用人工智能”。 ...
通过图灵测试就有AI能力？实现认知智能还很远
基于模型的人工智能框架依赖于先前定义的规则、逻辑和算法，通过编程方式进行建模和决策。这包括符号主义和专家系统等方法。另一方面，基于数据的人工智能框架则侧重于利用大规模数据进行训练和学习，通过机器学习和深度学习技术从数据中发现模式和规律。这种方法的代表是神经网络和深度学习模型。这两种技术基础各自具有优势和适用场景，目前的人工智能发展往往将它们结合起来，以实现更强大和全面的智能能力。...