问答题
从研究的角度不同，对人工智能的研究可分两大阵营：（）和（）。其中（）的理论基础为数理逻辑。
联接；符号；符号
问答题 用状态空间法表示问题时，什么是问题的解？求解过的本质是什么？
问答题 产生式的基本形式是什么？它与谓词逻辑中的蕴含式有什么共同处及不同处？
问答题 请解释框架表示法的结构性、继承性、自然性
