Negation-as-failure considered harmful

In logic programs, negation-as-failure has been used both for representing negative information and for providing default nonmonotonic inference. In this paper we argue that this twofold role is not only unnecessary for the expressiveness of the language, but it also plays against declarative progra...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Fillottrani, Pablo Rubén
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2006
Materias:
Ciencias Informáticas
Logic Programming
negation as failure
knowledge representation
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22795
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22795
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Logic Programming
negation as failure
knowledge representation
spellingShingle Ciencias Informáticas
Logic Programming
negation as failure
knowledge representation
Fillottrani, Pablo Rubén
Negation-as-failure considered harmful
topic_facet Ciencias Informáticas
Logic Programming
negation as failure
knowledge representation
description In logic programs, negation-as-failure has been used both for representing negative information and for providing default nonmonotonic inference. In this paper we argue that this twofold role is not only unnecessary for the expressiveness of the language, but it also plays against declarative programming, especially if further negation symbols such as strong negation are also available. We therefore propose a new logic programming approach in which negation and default inference are independent, orthogonal concepts. Semantical characterization of this approach is given in the style of answer sets, but other approaches are also possible. Finally, we compare them with the semantics for logic programs with two kinds of negation.
format Objeto de conferencia
Objeto de conferencia
author Fillottrani, Pablo Rubén
author_facet Fillottrani, Pablo Rubén
author_sort Fillottrani, Pablo Rubén
title Negation-as-failure considered harmful
title_short Negation-as-failure considered harmful
title_full Negation-as-failure considered harmful
title_fullStr Negation-as-failure considered harmful
title_full_unstemmed Negation-as-failure considered harmful
title_sort negation-as-failure considered harmful
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/22795
work_keys_str_mv AT fillottranipabloruben negationasfailureconsideredharmful
bdutipo_str Repositorios
_version_ 1764820467717242886

Ejemplares similares