{"type":"ScholarlyArticle","title":"Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks","authors":[{"name":"Zhiguo Long","slug":"zhiguo-long","given":"Zhiguo","family":"Long","affiliation":""},{"name":"Michael Sioutis","slug":"michael-sioutis","given":"Michael","family":"Sioutis","affiliation":""},{"name":"Sanjiang Li","slug":"sanjiang-li","given":"Sanjiang","family":"Li","affiliation":""}],"abstract":"We propose a new algorithm called DPC+ to enforce partial path consistency (PPC) on qualitative constraint networks. PPC restricts path consistency (PC) to a triangulation of the underlying constraint graph of a network. As PPC retains the sparseness of a constraint graph, it can make reasoning tasks such as consistency checking and minimal labelling of large qualitative constraint networks much easier to tackle than PC. For qualitative constraint networks defined over any distributive subalgebra of well-known spatio-temporal calculi, such as the Region Connection Calculus and the Interval Algebra, we show that DPC+ can achieve PPC very fast. Indeed, the algorithm enforces PPC on a qualitative constraint network by processing each triangle in a triangulation of its underlying constraint graph at most three times. Our experiments demonstrate significant improvements of DPC+ over the state-of-the-art PPC enforcing algorithm.","doi":null,"url":"https://ijcai.org/proceedings/2016/174","pdf":"https://ijcai.org/proceedings/2016/0174.pdf","markdown":"https://ijcai.org/proceedings/2016/174.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/174","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":174,"pages":{"first":1202,"last":1207},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}