Infinite Qualitative Simulations by Means of Constraint Programming

Details Infinite Qualitative Simulations by Means of Constraint Programming Infinite Qualitative Simulations by Means of Constraint Programming

2006-08-03

arxiv.org/abs/cs/0608017v1

Computer Science

Artificial Intelligence

15 pages; 12th International Conference on Principles and Practice of Constraint Programming (CP'06)

Scientific paper

We introduce a constraint-based framework for studying infinite qualitative simulations concerned with contingencies such as time, space, shape, size, abstracted into a finite set of qualitative relations. To define the simulations, we combine constraints that formalize the background knowledge concerned with qualitative reasoning with appropriate inter-state constraints that are formulated using linear temporal logic. We implemented this approach in a constraint programming system by drawing on ideas from bounded model checking. The resulting system allows us to test and modify the problem specifications in a straightforward way and to combine various knowledge aspects.

Affiliated with

Also associated with

No associations

Rating

Infinite Qualitative Simulations by Means of Constraint Programming 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 Infinite Qualitative Simulations by Means of Constraint Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Infinite Qualitative Simulations by Means of Constraint Programming will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-50297