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

摘要：

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

個人簡介：

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