Interpretación de la semántica de conjuntos de respuestas como teorías no monótonas trivaluadas

En este trabajo se estudia la semántica de conjuntos de respuestas para programas lógicos extendidos [5,4, 3], bajo la interpretación de sistemas de razonamiento no monótono trivaluados. Esto permite establecer una relación entre esta semántica con variantes trivaluadas de la lógica autoepistémica y...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Fillottrani, Pablo Rubén, Simari, Guillermo Ricardo
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	1995
Materias:	Ciencias Informáticas teorías no monótonas trivaluadas Semantics ARTIFICIAL INTELLIGENCE Interpretación de la semántica de conjuntos de respuestas
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/24301
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-24301
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 teorías no monótonas trivaluadas Semantics ARTIFICIAL INTELLIGENCE Interpretación de la semántica de conjuntos de respuestas
spellingShingle	Ciencias Informáticas teorías no monótonas trivaluadas Semantics ARTIFICIAL INTELLIGENCE Interpretación de la semántica de conjuntos de respuestas Fillottrani, Pablo Rubén Simari, Guillermo Ricardo Interpretación de la semántica de conjuntos de respuestas como teorías no monótonas trivaluadas
topic_facet	Ciencias Informáticas teorías no monótonas trivaluadas Semantics ARTIFICIAL INTELLIGENCE Interpretación de la semántica de conjuntos de respuestas
description	En este trabajo se estudia la semántica de conjuntos de respuestas para programas lógicos extendidos [5,4, 3], bajo la interpretación de sistemas de razonamiento no monótono trivaluados. Esto permite establecer una relación entre esta semántica con variantes trivaluadas de la lógica autoepistémica y la circunscripción, fundamentando la introducción de nuevos patrones de razonamiento dentro de la semántica de programas lógicos. Luego en base a esta equivalencia se presenta una caracterización de la semántica de modelos bien fundados como conjuntos de respuestas, en oposición a la definiciones originales [15, 13] fundamentadas en puntos fijos de operadores definidos ad-hoc.
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	Interpretación de la semántica de conjuntos de respuestas como teorías no monótonas trivaluadas
title_short	Interpretación de la semántica de conjuntos de respuestas como teorías no monótonas trivaluadas
title_full	Interpretación de la semántica de conjuntos de respuestas como teorías no monótonas trivaluadas
title_fullStr	Interpretación de la semántica de conjuntos de respuestas como teorías no monótonas trivaluadas
title_full_unstemmed	Interpretación de la semántica de conjuntos de respuestas como teorías no monótonas trivaluadas
title_sort	interpretación de la semántica de conjuntos de respuestas como teorías no monótonas trivaluadas
publishDate	1995
url	http://sedici.unlp.edu.ar/handle/10915/24301
work_keys_str_mv	AT fillottranipabloruben interpretaciondelasemanticadeconjuntosderespuestascomoteoriasnomonotonastrivaluadas AT simariguillermoricardo interpretaciondelasemanticadeconjuntosderespuestascomoteoriasnomonotonastrivaluadas
bdutipo_str	Repositorios
_version_	1764820466929762305

Interpretación de la semántica de conjuntos de respuestas como teorías no monótonas trivaluadas

Ejemplares similares