逻辑推理方法（形式逻辑、数理逻辑）；知识表示（知识图谱、概率图推理）
Logic reasoning methods; Knowledge representation (knowledge graphs, probabilistic graphical reasoning)
资料将在课前/课后上传。Materials will be uploaded before/after class.