Un operador general de contracción para programas lógicos

En este trabajo, presentamos un operador de contracción para el caso de programas lógicos. La clase de programas tratados es la de programas lógicos normales extendidos con la negación clásica. Es decir, dichos programas contemplan tanto la negación por falla (NAF) y la negación clásica. El operador...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Vaucheret, Claudio A., Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1998
Materias:
Ciencias Informáticas
Informática
Logic Programming
teoría de cambio de creencias
debugging declarativo
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24874
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24874
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Informática
Logic Programming
teoría de cambio de creencias
debugging declarativo
spellingShingle Ciencias Informáticas
Informática
Logic Programming
teoría de cambio de creencias
debugging declarativo
Vaucheret, Claudio A.
Simari, Guillermo Ricardo
Un operador general de contracción para programas lógicos
topic_facet Ciencias Informáticas
Informática
Logic Programming
teoría de cambio de creencias
debugging declarativo
description En este trabajo, presentamos un operador de contracción para el caso de programas lógicos. La clase de programas tratados es la de programas lógicos normales extendidos con la negación clásica. Es decir, dichos programas contemplan tanto la negación por falla (NAF) y la negación clásica. El operador de contracción está basado en la contracción Kernel [2] de la Teoría de Cambio de creencias. Para remover un literal de las inferencias de un programa, se reconocen cuales son los componentes del programa que contituyen las justificaciones de ese literal y se opera sobre ellos para obtener un nuevo programa contraído.
format Objeto de conferencia
Objeto de conferencia
author Vaucheret, Claudio A.
Simari, Guillermo Ricardo
author_facet Vaucheret, Claudio A.
Simari, Guillermo Ricardo
author_sort Vaucheret, Claudio A.
title Un operador general de contracción para programas lógicos
title_short Un operador general de contracción para programas lógicos
title_full Un operador general de contracción para programas lógicos
title_fullStr Un operador general de contracción para programas lógicos
title_full_unstemmed Un operador general de contracción para programas lógicos
title_sort un operador general de contracción para programas lógicos
publishDate 1998
url http://sedici.unlp.edu.ar/handle/10915/24874
work_keys_str_mv AT vaucheretclaudioa unoperadorgeneraldecontraccionparaprogramaslogicos
AT simariguillermoricardo unoperadorgeneraldecontraccionparaprogramaslogicos
bdutipo_str Repositorios
_version_ 1764820466508234754

Ejemplares similares