2021年第36屆ACM/IEEE計算機科學(xué)邏輯研討會（LICS2021）將于6月29日至7月2日在線舉行（主會場在意大利羅馬大學(xué)）。湖南大學(xué)數(shù)學(xué)學(xué)院賈曉東博士（第一作者）及其合作者的論文《Commutative Monads for Probabilistic Planning Languages》發(fā)表在LICS2021上。

LICS會議系列是理論計算機科學(xué)領(lǐng)域的頂級國際會議之一。其成果代表了理論計算機科學(xué)的前沿，具有廣泛而深遠的學(xué)術(shù)影響。自1986年在劍橋大學(xué)首次舉辦至2020年，LICS共發(fā)表國內(nèi)首批機構(gòu)署名論文9篇。 2021年，國內(nèi)首批簽約機構(gòu)共有3篇論文被LICS接收，分別是中國科學(xué)院、復(fù)旦大學(xué)、湖南大學(xué)。

賈曉東博士及其合作者的工作解決了指稱語義和領(lǐng)域理論中長期懸而未決的問題：尋找DCPO范疇中的可交換概率冪函子，并利用它們?yōu)楦唠A概率計算提供指稱語義。這項工作也是推出領(lǐng)域理論中著名的Jung-Tix 問題（由Jung 和Tix 于1998 年提出）的有力嘗試。

賈曉東博士利用Keimel和Lawson的K-完全理論，在數(shù)學(xué)上給出了構(gòu)造交換概率冪函子的統(tǒng)一方法，并具體給出了三種交換概率冪函子。他和他的合作者利用此類冪函子成功建立了用于高階概率計算的指稱語義模型，并證明在他們的指稱語義模型中，概率程序的計算順序不會影響最終的計算結(jié)果。這項工作為高階概率計算的進一步發(fā)展提供了堅實可靠的數(shù)學(xué)理論基礎(chǔ)。

來源：數(shù)學(xué)學(xué)院

實習(xí)編輯：李新茹

責(zé)任編輯：溫宜嘉