Show simple item record

dc.contributor.authorAntoniou, G
dc.date.accessioned2019-05-03T06:11:59Z
dc.date.available2019-05-03T06:11:59Z
dc.date.issued1996
dc.identifier.issn0950-7051
dc.identifier.doi10.1016/0950-7051(96)01038-6
dc.identifier.urihttp://hdl.handle.net/10072/120724
dc.description.abstractAnomalies such as redundant, contradictory or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed and applied in the past years, but they usually deal with rule-based systems. So far, little attention has been payed to the verification and validation of nonmonotonic knowledge bases, although there are good reasons to expect that such knowledge bases will be increasingly used in practical applications. This paper discusses how classical verification methods may be applied to detect some anomalies in nonmonotonic knowledge bases. These anomalies are first described in a formal way, and then generic verification methods to detect them are presented.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherElsevier Science
dc.publisher.placeNetherlands
dc.relation.ispartofpagefrom301
dc.relation.ispartofpageto306
dc.relation.ispartofissue5
dc.relation.ispartofjournalKnowledge-Based Systems
dc.relation.ispartofvolume9
dc.subject.fieldofresearchInvasive Species Ecology
dc.subject.fieldofresearchInformation and Computing Sciences
dc.subject.fieldofresearchCommerce, Management, Tourism and Services
dc.subject.fieldofresearchPsychology and Cognitive Sciences
dc.subject.fieldofresearchcode050103
dc.subject.fieldofresearchcode08
dc.subject.fieldofresearchcode15
dc.subject.fieldofresearchcode17
dc.titleIntegrity and Rule Checking in Nonmonotonic Knowledge Bases
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.facultyArts, Education & Law Group, School of Humanities, Languages and Social Sciences
gro.hasfulltextNo Full Text
gro.griffith.authorAntoniou, Grigorios


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