第二讲知识表示2谓词逻辑表示产生式表示-资料