Disjunctive logic programming with negation as failure in the head

Disjunctive logic programs have been studied in order to increase expressivity, especially in representing indefinite information. Even though there is no general consensus on any specific semantic for disjunctive logic programs with negation, most of well known semantics are minimal model based. So...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Cecchi, Laura, Fillottrani, Pablo Rubén, Simari, Guillermo Ricardo
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	1998
Materias:	Ciencias Informáticas Informática disjunctive logic programs negation as failure in the head non minimal model semantics
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/24877
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-24877
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 Informática disjunctive logic programs negation as failure in the head non minimal model semantics
spellingShingle	Ciencias Informáticas Informática disjunctive logic programs negation as failure in the head non minimal model semantics Cecchi, Laura Fillottrani, Pablo Rubén Simari, Guillermo Ricardo Disjunctive logic programming with negation as failure in the head
topic_facet	Ciencias Informáticas Informática disjunctive logic programs negation as failure in the head non minimal model semantics
description	Disjunctive logic programs have been studied in order to increase expressivity, especially in representing indefinite information. Even though there is no general consensus on any specific semantic for disjunctive logic programs with negation, most of well known semantics are minimal model based. Sometimes real applications need to capture non minimal models, in spite of the fact that they contain redundant information. In representing disjunctive knowledge, for instance, minimal approaches capture exclusive disjunction but they cannot managed the inclusive meaning. The purpose of this paper is to analyze the expressive power of a special combination of disjunctive logic programming, negation as failure (NAF), and strong negation. This class of programs are syntactically uniform, since both kinds of negation are allowed to appear in the head and in the body of a rule, and its semantics allows non minimal models. We introduce a non injective syntactic transformation of disjunctive logic programs with NAF in head into disjunctive logic programs without NAF in head, in order to compare semantically both class of programs. Finally, we prove that the set of answer sets of the transformed disjunctive logic program is strictly included in the set of minimal answer sets of the original program and we discuss its consequences.
format	Objeto de conferencia Objeto de conferencia
author	Cecchi, Laura Fillottrani, Pablo Rubén Simari, Guillermo Ricardo
author_facet	Cecchi, Laura Fillottrani, Pablo Rubén Simari, Guillermo Ricardo
author_sort	Cecchi, Laura
title	Disjunctive logic programming with negation as failure in the head
title_short	Disjunctive logic programming with negation as failure in the head
title_full	Disjunctive logic programming with negation as failure in the head
title_fullStr	Disjunctive logic programming with negation as failure in the head
title_full_unstemmed	Disjunctive logic programming with negation as failure in the head
title_sort	disjunctive logic programming with negation as failure in the head
publishDate	1998
url	http://sedici.unlp.edu.ar/handle/10915/24877
work_keys_str_mv	AT cecchilaura disjunctivelogicprogrammingwithnegationasfailureinthehead AT fillottranipabloruben disjunctivelogicprogrammingwithnegationasfailureinthehead AT simariguillermoricardo disjunctivelogicprogrammingwithnegationasfailureinthehead
bdutipo_str	Repositorios
_version_	1764820466510331906

Disjunctive logic programming with negation as failure in the head

Ejemplares similares