Intelligent Control Using Integrity Constraints

Book One

Volume

Proceedings of the AAAI Conference on Artificial Intelligence, 3

Search

This paper describes how integrity con-straints, whether user supplied or automatically generated during the search, and analysis of failures can be used to improve the execution of function free logic programs. Integrity con-straints are used to guide both the forward and backward execution of the Programs. This work applies to arbitrary node and literal selection functions and is thus transparent to the fact whether the logic program is executed Sequentially or in parallel.