Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

dc.date.accessioned 2012-11-02T14:15:49Z
dc.date.available 2012-11-02T14:15:49Z
dc.date.issued 1999-10
dc.identifier.uri http://hdl.handle.net/10915/23536
dc.description.abstract 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. en
dc.format.extent 8 p. es
dc.language en es
dc.title Game-based approach for modeling dialectical analysis en
dc.type Objeto de conferencia es
sedici.creator.person Cecchi, Laura es
sedici.creator.person Simari, Guillermo Ricardo es
sedici.description.note Eje: Programación lógica es
sedici.subject.materias Ciencias Informáticas es
sedici.subject.keyword Defeasible logic programming es
sedici.subject.keyword game semantics es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Atribución-NoComercial-CompartirIgual 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2001-10
sedici.relation.event V Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es
sedici.subject.acmcss98 Semantics es
sedici.subject.acmcss98 Logic Programming es


Files in this item

This item appears in the following Collection(s)

Creative Commons Atribución-NoComercial-CompartirIgual 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Atribución-NoComercial-CompartirIgual 2.5 Argentina (CC BY-NC-SA 2.5)