On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi

报告题目：On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi

报告人： 李三江 教授

主持人：陈仪香 教授

时间：2015年11月20日（周五）10：00—11:30

地点：数学馆201室

报告摘要：

    Qualitative calculi play a central role in representing and reasoning about qualitative spatial and temporal knowledge. This talk introduces and discusses distributive subalgebras of qualitative calculi, which are subalgebras in which (weak) composition distributives over nonempty intersections.

    We show for several most popular qualitative calculi that path consistent constraint networks over a distributive subalgebra are always minimal and strongly n-consistent (in a qualitative sense). Moreover, we give a characterisation of distributive subalgebras, which states that the intersection of a set of m ≥ 3 relations in the subalgebra is nonempty if and only if the intersection of every two of these relations is nonempty. We further compute and generate all maximal distributive subalgebras for those qualitative calculi. Lastly, we establish two nice properties which will play an important role in efficient reasoning with constraint networks involving a large number of variables.

    This talk is based on the following publications:

Zhiguo Long, Sanjiang Li. On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi, Proceedings of the Twelfth Conference on Spatial Information Theory (COSIT 2015), Santa Fe, New Mexico, USA, October 12-16, 2015.

Sanjiang Li, Zhiguo Long, Weiming Liu, Matt Duckham, and Alan Both. On Redundant Topological Constraints. Artificial Intelligence, 2015, 225: 51-78.

报告人简介：

        李三江，男，1975年2月生于陕西渭南。2001年获四川大学基础数学博士学位，师从刘应明院士、罗懋康教授。现为澳大利亚悉尼科技大学教授。主要研究方向为空间推理和人工智能理论。自2001年以来他与合作者系统深入地研究了空间推理的定性方法，并在空间关系建模和空 间约束求解等方面取得重要成果。这些成果主要发表在人工智能领域重要国际刊物和顶级国际会议，其中包括Artificial Intelligence Journal 九篇。2004年获德国洪堡基金会资助到德国弗赖堡大学访问18个月（任洪堡学者），2006年获首届微软青年教授奖，2008年获中创软件人才 奖，2009年获 澳大利亚ARC Future Fellow奖，2010年获悉尼科技大学 ECR Research Excellence Award。