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王海峰：通用人工智能曙光已现
王海峰举例说，编程、解题、做规划等也同样如此：“如果一个人工智能系统具备了很强的理解、生成、逻辑和记忆能力，它就可以完成许多不同的任务。” 显然，理解、生成、逻辑、记忆这四个关键词代表的含义，也正是贯穿于人类思考过程中的能力。王海峰认为，如今，大语言模型已经初步具备了这几个方面的能力，而随着这些能力越来越强，“就会让我们更快地走向通用人工智能”。 ...
FPGA的用途及与CPLD的区别
⑦在编程方式上,ＣＰＬＤ主要是基于Ｅ2ＰＲＯＭ或ＦＬＡＳＨ存储器编程,编程次数可达1万次,优点是系统断电时编程信息也不丢失。ＣＰＬＤ又可分为在编程器上编程和在系统编程两类。ＦＰＧＡ大部分是基于ＳＲＡＭ编程,编程信息在系统断电时丢失,每次上电时,需从器件外部将编程数据重新写入ＳＲＡＭ中。其优点是可以编程任意次,可在工作中快速编程,从而实现板级和系统级的动态配置。 ...