題目：保護(hù)個(gè)體隱私的分布式約束傳播算法
報(bào)告人：李三江 教授 悉尼科技大學(xué)
時(shí)間：2018-3-30.16:00-17:30
地點(diǎn)：長(zhǎng)安校區(qū) 圖書館西附樓小報(bào)告廳

摘要：

弧相容 (arc-consistency)算法是最重要的一種約束傳播算法，能夠?qū)s束搜索空間進(jìn)行有效剪枝。隨著移動(dòng)通訊、云存儲(chǔ)等技術(shù)的快速發(fā)展和社交網(wǎng)絡(luò)的迅速普及和深化，許許多多實(shí)際問題（例如會(huì)議安排、排課）都可以建模為分布式約束滿足問題進(jìn)行求解。分布式約束推理技術(shù)能得到廣泛應(yīng)用的一個(gè)前提是個(gè)體隱私能得到有效保護(hù)。在本工作中， 我們提出一個(gè)能有效保護(hù)個(gè)體隱私的分布式弧相容算法。此外，對(duì)比現(xiàn)有算法，我們的算法具有更小的時(shí)間和空間復(fù)雜度，并且可以推廣到任意k元的約束網(wǎng)絡(luò)上。

個(gè)人簡(jiǎn)介：

李三江，男，1975年2月生于陜西渭南。2001年獲四川大學(xué)基礎(chǔ)數(shù)學(xué)博士學(xué)位，師從劉應(yīng)明院士、羅懋康教授。現(xiàn)為澳大利亞悉尼科技大學(xué)教授。主要研究方向?yàn)榭臻g推理和人工智能理論。自2001年以來(lái)他與合作者系統(tǒng)深入地研究了空間推理的定性方法，并在空間關(guān)系建模和空間約束求解等方面取得重要成果。這些成果主要發(fā)表在人工智能領(lǐng)域重要國(guó)際刊物和頂級(jí)國(guó)際會(huì)議，其中包括Artificial Intelligence Journal 多篇。2004年獲德國(guó)洪堡基金會(huì)資助到德國(guó)弗賴堡大學(xué)訪問18個(gè)月（任洪堡學(xué)者），2006年獲首屆微軟青年教授獎(jiǎng)，2008年獲中創(chuàng)軟件人才獎(jiǎng)，2009年獲 澳大利亞ARC Future Fellow獎(jiǎng)，2010年獲悉尼科技大學(xué) ECR Research Excellence Award。