Constraint Programming for Context Comprehension

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review


A close similarity is demonstrated between context comprehension, such as discourse analysis, and constraint programming. The constraint store takes the role of a growing knowledge base learned throughout the discourse, and a suitable con- straint solver does the job of incorporating new pieces of knowledge. The language of Constraint Handling Rules, CHR, is suggested for defining constraint solvers that reflect “world knowledge” for the given domain, and driver algorithms may be ex- pressed in Prolog or additional rules of CHR. It is argued that this way of doing context comprehension is an instance of abductive reasoning. The approach fits with possible worlds semantics that allows both standard first-order and non-monotonic semantics.
TitelContext in Computing : A Cross-Disciplinary Approach for Modeling the Real World
RedaktørerPatrick Brézillon, Avelino J. Gonzalez
ForlagSpringer Science+Business Media
ISBN (Trykt)978-1-4939-1886-7
ISBN (Elektronisk)978-1-4939-1887-4
StatusUdgivet - 2014

Citer dette