Skip to main content Accessibility help
×
Home

Computing preferred answer sets by meta-interpretation in Answer Set Programming

  • THOMAS EITER (a1), WOLFGANG FABER (a2), NICOLA LEONE (a3) and GERALD PFEIFER (a4)

Abstract

Most recently, Answer Set Programming (ASP) has been attracting interest as a new paradigm for problem solving. An important aspect, for which several approaches have been presented, is the handling of preferences between rules. In this paper, we consider the problem of implementing preference handling approaches by means of meta-interpreters in Answer Set Programming. In particular, we consider the preferred answer set approaches by Brewka and Eiter, by Delgrande, Schaub and Tompits, and by Wang, Zhou and Lin. We present suitable meta-interpreters for these semantics using DLV, which is an efficient engine for ASP. Moreover, we also present a meta-interpreter for the weakly preferred answer set approach by Brewka and Eiter, which uses the weak constraint feature of DLV as a tool for expressing and solving an underlying optimization problem. We also consider advanced meta-interpreters, which make use of graph-based characterizations and often allow for more efficient computations. Our approach shows the suitability of ASP in general and of DLV in particular for fast prototyping. This can be fruitfully exploited for experimenting with new languages and knowledge-representation formalisms.

Copyright

Footnotes

Hide All
This paper is a revised and extended version of a preliminary paper in: Alessandro Provetti and Tran Cao Son, editors, Proceedings AAAI 2001 Spring Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, Stanford CA, March 2001, AAAI Press.

Footnotes

Computing preferred answer sets by meta-interpretation in Answer Set Programming

  • THOMAS EITER (a1), WOLFGANG FABER (a2), NICOLA LEONE (a3) and GERALD PFEIFER (a4)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed