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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cecchi, Laura, Simari, Guillermo Ricardo
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