張明義

1943年12月生於貴州省安順市。

2001年作為一個方向的領銜人蔘與成功申報貴州大學計算機軟件與理論博士點。

1980-現在，貴州科學院應用數學室。

現任研究員，院學術委員會副主任；貴州大學計算機科學與信息學院兼職教授，博士生導師，計算機軟件與理論博士點指導小組副組長。

曾任中國計算機學會理事，中國計算機學會西南計算機分會副理事長。任貴州省計算機學會副理事長與貴州省計算機用户協會理事長至今。擔任歐洲人工智能協會主辦的國際學術刊物《ai communication》編委和《貴州科學》編委。

2003年作為大陸學者首次聘為國際權威的人工智能學術會議ijcai?3的程序委員會委員。先後聘為國際學術會議lpnmr-01，isfst(99-02)的程序委員會委員和isfst-2000的大會組織委員會主席。

非經典邏輯，計算機科學，人工智能。

1992-1198先後主持國家八六三計劃智能計算機主題研究項目三個：“非單調邏輯的一些新探索”；“常識推理與歸納推理研究”；“類比與歸納的形式系統及應用研究”。

1999-現在主持國家自然科學基金項目三個：“數理邏輯(非經典)在知識工程中的應用”；“難於計算問題的固定參數複雜性研究及應用”；“基於回答集語義的約束邏輯程序設計”。

2001-現在主持貴州省優秀科技教育人才省長專項基金三項。

在非單調邏輯和不確定性推理的研究中處於國際前沿，先後在國內外重要學術刊物(如《information and computation》，《中國科學》(a輯)，《中國科學》(e輯)，《計算機學報》，《j. computer science & technology》，《軟件學報》(中英文版)，《計算機研究與發展》等)與國際學術會議(ijcai，ismvl，亞洲數學家大會和亞洲邏輯會議等)發表論文近60篇，其中sci與有ei收錄22篇。 ^[1] 

先後獲省科技進步獎(個人)二等一項，三等四項，四等一項；集體獎三等兩項；國家教委科技進步三等獎一項(個人)。1989年評為《國家中青年有突出貢獻專家》；1990年評為《貴州省有突出貢獻的優秀專家》；1998-現在兩次評為貴州省省管專家；1991年獲首批政府特殊津貼(國務院頒發證書)；1988，1989年兩次評為省勞動模範；1990當選貴州省第六次黨代會代表。