主講人簡介：邢锟，本科和碩士就讀于beat365体育官网，博士就讀于清華大學哲學系，邏輯學專業，目前在安陽師範學院工作。主要研究興趣和領域為符号主義人工智能、不确定性推理、自然語言理解、形式語義學和語言哲學。
