Please use this identifier to cite or link to this item: http://hdl.handle.net/20.500.11889/2091
DC FieldValueLanguage
dc.contributor.authorFernandez, Jose Alberto-
dc.contributor.authorMinker, Jack-
dc.contributor.authorYahya, Adnan-
dc.date.accessioned2016-10-08T06:45:12Z-
dc.date.available2016-10-08T06:45:12Z-
dc.date.issued1995-2-
dc.identifier.urihttp://hdl.handle.net/20.500.11889/2091-
dc.description.abstractOrdered Model trees were introduced as a normal form for disjunctive deductive databases. They were also used to facilitate the computation of minimal models for disjunctive theories by exploiting the order imposed on the Herbrand base of the theory. In this work we show how the order on the Herbrand base can be used to compute perfect models of a disjunctive strati ed nite theory. We are able to compute the stable models of a general nite theory by combining the order on the elements of the Herbrand base with previous results that had shown that the stable models of a theory T can be computed as the perfect models of a corresponding disjunctive theory ET resulting from applying the so called evidential transformation to T . While other methods consider many models that are rejected at the end, the use of atom ordering allows us to guarantee that every model generated belongs to the class of models being computed. As for negation-free databases, the ordered tree serves as the canonical representation of the database.-
dc.language.isoenen_US
dc.publisherResearchGateen_US
dc.subject.lcshDeductive databases-
dc.subject.lcshData mining-
dc.subject.lcshDecision trees-
dc.titleComputing perfect and stable models using ordered model treesen_US
dc.titleComputing perfect and stable models using ordered model trees-
dc.typeArticleen_US
newfileds.departmentEngineering and Technologyen_US
newfileds.item-access-typeopen_accessen_US
item.grantfulltextopen-
item.fulltextWith Fulltext-
item.languageiso639-1other-
Appears in Collections:Fulltext Publications
Files in This Item:
File Description SizeFormat
COMPUTING_PERFECT_AND_STABLE_MODELS_USING_ORDERED_.pdf350.34 kBAdobe PDFView/Open
Show simple item record

Page view(s)

43
Last Week
0
Last month
2
checked on May 11, 2022

Download(s)

10
checked on May 11, 2022

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.