Show simple item record

dc.contributor.authorBillington, Daviden_US
dc.contributor.editorJ.G.Carbonell and J.Siekmannen_US
dc.date.accessioned2017-04-24T08:21:33Z
dc.date.available2017-04-24T08:21:33Z
dc.date.issued2005en_US
dc.date.modified2010-08-20T06:28:09Z
dc.identifier.issn03029743en_US
dc.identifier.doi10.1007/11589990_83en_AU
dc.identifier.urihttp://hdl.handle.net/10072/4258
dc.description.abstractPlausible Logic is a non-monotonic logic with an efficient implementation. Plausible Logic has five proof algorithms, one is monotonic and four are non-monotonic. These five proof algorithms form a hierarchy. Ambiguity propagating proof algorithms are less risky than ambiguity blocking proof algorithms. The hierarchy shows that the benefit of using the riskier algorithms is that more formulas can be proved. Unlike previous Plausible Logics, the Plausible Logic in this paper is relatively consistent, checks for loops, can prove all its facts and all tautologies, and allows countably many formulas and rules to be considered.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherSpringeren_US
dc.publisher.placeGermanyen_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofpagefrom796en_US
dc.relation.ispartofpageto799en_US
dc.relation.ispartofjournalLecture Notes in Computer scienceen_US
dc.relation.ispartofvolume3809en_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode230101en_US
dc.titleThe Proof Algorithms of Plausible Logic Form a Hierarchyen_US
dc.typeJournal articleen_US
dc.type.descriptionC1 - Peer Reviewed (HERDC)en_US
dc.type.codeC - Journal Articlesen_US
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.date.issued2005
gro.hasfulltextNo Full Text


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record