Constraint Programming for Context Comprehension

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationContext in Computing : A Cross-Disciplinary Approach for Modeling the Real World
EditorsPatrick Brézillon, Avelino J. Gonzalez
PublisherSpringer Science+Business Media
Publication date2014
Pages401-418
Chapter25
ISBN (Print)978-1-4939-1886-7
ISBN (Electronic)978-1-4939-1887-4
DOIs
Publication statusPublished - 2014

Cite this

Christiansen, H. (2014). Constraint Programming for Context Comprehension. In P. Brézillon, & A. J. Gonzalez (Eds.), Context in Computing: A Cross-Disciplinary Approach for Modeling the Real World (pp. 401-418). Springer Science+Business Media. https://doi.org/10.1007/978-1-4939-1887-4_25
Christiansen, Henning. / Constraint Programming for Context Comprehension. Context in Computing: A Cross-Disciplinary Approach for Modeling the Real World. editor / Patrick Brézillon ; Avelino J. Gonzalez. Springer Science+Business Media, 2014. pp. 401-418
@inbook{487b974ad4f541bda52c94620f3f7ad4,
title = "Constraint Programming for Context Comprehension",
abstract = "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.",
author = "Henning Christiansen",
year = "2014",
doi = "10.1007/978-1-4939-1887-4_25",
language = "English",
isbn = "978-1-4939-1886-7",
pages = "401--418",
editor = "Patrick Br{\'e}zillon and { Gonzalez}, {Avelino J.}",
booktitle = "Context in Computing",
publisher = "Springer Science+Business Media",
address = "Germany",

}

Christiansen, H 2014, Constraint Programming for Context Comprehension. in P Brézillon & AJ Gonzalez (eds), Context in Computing: A Cross-Disciplinary Approach for Modeling the Real World. Springer Science+Business Media, pp. 401-418. https://doi.org/10.1007/978-1-4939-1887-4_25

Constraint Programming for Context Comprehension. / Christiansen, Henning.

Context in Computing: A Cross-Disciplinary Approach for Modeling the Real World. ed. / Patrick Brézillon; Avelino J. Gonzalez. Springer Science+Business Media, 2014. p. 401-418.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

TY - CHAP

T1 - Constraint Programming for Context Comprehension

AU - Christiansen, Henning

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

U2 - 10.1007/978-1-4939-1887-4_25

DO - 10.1007/978-1-4939-1887-4_25

M3 - Book chapter

SN - 978-1-4939-1886-7

SP - 401

EP - 418

BT - Context in Computing

A2 - Brézillon, Patrick

A2 - Gonzalez, Avelino J.

PB - Springer Science+Business Media

ER -

Christiansen H. Constraint Programming for Context Comprehension. In Brézillon P, Gonzalez AJ, editors, Context in Computing: A Cross-Disciplinary Approach for Modeling the Real World. Springer Science+Business Media. 2014. p. 401-418 https://doi.org/10.1007/978-1-4939-1887-4_25