Debugging declarativo basado en revisión de creencias

En este trabajo, presentamos un procedimiento de debugging basado en una operación de cambio de creencias, que requiere una mínima interacción con el programador. El significado pretendido del programa se incluye en el mismo programa por medio de reglas de oráculo y la operación de cambio de creenci...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Vaucheret, Claudio A., Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1999
Materias:
Ciencias Informáticas
Debugging Declarativo
Logic Programming
Teoría de Cambio de Creencias
Programación Lógica
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23492
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23492
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
Debugging Declarativo
Logic Programming
Teoría de Cambio de Creencias
Programación Lógica
spellingShingle Ciencias Informáticas
Debugging Declarativo
Logic Programming
Teoría de Cambio de Creencias
Programación Lógica
Vaucheret, Claudio A.
Simari, Guillermo Ricardo
Debugging declarativo basado en revisión de creencias
topic_facet Ciencias Informáticas
Debugging Declarativo
Logic Programming
Teoría de Cambio de Creencias
Programación Lógica
description En este trabajo, presentamos un procedimiento de debugging basado en una operación de cambio de creencias, que requiere una mínima interacción con el programador. El significado pretendido del programa se incluye en el mismo programa por medio de reglas de oráculo y la operación de cambio de creencias hace que el programa se vuelva compatible con dicha in- formación. El procedimiento utiliza el operador de contracción presentado en [Vaucheret 98] para eliminar las reglas incorrectas del programa y también proveer información adicional para los átomos no cubiertos. La clase de programas lógicos considerados son los programas lógicos no esquemáticos, es decir proposicionales, con negación por falla y extendidos con la negación clásica.
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 Debugging declarativo basado en revisión de creencias
title_short Debugging declarativo basado en revisión de creencias
title_full Debugging declarativo basado en revisión de creencias
title_fullStr Debugging declarativo basado en revisión de creencias
title_full_unstemmed Debugging declarativo basado en revisión de creencias
title_sort debugging declarativo basado en revisión de creencias
publishDate 1999
url http://sedici.unlp.edu.ar/handle/10915/23492
work_keys_str_mv AT vaucheretclaudioa debuggingdeclarativobasadoenrevisiondecreencias
AT simariguillermoricardo debuggingdeclarativobasadoenrevisiondecreencias
bdutipo_str Repositorios
_version_ 1764820465692442624

Ejemplares similares