El rol de la semántica declarativa en el análisis de la programación en lógica rebatible
La semántica operacional es primordial para poder calcular las creencias de un agente justificadas por una base de conocimientos. Sin embargo, la semántica analizada desde un punto de vista declarativo ayuda a distinguir entre diferentes sistemas no monotónicos y a estudiarlos como modelos de repres...
Guardado en:
Autores principales: | , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
2004
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/21254 |
Aporte de: |
id |
I19-R120-10915-21254 |
---|---|
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 ARTIFICIAL INTELLIGENCE Extensiones de la Programación en Lógica Semantics Semáantica Declarativa de Extensiones de la Programaci¶on en L¶ogica Semántica de Juegos Sistemas Argumentativos |
spellingShingle |
Ciencias Informáticas ARTIFICIAL INTELLIGENCE Extensiones de la Programación en Lógica Semantics Semáantica Declarativa de Extensiones de la Programaci¶on en L¶ogica Semántica de Juegos Sistemas Argumentativos Cecchi, Laura Simari, Guillermo Ricardo El rol de la semántica declarativa en el análisis de la programación en lógica rebatible |
topic_facet |
Ciencias Informáticas ARTIFICIAL INTELLIGENCE Extensiones de la Programación en Lógica Semantics Semáantica Declarativa de Extensiones de la Programaci¶on en L¶ogica Semántica de Juegos Sistemas Argumentativos |
description |
La semántica operacional es primordial para poder calcular las creencias de un agente justificadas por una base de conocimientos. Sin embargo, la semántica analizada desde un punto de vista declarativo ayuda a distinguir entre diferentes sistemas no monotónicos y a estudiarlos como modelos de representación y razonamiento, sin recurrir al control.
Basándonos en la idea de que la esencia de la argumentación es un diálogo interactivo se desarrollo una semántica declarativa trivaluada GS, basada en juegos para la Programación en Lógica Rebatible.
En este trabajo, se presenta una descripción de la línea de investigación y se detallan los resultados alcanzados, especificando, en cada caso, la publicación que lo avala. Asimismo, se exponen las tareas en progreso, su motivación y nuestros trabajos futuros. |
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 |
El rol de la semántica declarativa en el análisis de la programación en lógica rebatible |
title_short |
El rol de la semántica declarativa en el análisis de la programación en lógica rebatible |
title_full |
El rol de la semántica declarativa en el análisis de la programación en lógica rebatible |
title_fullStr |
El rol de la semántica declarativa en el análisis de la programación en lógica rebatible |
title_full_unstemmed |
El rol de la semántica declarativa en el análisis de la programación en lógica rebatible |
title_sort |
el rol de la semántica declarativa en el análisis de la programación en lógica rebatible |
publishDate |
2004 |
url |
http://sedici.unlp.edu.ar/handle/10915/21254 |
work_keys_str_mv |
AT cecchilaura elroldelasemanticadeclarativaenelanalisisdelaprogramacionenlogicarebatible AT simariguillermoricardo elroldelasemanticadeclarativaenelanalisisdelaprogramacionenlogicarebatible |
bdutipo_str |
Repositorios |
_version_ |
1764820465640013826 |