Game-based approach for modeling dialectical analysis

The operational semantics of defeasible logic programming (justification process) is based on a dialectical analysis of arguments and counterarguments. In [Abramsky, 1997] and [Abramsky(b), 1997], a game semantics is introduced in order to model a computation as a game between two players: the Syst...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cecchi, Laura, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2001
Materias:
Ciencias Informáticas
Semantics
Defeasible logic programming
game semantics
Logic Programming
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23536
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23536
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Semantics
Defeasible logic programming
game semantics
Logic Programming
spellingShingle Ciencias Informáticas
Semantics
Defeasible logic programming
game semantics
Logic Programming
Cecchi, Laura
Simari, Guillermo Ricardo
Game-based approach for modeling dialectical analysis
topic_facet Ciencias Informáticas
Semantics
Defeasible logic programming
game semantics
Logic Programming
description The operational semantics of defeasible logic programming (justification process) is based on a dialectical analysis of arguments and counterarguments. In [Abramsky, 1997] and [Abramsky(b), 1997], a game semantics is introduced in order to model a computation as a game between two players: the System and the Environment. The main idea is to use a game to model the interaction between the participants. The justification process can be seen as a game where a player proposes an argument for a goal q and tries to defend it while the other player tries to find counterarguments that defeat it. Therefore we can model a dialectical system through the interaction between two players: proponent and opponent. The purpose of this paper is to introduce a model based on a game structure for the operational semantics of Defeasible Logic Programming. The declarative semantics introduced, models the justification process when there exists a preference relation between contradictory arguments such that given two contradictory arguments it always determines which one is better.
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 Game-based approach for modeling dialectical analysis
title_short Game-based approach for modeling dialectical analysis
title_full Game-based approach for modeling dialectical analysis
title_fullStr Game-based approach for modeling dialectical analysis
title_full_unstemmed Game-based approach for modeling dialectical analysis
title_sort game-based approach for modeling dialectical analysis
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/23536
work_keys_str_mv AT cecchilaura gamebasedapproachformodelingdialecticalanalysis
AT simariguillermoricardo gamebasedapproachformodelingdialecticalanalysis
bdutipo_str Repositorios
_version_ 1764820465772134400

Ejemplares similares