归结演绎推理是一种（）的机器推理技术

A. 计算机表示法
B. 与/或图表示法
C. 状态空间表示法
D. 产生式规则表示法

A. 用与/或图表示知识方便；使用程序设计语言表达，也便于计算机存储处理
B. 与/或图表示知识时不一定同时有与节点和或节点
C. 与/或图能方便地表示陈述性知识和过程性知识
D. 能用与/或图表示的知识不适宜用其他方法表示

A. 可以精确表示的
B. 正确的
C. 在大学中学到的
D. 能解决问题的