我科學家張明義獲2014年維也納邏輯之夏終生成就獎
- 發佈時間：2014-08-11 07:32:52 來源：科技日報 責任編輯：羅伯特
科技日報訊 （記者劉志強）日前，第二屆維也納邏輯之夏聯合頒獎典禮在維也納科技大學舉行，世界各國邏輯學領域(電腦、人工智慧和數學）眾多著名科學家、學者出席頒獎儀式。貴州科學院張明義研究員在頒獎典禮上，榮獲由庫爾特·哥德爾學會頒發的2014年維也納邏輯之夏終生成就獎，以表彰他在中國人工智慧及知識表示領域，尤其是對在各種非單調性推理多變形式的數學描述上進行的開創性研究。
2014年第二屆維也納邏輯之夏是一場科學盛會，由庫爾特·哥德爾學會在維也納科技大學舉辦，期間有數學邏輯、電腦邏輯及人工智慧邏輯領域的12場主要會議以及部分學術研討會，吸引了世界各國多達2500多名該領域的科學家和研究學者參會。
庫爾特·哥德爾學會1987年成立於奧地利維也納，是旨在促進邏輯學、哲學及數學歷史研究的國際性組織，學會以著名的奧地利邏輯學家、數學家及哲學家庫爾特·弗裏德里希·哥德爾命名，以紀念他在這一領域卓越的成就。
今年已73歲的張明義研究員是我國在人工智慧及知識表示研究領域的先行者，也是我國第一位榮獲邏輯學領域哥德爾學會頒發的終身成就獎的科學家。他從事該領域研究已有30多年，在貴州建立了非單調性邏輯領域研究團隊，並促進了中國與西方其他國家在這一領域的交流。他在各種形式的非單調性推理的研究方面作出了顯著貢獻，主要體現在預設邏輯、回答集程式及信念修正等方面的研究上。他與合作者一同提出了一個基於生成規則集的回答集的一個特徵，並引入了將回答集程式與經典邏輯緊密聯繫起來的一階環公式概念。特別是早在1992年，他就提出預設邏輯及其主要變種的重要特徵，從而為解釋清楚這些邏輯的計算特徵和開發相應的預設推理演算法鋪平了道路。
