Show simple item record

dc.contributor.authorJin, Yifan
dc.contributor.authorWang, Kewen
dc.contributor.authorWang, Zhe
dc.contributor.editorPfahringer, B
dc.contributor.editorRenz, J
dc.date.accessioned2018-09-11T04:54:33Z
dc.date.available2018-09-11T04:54:33Z
dc.date.issued2015
dc.identifier.issn0302-9743
dc.identifier.doi10.1007/978-3-319-26350-2_23
dc.identifier.urihttp://hdl.handle.net/10072/125352
dc.description.abstractAnswer set programming (ASP) has been extended to possibilistic ASP (PASP), in which the notion of possibilistic stable models is defined for possibilistic logic programs. However, possibilistic inferences that correspond to the three inferences in ordinary possibilistic logic have not been explored in PASP yet. In this paper, based on the skeptical reasoning determined by possibilistic stable models, we define three inference relations for PASP, provide their equivalent characterisations in terms of possibility distribution, and develop algorithms for these possibilistic inferences. Our algorithms are achieved by generalising some important concepts (Clarke’s completion, loop formulas, and guarded resolution) and properties in ASP to PASP. Besides their theoretical importance, these results can be used to develop efficient implementations for possibilistic reasoning in ASP.
dc.description.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofpagefrom263
dc.relation.ispartofpageto275
dc.relation.ispartofjournalLecture Notes in Computer Science
dc.relation.ispartofvolume9457
dc.subject.fieldofresearchOther information and computing sciences not elsewhere classified
dc.subject.fieldofresearchInformation and computing sciences
dc.subject.fieldofresearchcode469999
dc.subject.fieldofresearchcode46
dc.titlePossibilistic Inferences in Answer Set Programming
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.hasfulltextNo Full Text
gro.griffith.authorWang, Kewen
gro.griffith.authorWang, Zhe


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