Debugging ASP programs by means of ASP

被引:29
作者
Brain, Martin [2 ]
Gebser, Martin [1 ]
Puehrer, Jorg [3 ]
Schaub, Torsten [1 ]
Tompits, Hans [3 ]
Woltran, Stefan [3 ]
机构
[1] Univ Potsdam, Inst Informat, D-14482 Potsdam, Germany
[2] Univ Bath, Dept Comp Sci, Bath BA2 7AY, Avon, England
[3] Vienna Univ Technol, Inst Informat Syst, A-1040 Vienna, Austria
来源
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS | 2007年 / 4483卷
基金
奥地利科学基金会;
关键词
D O I
10.1007/978-3-540-72200-7_5
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Answer-set programming (ASP) has become an important paradigm for declarative problem solving in recent years. However, to further improve the usability of answer-set programs, the development of software-engineering tools is vital. In particular, the area of debugging provides a challenge in both theoretical and practical terms. This is due to the purely declarative nature of ASP that, on the one hand, calls for solver-independent methodologies and, on the other hand, does not directly apply to tracing techniques. In this paper, we propose a novel methodology, which rests within ASP itself, to sort out errors on the conceptual level. Our method makes use of tagging, where the program to be analyzed is rewritten using dedicated control atoms. This provides a flexible way to specify different types of debugging requests and a first step towards a dedicated (meta level) debugging language.
引用
收藏
页码:31 / +
页数:2
相关论文
共 15 条
[1]  
[Anonymous], J METHODS LOGIC COMP
[2]  
Balduccini M., 2003, P INT S LOG FORM COM, P9
[3]  
BOSEL A, 2004, P JELIA 04 SPRING, P702
[4]  
Brain M., 2005, P ASP 05, P141
[5]  
Clark K. L., 1978, Logic and data bases, P293
[6]   A framework for compiling preferences in logic programs [J].
Delgrande, JP ;
Schaub, T ;
Tompits, H .
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 :129-187
[7]   The DLV system for knowledge representation and reasoning [J].
Leone, Nicola ;
Pfeifer, Gerald ;
Faber, Wolfgang ;
Eiter, Thomas ;
Gottlob, Georg ;
Perri, Simona ;
Scarcello, Francesco .
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2006, 7 (03) :499-562
[8]   ASSAT: computing answer sets of a logic program by SAT solvers [J].
Lin, FZ ;
Zhao, YT .
ARTIFICIAL INTELLIGENCE, 2004, 157 (1-2) :115-137
[9]  
PEMMASANI G, 2004, P 7 INT S FUNCT LOG, P24
[10]   Justifications for logic programs under answer set semantics [J].
Pontelli, Enrico ;
Son, Tran Cao .
LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 :196-210