{"type":"ScholarlyArticle","title":"Probabilistic Consistency Boosts MAC and SAC","authors":[{"name":"Deepak Mehta","slug":"deepak-mehta","given":"Deepak","family":"Mehta","affiliation":""},{"name":"Marc R. C. van Dongen","slug":"marc-r-c-van-dongen","given":"Marc R. C.","family":"van Dongen","affiliation":""}],"abstract":"Constraint Satisfaction Problems (CSPs) are ubiquitous in Artificial Intelligence. The backtrack algorithms that maintain some local consistency during search have become the de facto standard to solve CSPs. Maintaining higher levels of consistency, generally, reduces the search effort. However, due to ineffective constraint propagation, it often penalises the search algorithm in terms of time. If we can reduce ineffective constraint propagation, then the effectiveness of a search algorithm can be enhanced significantly. In order to do so, we use a probabilistic approach to resolve when to propagate and when not to. The idea is to perform only the useful consistency checking by not seeking a support when there is a high probability that a support exists. The idea of probabilistic support inference is general and can be applied to any kind of local consistency algorithm. However, we shall study its impact with respect to arc consistency and singleton arc consistency (SAC). Experimental results demonstrate that enforcing probabilistic SAC almost always enforces SAC, but it requires significantly less time than SAC. Likewise, maintaining probabilistic arc consistency and maintaining probabilistic SAC require significantly less time than maintaining arc consistency and maintaining SAC.","doi":null,"url":"https://ijcai.org/proceedings/2007/21","pdf":"https://ijcai.org/proceedings/2007/0021.pdf","markdown":"https://ijcai.org/proceedings/2007/21.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/21","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":21,"pages":{"first":143,"last":147},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}