ITEM METADATA RECORD
Title: Answer Set Programming's contributions to classical logic
Other Titles: An analysis of ASP methodology
Authors: Denecker, Marc
Vennekens, Joost
Vlaeminck, Hanne
Wittocx, Johan
Bruynooghe, Maurice
Issue Date: 2011
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:6565
Host Document: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday pages:12 -32
Abstract: Much research in logic programming and non-monotonic reasoning originates from dissatisfaction with classical logic as a knowledge representation language, and with classical deduction as a mode for automated reasoning. Discarding these classical roots has generated many interesting and fruitful ideas. However, to ensure the lasting impact of the results that have been achieved, it is important that they should not remain disconnected from their classical roots. Ultimately, a clear picture
should emerge of what the achievements of answer set programming mean in the context of classical logic, so that they may be given their proper place in the canon of science. In this paper, a look at different aspects of ASP, in an effort to identify precisely the limitations of classical logic that they exposed and investigate how the ASP approaches can be transferred back to the classical setting. Among the issues we thus address are the closed world assumption, "classical" and default negation, default reasoning with exceptions, definitions, lp-functions and the
interpolation technique and the strong introspection operator. We investigate the ASP-methodology to encode knowledge using these language constructs and come across a dichotomy in the ASP-methodology.
ISBN: 978-3-642-20831-7
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IHb
Appears in Collections:Informatics Section
Technologiecluster Computerwetenschappen
Computer Science Technology TC, Technology Campus De Nayer Sint-Katelijne-Waver

Files in This Item:
File Description Status SizeFormat
ctc.pdf Published 222KbAdobe PDFView/Open

 


All items in Lirias are protected by copyright, with all rights reserved.