清華新聞網(wǎng)7月1日電 6月25日-27日，由清華大學(xué)-阿姆斯特丹大學(xué)邏輯學(xué)聯(lián)合研究中心、清華大學(xué)人文學(xué)院哲學(xué)系主辦的第18屆“理性與知識(shí)的理論研究（TARK）”國(guó)際會(huì)議在線(xiàn)上舉行。馬斯特里赫特大學(xué)的佩雷亞（Andrés Perea）教授主持開(kāi)幕儀式，清華大學(xué)邏輯學(xué)聯(lián)合研究中心主任劉奮榮出席活動(dòng)并致辭。會(huì)議共有世界各地上百位研究員、教師以及學(xué)生參加。
部分與會(huì)嘉賓在線(xiàn)合影
會(huì)議邀請(qǐng)四位國(guó)際知名學(xué)者作特邀報(bào)告。加州大學(xué)戴維斯分校教授希珀（Burkhard Schipper）的報(bào)告題目是“無(wú)覺(jué)知的互動(dòng)覺(jué)知（Interactive Awareness of Unawareness）”，主要提出了一種易于處理的語(yǔ)義來(lái)對(duì)無(wú)覺(jué)知的覺(jué)知推理進(jìn)行建模，從而處理諸如“我發(fā)現(xiàn)可能存在一些我沒(méi)有覺(jué)知的東西”等句子的確切含義。阿姆斯特丹大學(xué)邏輯、語(yǔ)言與計(jì)算研究所主任司麥慈（Sonja Smets）教授作了題為“學(xué)習(xí)別人所知道的（Learning What Others Know）”的報(bào)告，進(jìn)一步擴(kuò)展了認(rèn)知邏輯框架，使主體對(duì)認(rèn)知斷言能夠進(jìn)行比較，從而刻畫(huà)了主體的認(rèn)知優(yōu)勢(shì)。澳大利亞國(guó)立大學(xué)的斯蒂爾（Katie Steele）教授的報(bào)告題目為“理性和覺(jué)知增長(zhǎng)的預(yù)期（Rationality and the Anticipation of Awareness Growth）”，討論了在覺(jué)知增長(zhǎng)與理性預(yù)期之間的關(guān)系。哈佛大學(xué)的普羅卡?。ˋriel Procaccia）教授報(bào)告了“民主和對(duì)隨機(jī)性的追求（Democracy and the Pursuit of Randomness）”，主要討論公民集會(huì)中的抽簽選拔如何確保其能反映一般人口特征，以及其如何確保公平的問(wèn)題。
“理性與知識(shí)的理論研究（TARK）”是關(guān)于理性與知識(shí)形式化推理這一跨學(xué)科問(wèn)題的國(guó)際頂級(jí)會(huì)議，議題范圍遍及計(jì)算機(jī)科學(xué)、人工智能、博弈論、決策理論、哲學(xué)、邏輯學(xué)、語(yǔ)言學(xué)和認(rèn)知科學(xué)等各個(gè)領(lǐng)域。會(huì)議主題涵蓋知識(shí)、信念、覺(jué)知和不確定性的語(yǔ)義模型、有限理性與資源有限推理、常識(shí)認(rèn)知推理、認(rèn)知邏輯認(rèn)識(shí)博弈理論等。TARK會(huì)議從上世紀(jì)80年代開(kāi)始，在世界各地每?jī)赡昱e行一次。本屆TARK會(huì)議首次由中國(guó)大學(xué)主辦，為期三天。
供稿：邏輯學(xué)聯(lián)合研究中心
編輯：張恩鳴 陳曉艷
審核：曲田
