李三江，男，悉尼科技大學工程與信息技術學院教授。
基本介紹
- 中文名：李三江
- 國籍：中國
- 信仰：無神論
- 性別：男
- 職稱：教授
教育背景,科研概況,研究領域,研究概況,研究課題,科研成果,獎勵與榮譽,學術成果,
教育背景
理學博士 (數學)，四川大學，成都， 中國, 2001。
科研概況
研究領域
人工智慧
空間推理
研究概況
空間知識的表示與推理在諸如地理信息系統、機器人學、計算機視覺等領域有重要套用。我和合作者系統研究了空間推理的拓撲方法，在空間關係建模和空間約束求解方面取得一些重要成果。我們工作的一大部分是建立在著名的區域連線演算RCC之上的。
1. 廣義區域連線演算。為能同時容納離散和連續模型，我們引入了廣義的區域連線演算。原RCC理論只有連續模型，但實際套用中大量採用的卻都是離散模型。通過引入一些範疇運算元，我們建立了離散和連續模型之間的聯繫，調和了這一矛盾。基於GRCC理論，我們進一步建立了空間拓撲信息的一個分層表示理論。
2. 基於關係複合的推理技術。複合推理技術最初是由Allen在時序推理研究中提出的。我們證明了任意RCC模型都不是RCC8複合表的外延性模型，而Egenhofer的9交模型在一定意義下是最大的外延性模型。這表明：一個關係模型是否對複合運算封閉與複合推理是否完備是相互獨立的。這否定地回答了Bennett、Isli和 Cohn 在1997年提出的一個猜想。
3. 拓撲關係建模。將9交方法套用於複雜平面區域，我們得到了38種基本拓撲關係。通過引入簡單區域的補區域，我們提出了帶補的Egenhofer模型，並證明其為Duentsch提出的 RCC11關係代數的一個模型。為處理非精確甚至模糊的拓撲信息，我們提出了一個基於模糊集理論的拓撲關係模型。
4. 空間約束求解算法。我們成功解決了空間推理中幾個重要的約束可滿足問題。對於RCC8代數，我們設計了一個複雜度為立方的實現算法，並證明：一個易處理子集相對於關係交、關係逆、和關係弱複合運算的閉包也是易處理子集。這保證了Renz和Nebel關於RCC8計算複雜性的著名論斷的正確性。為此提出的“一步擴張”概念後來被證明為關係代數可表示的一個充分條件。Skiadopoulos和Koubarakis在其2005年發表在AIJ的論文中將主方位演算的可滿足問題列為一個公開問題，我們完滿地解決了這一問題，並提出了一個複雜度為立方時間的判定算法。鑒於在實際套用中方位關係和拓撲關係往往是結合使用的，我們進一步研究了RCC8約束與方位約束的綜合求解問題。若考慮矩形代數，我們給出混契約束的一個易處理子集；對於主方位代數，我們證明即使只考慮基本約束，此綜契約束求解問題也是NP完全的。
以上研究結果主要發表在國際期刊Artificial Intelligence Journal（AIJ，5 篇）和國際會議IJCAI、AAAI、ECAI上。
研究課題
國家自然科學基金青年基金項目: 定性空間推理的拓撲方法 (2004-2006);
國家自然科學基金面上基金項目: 基於定性演算的空間知識表示與推理 (2007-2009).
科研成果
獎勵與榮譽
澳大利亞研究理事會: Future Fellow (2009);
中創軟體人才獎 (2008);
微軟青年教授獎 (2006);
德國洪堡學者 (2004).
學術成果
[1] Weiming Liu, Xiaotong Zhang, Sanjiang Li, Mingsheng Ying. Reasoning about Cardinal Directions between Extended Objects, Artificial Intelligence, 2010, 174 (12-13): 951-983. (33 pages, doi:10.1016/j.artint.2010.05.006)
[2] Sanjiang Li, Weiming Liu. Topological Relations between Convex Regions, in Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI-10), Atlanta, Georgia, USA, July 11-15, 2010.
[3] Weiming Liu, Sanjiang Li, Jochen Renz. Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity, in: Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09), pages 854-859, Pasadena, CA, July 2009.
[4] Sanjiang Li, Mingsheng Ying. Soft constraint abstraction based on semiring homomorphism, Theoretical Computer Science (B), 403(2-3):192-201, 2008.
[5] Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying. Reasoning with Cardinal Directions: An Efficient Algorithm, in Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08), Chicago, IL, 2008
[6] Sanjiang Li, Bernhard Nebel. Qualitative Spatial Representation and Reasoning: A Hierarchical Approach, The Computer Journal, 2007, 50(4): 391-402.
[7] Sanjiang Li. A representation theorem for minmax regret policies, Artificial Intelligence, 2007, 171(1): 19-24.
[8] Sanjiang Li. Combining Topological and Directional Information for Spatial Reasoning, in M. Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pages 435-440, AAAI Press, 2007.
[9] Sanjiang Li. A Complete Classification of Topological Relations Using 9-Intersection Method. International Journal of Geographical Information Science, 2006, 20(6): 589-610.
[10] Sanjiang Li, Huaiqing Wang. RCC8 binary constraint network can be consistently extended, Artificial Intelligence, 2006, 170(1): 1-18.
[11] Sanjiang Li, Mingsheng Ying. Generalized Region Connection Calculus, Artificial Intelligence, 2004, 160(1-2): 1-34.
[12] Yongming Li, Sanjiang Li. A Fuzzy Sets Theoretic Approach to Approximate Spatial Reasoning, IEEE Transactions on Fuzzy Systems, 2004, 12(6): 745-754.
[13] Sanjiang Li, Mingsheng Ying. Region Connection Calculus: its models and composition table, Artificial Intelligence, 2003, 145(1-2): 121-146.
