Sciweavers

Share
NMR
2004
Springer

A possibilistic approach to restore consistency in answer set programming

8 years 11 months ago
A possibilistic approach to restore consistency in answer set programming
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic where there exist some techniques to handle this inconsistency. In this work, we propose to manage inconsistent logic programs in a similar way as possibilistic logic does for classical logic. We compute a consistent subprogram keeping the most important rules of the original program. This importance is described by a necessity degree assigned to each rule.
Pascal Nicolas, Laurent Garcia, Igor Stépha
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where NMR
Authors Pascal Nicolas, Laurent Garcia, Igor Stéphan
Comments (0)
books