Name
Title | ||
|---|---|---|
Answer set programming's contributions to classical logic: an analysis of ASP methodology |
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. |
Year | Venue | Keywords |
|---|---|---|
2011 | Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning | classical deduction,classical root,classical logic,answer set programming mean,non-monotonic reasoning,classical setting,logic programming,default reasoning,automated reasoning,ASP methodology,ASP approach |
Field | DocType | Citations |
Automated reasoning,Knowledge representation and reasoning,Negation,Language construct,Theoretical computer science,Artificial intelligence,Classical logic,Logic programming,Closed-world assumption,Answer set programming,Mathematics | Conference | 3 |
PageRank | References | Authors |
0.42 | 21 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Marc Denecker | 1 | 1626 | 106.40 |
| Joost Vennekens | 2 | 434 | 37.36 |
| Hanne Vlaeminck | 3 | 30 | 3.44 |
| Johan Wittocx | 4 | 109 | 9.37 |
| Maurice Bruynooghe | 5 | 2767 | 226.05 |