Detecting Unsolvable Queries for Definite Logic Programs

Computer Science – Logic in Computer Science

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0


32 pages including appendix. A preliminary version appeared in proceedings PLILP/ALP98 (Springer LNCS 1490) This version, with

Scientific paper

In solving a query, the SLD proof procedure for definite programs sometimes searches an infinite space for a non existing solution. For example, querying a planner for an unreachable goal state. Such programs motivate the development of methods to prove the absence of a solution. Considering the definite program and the query ``<- Q'' as clauses of a first order theory, one can apply model generators which search for a finite interpretation in which the program clauses as well as the clause ``false <- Q'' are true. This paper develops a new approach which exploits the fact that all clauses are definite. It is based on a goal directed abductive search in the space of finite pre-interpretations for a pre-interpretation such that ``Q'' is false in the least model of the program based on it. Several methods for efficiently searching the space of pre-interpretations are presented. Experimental results confirm that our approach find solutions with less search than with the use of a first order model generator.

No associations


Say what you really think

Search for scientists and scientific papers. Rate them and share your experience with other people.


Detecting Unsolvable Queries for Definite Logic Programs 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 Detecting Unsolvable Queries for Definite Logic Programs, we encourage you to share that experience with our community. Your opinion is very important and Detecting Unsolvable Queries for Definite Logic Programs will most certainly appreciate the feedback.

Rate now


Profile ID: LFWR-SCP-O-488147

All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.