DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Altres >
Enviament des de DRAC >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2117/14218

Ítem no disponible en accés obert per política de l'editorial

Arxiu Descripció MidaFormat
Handling exceptions in logic programming ....pdf178,07 kBAdobe PDF Accés restringit

Citació: 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.
Títol: Handling exceptions in logic programming without negation as failure
Autor: Confalonieri, Roberto Veure Producció científica UPC; Prade, Henri; Nieves Sánchez, Juan Carlos Veure Producció científica UPC
Editorial: Springer
Data: 2011
Tipus de document: Conference report
Resum: 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.
ISBN: 978-3-642-22151-4
URI: http://hdl.handle.net/2117/14218
DOI: 10.1007/978-3-642-22152-1_43
Versió de l'editor: http://www.springerlink.com/content/1852k446u8608114/
Apareix a les col·leccions:Altres. Enviament des de DRAC
Departament de Llenguatges i Sistemes Informàtics. Ponències/Comunicacions de congressos
KEMLG - Grup d´Enginyeria del Coneixement i Aprenentatge Automàtic. Ponències/Comunicacions de congressos
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets.

Per a qualsevol ús que se'n vulgui fer no previst a la llei, dirigiu-vos a: sepi.bupc@upc.edu

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius