GBT 30880-2014 信息技术 通用逻辑CL：基于逻辑的语言族框架

信息技术通用逻辑(CL):基于逻辑的语言族框架
Informationtechnology.CommonLogic(CL)：aframeworkforafamilyoflogic-basedlanguages

摘要:本标准规定了用来对不同的计算机系统间的数据和信息进行表示和交换的逻辑语言族。下列特征对本标准的设计至关重要:--族内的语言具有公开的语义,无需借助于解释器来执行语言中的表达式就可以理解这些表达式的含义;--族内的语言在逻辑上是全面的,能为任意的一阶逻辑语句规定表达式;--在异构计算机系统间交换信息。下列内容属于本标准的范围:--本体和知识库中的信息表示;--推理引擎输入或输出表达式的规范;--语言中符号的形式化解释。下列内容超出本标准的范围:--证明论和推理规则的规范;--各异构计算机系统符号间翻译器的规范;--提供逻辑“论域”的符号与“现实世界”的个体间关系的基于计算机的操作方法。本标准给出了通用逻辑的语法和语义。本标准定义了通用逻辑的抽象语法并为一阶逻辑的特定扩展定义了与之关联的模型理论化的语义。其目的是使用一阶逻辑的任何系统的内容都能够以本标准表达,从而促进系统间基于一阶逻辑的信息的交换。本标准不考虑计算能力相关的问题(如效率、优化等)。

标准编号：GB/T30880-2014
标准类型：
发布单位：CN-GB
发布日期：2014年1月1日
强制性标准：否
实施日期：2015年1月1日
关键词：

GB/T 30880-2014 信息技术 通用逻辑(CL):基于逻辑的语言族框架.pdf

2024-9-26 13:26 上传 GBT 30880-2014 信息技术 通用逻辑CL：基于逻辑的语言族框架.pdf

文件大小:

1.34 MB

下载次数:

0

附件售价:

1 下载券 [赞助会员免费下载]

本地下载 立即购买