Sobre la relaci

Los argumentos son la unidad b ásica del razonamiento rebatible. Esta clase de razonamiento no monot ónico est á fundamentado en el an álisis dial éctico y constituye la sem ántica operacional de la Programaci ón en L ógica Rebatible. Con el espí ritu de defi nir una sem ántica declarativa adecuad...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cecchi, Laura, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2000
Materias:
Ciencias Informáticas
Logic Programming
Nonmonotonic reasoning and belief revision
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23669
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23669
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
Logic Programming
Nonmonotonic reasoning and belief revision
spellingShingle Ciencias Informáticas
Logic Programming
Nonmonotonic reasoning and belief revision
Cecchi, Laura
Simari, Guillermo Ricardo
Sobre la relaci
topic_facet Ciencias Informáticas
Logic Programming
Nonmonotonic reasoning and belief revision
description Los argumentos son la unidad b ásica del razonamiento rebatible. Esta clase de razonamiento no monot ónico est á fundamentado en el an álisis dial éctico y constituye la sem ántica operacional de la Programaci ón en L ógica Rebatible. Con el espí ritu de defi nir una sem ántica declarativa adecuada para la Programaci ón en L ógica Rebatible es que, en este trabajo, se presenta una caracterizaci ón declarativa de la noci ón procedural de argumento. Dicha caracterizaci ón est á basada en el concepto de consecuencias de un programa l ógico. Asimismo, se demuestra que la relaci ón existente entre la definici ón declarativa introducida y la de finici ón procedural es de equivalencia. Como paso intermedio se defi ne una transformaci ón sint áctica de programas l ógicos rebatibles básicos en programas l ógicos defi nidos, mostrando algunas propiedades que relacionan las dos clases de programas l ógicos.
format Objeto de conferencia
Objeto de conferencia
author Cecchi, Laura
Simari, Guillermo Ricardo
author_facet Cecchi, Laura
Simari, Guillermo Ricardo
author_sort Cecchi, Laura
title Sobre la relaci
title_short Sobre la relaci
title_full Sobre la relaci
title_fullStr Sobre la relaci
title_full_unstemmed Sobre la relaci
title_sort sobre la relaci
publishDate 2000
url http://sedici.unlp.edu.ar/handle/10915/23669
work_keys_str_mv AT cecchilaura sobrelarelaci
AT simariguillermoricardo sobrelarelaci
bdutipo_str Repositorios
_version_ 1764820466083561472

Ejemplares similares