问答题
设已知： （1）能阅读的人是识字的。 （2）海豚不识字。 （3）有些海豚是很聪明的。 用归结策略证明：有些很聪明的人并不识字。
证明：首先定义谓词和常量：R.ead（x）表示x是能阅读的；Know（y）表示y是识字的；Wise（z）表示......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 专家系统是人工智能中最激动人心的领域之一，取得了丰硕的成果。你认为主要原因是什么？
问答题 画出专家系统的结构简图。
问答题 框架表示法的结构性、继承性各是指什么？
