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

摘要：

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

個人簡介：

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