dc.contributor.convenor | Michael J. Oudshoorn | |
dc.contributor.author | A. Hagen, Richard | |
dc.contributor.author | Sattar, Abdul | |
dc.contributor.author | Goodwin, Scott | |
dc.contributor.editor | Michael J.Oudshoorn | |
dc.date.accessioned | 2017-05-03T12:09:48Z | |
dc.date.available | 2017-05-03T12:09:48Z | |
dc.date.issued | 2003 | |
dc.date.modified | 2008-07-11T04:58:44Z | |
dc.identifier.uri | http://hdl.handle.net/10072/1745 | |
dc.description.abstract | Nonmonotonic reasoning has been a field vigorous study for a quarter of a century with practical implementations emerging during the last 15 years. Improving the efficiency of these systems is an important step in them gaining acceptance beyond the research sphere. The use of lemmas - small results can that can be reused later in a proof or derivation - might be one way of improving performance. We have extended an implementation of the THEORIST nonmonotonic reasoning system with four sorts of lemmas: goods, nongoods, derived literals and potential crucial literals. In this paper, we report the results of experiments designed to test wether these lemmas provide general performance boosts. | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 239007 bytes | |
dc.format.mimetype | application/pdf | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Australian Computer Society Inc. | |
dc.publisher.place | Sydney | |
dc.publisher.uri | http://crpit.com/abstracts/CRPITV16Hagen.html | |
dc.relation.ispartofconferencename | Computer Science 2003 Twenty-Sixth Australasian Computer Science Conference | |
dc.relation.ispartofconferencetitle | Proceedings of the Twenty-Sixth Australasian Computer Science Conference, Adelaide, Australia, February 2003. | |
dc.relation.ispartofdatefrom | 2003-02-04 | |
dc.relation.ispartofdateto | 2003-02-07 | |
dc.relation.ispartoflocation | Adelaide | |
dc.subject.fieldofresearchcode | 280213 | |
dc.title | Improving Search in a Hypothetical Reasoning System | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.rights.copyright | © 2003 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. | |
gro.date.issued | 2003 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Sattar, Abdul | |