Strong properties of circumscriptive logic programming

Dix [7, 5, 6] introduced a method for classifying semantics of normal logic programs. Some of these properties, called strong properties, are adaptations of properties from general nommonotonic theories. We apply this technique to circumscriptive logic programs [8, 9], an extension of traditional lo...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Fillottrani, Pablo Rubén, Simari, Guillermo Ricardo
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	1996
Materias:	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Logic Programming Strong properties circumscriptive logic programming
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/24202
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-24202
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 ARTIFICIAL INTELLIGENCE Logic Programming Strong properties circumscriptive logic programming
spellingShingle	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Logic Programming Strong properties circumscriptive logic programming Fillottrani, Pablo Rubén Simari, Guillermo Ricardo Strong properties of circumscriptive logic programming
topic_facet	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Logic Programming Strong properties circumscriptive logic programming
description	Dix [7, 5, 6] introduced a method for classifying semantics of normal logic programs. Some of these properties, called strong properties, are adaptations of properties from general nommonotonic theories. We apply this technique to circumscriptive logic programs [8, 9], an extension of traditional logic programming that incorporates circumscriptive policies in the programs. We show this approach preserves cumulativity, although it is not rational and supraclassical. This suggests circumscriptive logic programs have a correct behavior, maintaining properties from normal logic programs
format	Objeto de conferencia Objeto de conferencia
author	Fillottrani, Pablo Rubén Simari, Guillermo Ricardo
author_facet	Fillottrani, Pablo Rubén Simari, Guillermo Ricardo
author_sort	Fillottrani, Pablo Rubén
title	Strong properties of circumscriptive logic programming
title_short	Strong properties of circumscriptive logic programming
title_full	Strong properties of circumscriptive logic programming
title_fullStr	Strong properties of circumscriptive logic programming
title_full_unstemmed	Strong properties of circumscriptive logic programming
title_sort	strong properties of circumscriptive logic programming
publishDate	1996
url	http://sedici.unlp.edu.ar/handle/10915/24202
work_keys_str_mv	AT fillottranipabloruben strongpropertiesofcircumscriptivelogicprogramming AT simariguillermoricardo strongpropertiesofcircumscriptivelogicprogramming
bdutipo_str	Repositorios
_version_	1764820466720047105

Strong properties of circumscriptive logic programming

Ejemplares similares