一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？
第1题：
第2题：
SDH的特点有哪些？SDH帧中AUPTR表示什么？它有何作用？
第3题：
什么是海洋知识经济？它有何特征？
海洋知识经济：依靠现代科学技术，以先进的科技知识对海洋资源进行合理的开发利用和保护，使海洋资源利用率得到最大的提高，同时又不损害海洋环境和人类生存环境的经济活动的总和。
特征：第一，科学和技术的研究开发成为海洋知识经济的重要基础；第二，信息和通信技术在海洋知识经济的发展过程处于中心地位；第三，现代服务业在海洋知识经济中扮演了主要角色；第四，人力的素质和技能成为海洋知识经济实现的先决条件。
第4题：
已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（）
第5题：
谓词逻辑的基本组成部分是（）和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。
第6题：
A.严密性
B.自然性
C.通用性
D.以上都对
第7题：
表示‘0’‘1’；两值逻辑的数据类型是bit（位），表示‘0’‘1’‘Z’等九值逻辑的数据类型是std_logic（标准逻辑），表示空操作的数据类型是（）。
第8题：
什么是误差?误差主要分为几种类型?每种类型的误差 有何特点?如何表示?
第9题：
一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）
第10题：
一阶逻辑即是指（）。