Mostra el registre d'ítem simple
Handling exceptions in logic programming without negation as failure
dc.contributor.author | Confalonieri, Roberto |
dc.contributor.author | Prade, Henri |
dc.contributor.author | Nieves Sánchez, Juan Carlos |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.date.accessioned | 2011-12-12T12:05:28Z |
dc.date.available | 2011-12-12T12:05:28Z |
dc.date.created | 2011 |
dc.date.issued | 2011 |
dc.identifier.citation | Confalonieri, R.; Prade, H.; NIEVES, J. C. Handling exceptions in logic programming without negation as failure. A: European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. "11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty". Belfast: Springer, 2011, p. 509-520. |
dc.identifier.isbn | 978-3-642-22151-4 |
dc.identifier.uri | http://hdl.handle.net/2117/14218 |
dc.description.abstract | Default rules, i.e. statements of the form normally a’s are b’s, are usually handled in Answer Set Programming by means of negation as failure which provides a way to capture exceptions to normal situations. In this paper we propose another approach which offers an operational counterpart to negation as failure, and which may be thought as a corresponding dual attitude. The approach amounts to an explicit rewriting of exceptions in default rules, together with the addition of completion rules that are consistent with current knowledge. It is shown that the approach can be applied to restore the consistency of inconsistent programs that implicitly involve specificity ordering between the rules. The approach is compared to previous works aiming at providing support to the rewriting of default rules. It is also shown how the proposed approach agrees with the results obtained in the classical way. |
dc.format.extent | 12 p. |
dc.language.iso | eng |
dc.publisher | Springer |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial |
dc.subject.lcsh | Declarative programming |
dc.title | Handling exceptions in logic programming without negation as failure |
dc.type | Conference report |
dc.subject.lemac | Programació declarativa |
dc.contributor.group | Universitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic |
dc.identifier.doi | 10.1007/978-3-642-22152-1_43 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://www.springerlink.com/content/1852k446u8608114/ |
dc.rights.access | Restricted access - publisher's policy |
local.identifier.drac | 8783296 |
dc.description.version | Postprint (published version) |
local.citation.author | Confalonieri, R.; Prade, H.; NIEVES, J. C. |
local.citation.contributor | European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty |
local.citation.pubplace | Belfast |
local.citation.publicationName | 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty |
local.citation.startingPage | 509 |
local.citation.endingPage | 520 |