清華大學(xué)哲學(xué)系教授,中國邏輯學(xué)會常務(wù)理事,專注于非經(jīng)典邏輯、邏輯與人工智能的研究,在相關(guān)領(lǐng)域有重要學(xué)術(shù)貢獻。