科技日?qǐng)?bào)訊 （記者劉志強(qiáng)）日前，第二屆維也納邏輯之夏聯(lián)合頒獎(jiǎng)典禮在維也納科技大學(xué)舉行，世界各國(guó)邏輯學(xué)領(lǐng)域(計(jì)算機(jī)、人工智能和數(shù)學(xué)）眾多著名科學(xué)家、學(xué)者出席頒獎(jiǎng)儀式。貴州科學(xué)院張明義研究員在頒獎(jiǎng)典禮上，榮獲由庫爾特·哥德爾學(xué)會(huì)頒發(fā)的2014年維也納邏輯之夏終生成就獎(jiǎng)，以表彰他在中國(guó)人工智能及知識(shí)表示領(lǐng)域，尤其是對(duì)在各種非單調(diào)性推理多變形式的數(shù)學(xué)描述上進(jìn)行的開創(chuàng)性研究。

　　2014年第二屆維也納邏輯之夏是一場(chǎng)科學(xué)盛會(huì)，由庫爾特·哥德爾學(xué)會(huì)在維也納科技大學(xué)舉辦，期間有數(shù)學(xué)邏輯、計(jì)算機(jī)邏輯及人工智能邏輯領(lǐng)域的12場(chǎng)主要會(huì)議以及部分學(xué)術(shù)研討會(huì)，吸引了世界各國(guó)多達(dá)2500多名該領(lǐng)域的科學(xué)家和研究學(xué)者參會(huì)。

　　庫爾特·哥德爾學(xué)會(huì)1987年成立于奧地利維也納，是旨在促進(jìn)邏輯學(xué)、哲學(xué)及數(shù)學(xué)歷史研究的國(guó)際性組織，學(xué)會(huì)以著名的奧地利邏輯學(xué)家、數(shù)學(xué)家及哲學(xué)家?guī)鞝柼亍じダ锏吕锵！じ绲聽柮?，以紀(jì)念他在這一領(lǐng)域卓越的成就。

　　今年已73歲的張明義研究員是我國(guó)在人工智能及知識(shí)表示研究領(lǐng)域的先行者，也是我國(guó)第一位榮獲邏輯學(xué)領(lǐng)域哥德爾學(xué)會(huì)頒發(fā)的終身成就獎(jiǎng)的科學(xué)家。他從事該領(lǐng)域研究已有30多年，在貴州建立了非單調(diào)性邏輯領(lǐng)域研究團(tuán)隊(duì)，并促進(jìn)了中國(guó)與西方其他國(guó)家在這一領(lǐng)域的交流。他在各種形式的非單調(diào)性推理的研究方面作出了顯著貢獻(xiàn)，主要體現(xiàn)在缺省邏輯、回答集程序及信念修正等方面的研究上。他與合作者一同提出了一個(gè)基于生成規(guī)則集的回答集的一個(gè)特征，并引入了將回答集程序與經(jīng)典邏輯緊密聯(lián)系起來的一階環(huán)公式概念。特別是早在1992年，他就提出缺省邏輯及其主要變種的重要特征，從而為解釋清楚這些邏輯的計(jì)算特征和開發(fā)相應(yīng)的缺省推理算法鋪平了道路。