Code Improvements for Model Elimination Based Reasoning Systems

File Size Format
28390_1.pdf 219Kb Adobe PDF View
Title Code Improvements for Model Elimination Based Reasoning Systems
Author Hagen, Richard Anthony; Goodwin, Scott; Sattar, Abdul
Publication Title Computer Science 2004
Editor Vladimir Estivill-Castro
Year Published 2004
Place of publication Sydney
Publisher Australian Computer Society, Inc.
Abstract We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have investigated code improvements based on local and global analysis of the internal knowledge base used by the theorem prover. Secondly, we have looked into the use of a n lists to represent ancestor goal information to see if this gives a performance boost over the traditional two list approach. This n list representation might be thought of as a simple hash table. Thirdly, we conducted initial investigations into the effect of rule body literal ordering on performance. The results for the code improvements show them to be worthwhile, producing gains in some example problems. Using the n list representation gave mixed results: for some examples it improved execution speed, in others it degraded it. A rule body literal ordering that placed instantiated goals (including hypotheses) early in the bodies of rules showed an improvement in execution time.
Peer Reviewed Yes
Published Yes
Publisher URI
Alternative URI
Copyright Statement Copyright 2004 Australian Computer Society Inc. The attached file is reproduced here in accordance with the copyright policy of the publisher. Use hypertext link to access the publisher's website.
ISBN 1-920682-05-8
Conference name Twenty-Seventh Australasian Computer Science Conference (ACSC2004)
Location Dunedin, New Zealand
Date From 2004-01-18
Date To 2004-01-22
Date Accessioned 2005-04-04
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Subject Science & Technology
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice