Reasoning about Solids Using Constraint Logic Programming

download the pdf

publication link

 

Year of publication : 1999

Bibliographic reference:
G. PESANT, M. BOYER. Reasoning about Solids Using Constraint Logic Programming. J. Autom. Reasoning 22: 241-262.

Summary:
The embedding of constraint satisfaction on the domain of discourse into a rule-based programming paradigm like logic programming provides a powerful reasoning tool. We present an application in spatial reasoning which uses this combination to produce a clear, concise, yet very expressive system through its ability to manipulate partial information. Three-dimensional solid objects in constructive solid geometry representation are manipulated and their spatial relationship with one another, points or regions is reasoned about. The language used to develop this application is Quad-CLP(R), an experimental constraint logic programming language of our own design which is equipped with a solver for quadratic and linear arithmetic constraints over the reals.

Bibtex: 

@article{DBLP:journals/jar/PesantB99,
  author    = {Gilles Pesant and
               Michel Boyer},
  title     = {Reasoning about Solids Using Constraint Logic Programming},
  journal   = {J. Autom. Reasoning},
  volume    = {22},
  number    = {2},
  year      = {1999},
  pages     = {241-262},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

 

 

Member(s) who (co)wrote the paper

| Gilles Pesant |

 

Project(s) linked to this publication

 

Files linked to the publication