那么第二个问题呢?专家们对此有着不同的意见。直到20世纪90年代左右，麦卡锡提出的基于知识的方法都始终占据主流。但是GOFAI的研究却一直止步不前，为两个基本的未解之题所阻拦：
·要用什么样的符号结构来表达智能系统的想法？
·要怎样处理符号才能传播其代表的想法，以便它们以正确的方式影响行为？
这两个问题分别被称作表示和推理问题。
知识表示与推理
1958年，当麦卡锡首次提出他对人工智能的看法和研究计划时，他已经将有关的知识表示和推理问题详细地纳入自己的论文“常识编程”(ProgramswithCommonSense)中。他设想的系统能够将存储的知识作为一阶谓词演算的符号公式，即20世纪初为数学形式化而开发的人工逻辑语言。在他设想的系统中，推理包含计算推导，换句话说，这个系统能够计算其所存储知识的逻辑后果。麦卡锡如是说：
人工智能的进化
146