知识表达和推理的课本,uoft,适合初学者