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

摘要：

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

個人簡介：

李三江,，男，1975年2月生于陜西渭南,。2001年獲四川大學(xué)基礎(chǔ)數(shù)學(xué)博士學(xué)位,，師從劉應(yīng)明院士、羅懋康教授。現(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。