Exploiting Dependencies in Search and Inference Mechanisms

Exploiting Dependencies in Search and Inference Mechanisms - Ellis Horwood Series in Artificial Intelligence.

Hardback (01 Sep 1989)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

This book investigates a number of techniques which can improve the performance of a problem solver. These techniques work by recording and exploiting the logical dependencies between the elements of a representation.;Significant advances have been made in the development of research and inference mechanisms over the last 25 years, including the development of reason maintenance systems which combine three important features. Firstly an incremental inference system which facilitates the addition of new information without redundantly re-making inference steps which are unaffected by the addition; secondly nonmonoticity - that is the assimilation of new information to bring out the revision of conclusions that were derived without that information; and thirdly, backtracking mechanism which records and exploits dependencies, offering a considerable improvement on the "thrashing" behaviour of chronological backtracking.;This book aims to incorporate two features of reason maintenance systems into the framework of logic programming - selective backtracking and incrementality.

Book information

ISBN: 9780137968893
Publisher: Ellis Horwood
Imprint: Ellis Horwood
Pub date:
Number of pages: 388
Weight: 388g
Height: 246mm
Width: 171mm