第2章(知识表示方法3-谓词逻辑)