{"type":"ScholarlyArticle","title":"Constraint Programming on Infinite Data Streams","authors":[{"name":"Arnaud Lallouet","slug":"arnaud-lallouet","given":"Arnaud","family":"Lallouet","affiliation":""},{"name":"Yat Chiu Law","slug":"yat-chiu-law","given":"Yat Chiu","family":"Law","affiliation":""},{"name":"Jimmy Ho-Man Lee","slug":"jimmy-ho-man-lee","given":"Jimmy Ho-Man","family":"Lee","affiliation":""},{"name":"Charles F. K. Siu","slug":"charles-f-k-siu","given":"Charles F. K.","family":"Siu","affiliation":""}],"abstract":"Classical constraint satisfaction problems (CSPs) are commonly defined on finite domains. In real life, constrained variables can evolve over time. A variable can actually take an infinite sequence of values over discrete time points. In this paper, we propose constraint programming on infinite data streams, which provides a natural way to model constrained time-varying problems. In our framework, variable domains are specified by ω-regular languages. We introduce special stream operators as basis to form stream expressions and constraints. Stream CSPs have infinite search space. We propose a search procedure that can recognize and avoid infinite search over duplicate search space. The solution set of a stream CSP can be represented by a Büchi automaton allowing stream values to be non-periodic. Consistency notions are defined to reduce the search space early. We illustrate the feasibility of the framework by examples and experiments.","doi":"10.5591/978-1-57735-516-8/IJCAI11-107","url":"https://ijcai.org/proceedings/2011/107","pdf":"https://ijcai.org/proceedings/2011/0107.pdf","markdown":"https://ijcai.org/proceedings/2011/107.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/107","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":107,"pages":{"first":597,"last":603},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}