First-order Logic as a Constraint Programming Language

Details First-order Logic as a Constraint Programming Language First-order Logic as a Constraint Programming Language

2002-08-20

arxiv.org/abs/cs/0208032v2

"Logic for Programming, Artificial Intelligence and Reasoning", Proceedings of the 9th International Conference LPAR2002, Tbil

Computer Science

Logic in Computer Science

17 pages. v2: improved version corrected reference to Turing (instead of Tarski)

Scientific paper

We provide a denotational semantics for first-order logic that captures the two-level view of the computation process typical for constraint programming. At one level we have the usual program execution. At the other level an automatic maintenance of the constraint store takes place. We prove that the resulting semantics is sound with respect to the truth definition. By instantiating it by specific forms of constraint management policies we obtain several sound evaluation policies of first-order formulas. This semantics can also be used a basis for sound implementation of constraint maintenance in presence of block declarations and conditionals.

Affiliated with

Also associated with

No associations

Rating

First-order Logic as a Constraint Programming Language does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with First-order Logic as a Constraint Programming Language, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and First-order Logic as a Constraint Programming Language will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-465399