Jump to ContentJump to Main Navigation
Changes of MindAn Essay on Rational Belief Revision$
Users without a subscription are not able to see the full content.

Neil Tennant

Print publication date: 2012

Print ISBN-13: 9780199655755

Published to Oxford Scholarship Online: September 2012

DOI: 10.1093/acprof:oso/9780199655755.001.0001

Show Summary Details
Page of

PRINTED FROM OXFORD SCHOLARSHIP ONLINE (www.oxfordscholarship.com). (c) Copyright Oxford University Press, 2017. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single chapter of a monograph in OSO for personal use (for details see http://www.oxfordscholarship.com/page/privacy-policy).date: 25 September 2017

A Prolog Program for Contraction

A Prolog Program for Contraction

Chapter:
(p.189) Chapter 6 A Prolog Program for Contraction
Source:
Changes of Mind
Author(s):

Neil Tennant

Publisher:
Oxford University Press
DOI:10.1093/acprof:oso/9780199655755.003.0006

Here something unusual is done: the chapter states all the details of a Prolog program, for the simplest version of the contraction algorithm. Details of programs are hardly ever disclosed in books (or articles) in AI. Usually, the reader has to take on trust authors' claims about what their computer programs have actually accomplished, or how they generally behave on various problem sets, because the authors never reveal any details of the programs they (or their graduate students) might have written. The author of this book composed this Prolog program himself, and it actually works (at lightning speed, one might add) in a beautifully thorough fashion on a wide range of contraction problems in the literature. The various modules of the program are laid out and explained.

Keywords:   Prolog, contraction, algorithm, program

Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .