（单选题）
已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（）
A状态空间法
B问题归约法
C谓词逻辑法
D语义网络法
正确答案
答案解析
略
相似试题
（判断题）
容错体系结构风格的目的是通过一系列的容错构件修正初始系统的错误来改善系统的稳定性。
（填空题）
算法是求解某个问题所用的一系列操作规则的精确描述。一个算法必须具有（）、确定性、可行性和输入输出。
（填空题）
对于（）图形，通常是以点变换为基础，把图形的一系列顶点作几何变换后，连接新的顶点序列即可产生新的变换后的图形。
（单选题）
问题归约法的组成部分包括一个初始问题描述、（）、一套本原问题描述。
（单选题）
用产生式系统来描述一个具体问题。设字符转换问题规则如下：1.A∧B→C；2.A∧C→D；3.B∧C→G；4.B∧E→F；5.D→E；已知：A，B求：F。设综合数据库用集合{x}表示，其中x为字符。采用顺序排队的控制策略。初始状态{A，B}。下列结束条件正确的是（）
（判断题）
Linux内核完成初始化之后，必须挂载一个根文件系统，并执行由开发人员定义的一系列初始化例程。（）
（单选题）
用产生式系统来描述一个具体问题。设字符转换问题规则如下：1.A∧B→C；2.A∧C→D；3.B∧C→G；4.B∧E→F；5.D→E；已知：A，B求：F。设综合数据库用集合{x}表示，其中x为字符。采用顺序排队的控制策略。初始状态{A，B}。为了得到F，最后执行的被触发规则是（）
（单选题）
已知一组待排序的记录关键字初始排列如下：45，34，87，25，67，43，11，66，27，78 。 （）是初始堆（大堆顶）。
（单选题）
已知一组待排序的记录关键字初始排列如下：45，34，87，25，67，43，11，66，27，78 。
