Filters








93 Hits in 3.5 sec

An Asymmetric Protocol for Argumentation Games in Defeasible Logic [chapter]

Jenny Eriksson Lundström, Guido Governatori, Subhasis Thakur, Vineet Padmanabhan
2009 Lecture Notes in Computer Science  
In this paper we present an asymmetric protocol for an adversarial argumentation game in Defeasible Logic, suggesting Defeasible Logic as a general representation formalism for argumentation games modelling  ...  Agent interactions where the agents hold conflicting goals could be modelled as adversarial argumentation games.  ...  Conclusion In this paper Defeasible Logic is used to capture an asymmetric protocol for argumentation games.  ... 
doi:10.1007/978-3-642-01639-4_19 fatcat:kyri6f7pkndtribycnlbjg4f44

Process and Policy: Resource-Bounded NonDemonstrative Reasoning

Ronald P. Loui
1998 Computational intelligence  
Sometimes the grounds for adopting a policy can be represented: for example, the game-theoretic justi cation of the policy \castle early in chess" might be representable as a cache of analyzed positions  ...  They are policies for constructing arguments.  ...  An even more extreme example of lobbying protocol starts with the latter pair of defeasible rules. The argument for B is advanced.  ... 
doi:10.1111/0824-7935.00055 fatcat:oz7yyrfkebdqxbmemvnapjzpie

Strategic Argumentation is NP-Complete [article]

Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani
2013 arXiv   pre-print
In this paper we study the complexity of strategic argumentation for dialogue games. A dialogue game is a 2-player game where the parties play arguments.  ...  We show how to model dialogue games in a skeptical, non-monotonic formalism, and we show that the problem of deciding what move (set of rules) to play at each turn is an NP-complete problem.  ...  Section 5 defines dialogue protocols for games of incomplete information based on Argumentation Logic and formulates the Strategic Argumentation Problem.  ... 
arXiv:1312.4287v1 fatcat:nqkfmizmlzcinobf2clcarknvm

Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report) [chapter]

Henry Prakken
1999 Lecture Notes in Computer Science  
In this paper a dialectical proof theory is proposed for logical systems for defeasible argumentation that t a certain format.  ...  The proof theory could serve as the'logical core' of protocols for dispute in multi-agent decision making processes.  ...  The general idea is based on game-theoretic notions of logical consequence developed in dialogue logic (for an overview see 1]).  ... 
doi:10.1007/3-540-46581-2_14 fatcat:azbw7a5s7jdtnj6r2jriqk6qmi

On the relationship between Carneades and Defeasible Logic

Guido Governatori
2011 Proceedings of the 13th International Conference on Artificial Intelligence and Law - ICAIL '11  
We study the formal relationships between the inferential aspects of Carneades (a general argumentation framework) and Defeasible Logic.  ...  The outcome of the investigation is that the current proof standards proposed in the Carneades framework correspond to some variants of Defeasible Logic.  ...  Acknowledgements I would like to thank Thomas Gordon, Henry Prakken, Antonino Rotolo and Giovanni Sartor for discussions on the relationships between Carneades and Defeasible Logic.  ... 
doi:10.1145/2018358.2018362 dblp:conf/icail/Governatori11 fatcat:ic2lcvyv4ne2bldtmqczjriniu

Argumentation Based Resolution of Conflicts between Desires and Normative Goals [chapter]

Sanjay Modgil, Michael Luck
2009 Lecture Notes in Computer Science  
We provide an example instantiation of the framework based on a logic programming formalism.  ...  In this framework, arguments for and against compliance are arguments justifying rewards, respectively punishments, exacted by 'enforcing' agents.  ...  Acknowledgements The research described in this paper is partly supported by the European Commission Framework 6 funded project CONTRACT (INFSO-IST-034418).  ... 
doi:10.1007/978-3-642-00207-6_2 fatcat:2wx74a6oizdgzif2jdif3yp6z4

Law and logic: A review from an argumentation perspective

Henry Prakken, Giovanni Sartor
2015 Artificial Intelligence  
This article reviews legal applications of logic, with a particularly marked concern for logical models of legal argument.  ...  We argue that the law is a rich test bed and important application field for logic-based AI research.  ...  logic ( [60] and a formal dialogue game for argumentation.  ... 
doi:10.1016/j.artint.2015.06.005 fatcat:r3qsbixofvgrbhkm4dwpajynu4

Logics for Defeasible Argumentation [chapter]

Henry Prakken, Gerard Vreeswijk
2001 Handbook of Philosophical Logic  
logics for defeasible argumentation.  ...  In fact, Nute also counts systems for defeasible argumentation as defeasible logics.  ... 
doi:10.1007/978-94-017-0456-4_3 fatcat:43zmm2soqfbbpa56sp5s7gby6e

Defeasible Logic Programming: An Argumentative Approach [article]

Alejandro Javier Garcia, Guillermo Ricardo Simari
2003 arXiv   pre-print
The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and Defeasible Argumentation.  ...  In DeLP an argumentation formalism will be used for deciding between contradictory goals. Queries will be supported by arguments that could be defeated by other arguments.  ...  We wish to thank especially Carlos Ivan Chesñevar for many helpful discussions and the three anonymous referees for their useful suggestions.  ... 
arXiv:cs/0302029v1 fatcat:k6xhnwtdgvcspmho5bhqa4pxbe

Defeasible logic programming: an argumentative approach

ALEJANDRO J. GARCÍA, GUILLERMO R. SIMARI
2004 Theory and Practice of Logic Programming  
The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and Defeasible Argumentation.  ...  In DeLP an argumentation formalism will be used for deciding between contradictory goals. Queries will be supported by arguments that could be defeated by other arguments.  ...  We wish to thank especially Carlos Ivan Chesñevar for many helpful discussions and the three anonymous referees for their useful suggestions.  ... 
doi:10.1017/s1471068403001674 fatcat:s6lzewbrn5gf3kbls2zuy4si2u

Informal logic dialogue games in human–computer dialogue

Tangming Yuan, David Moore, Chris Reed, Andrew Ravenscroft, Nicolas Maudet
2011 Knowledge engineering review (Print)  
Informal logic (IL) is an area of philosophy rich in models of communication and discourse with a heavy focus on argument and 'dialogue games'.  ...  We argue that IL dialogue games tend to have a number of attractive properties for human computer dialogue and that their computational utilization in this area has been increasing recently.  ...  of informal logic in human-computer dialogue The essential argument for the adoption of a dialogue game framework is that the games purport to be models of 'what is fair and reasonable in argument and  ... 
doi:10.1017/s026988891100004x fatcat:wsmbldydzjaxzh5a6kkmwmsn3m

Towards an argument interchange format

CARLOS CHESÑEVAR, 2 MCGINNIS, SANJAY MODGIL, IYAD RAHWAN, CHRIS REED, GUILLERMO SIMARI, MATTHEW SOUTH, GERARD VREESWIJK, STEVEN WILLMOTT
2006 Knowledge engineering review (Print)  
In the last years, significant progress has been made in understanding the theoretical properties of different argumentation logics.  ...  This article describes a draft specification for an Argument Interchange Format (AIF) intended for representation and exchange of data between various argumentation tools and agent-based applications.  ...  models for: a) formal logic-based inference of argument; b) decision making based on arguments for and against decision options; c) protocol based use of arguments so as to enrich purposive dialogues  ... 
doi:10.1017/s0269888906001044 fatcat:umngb6ppl5fg3ettn4s7fnmiji

Strategic Argumentation in Rigorous Persuasion Dialogue [chapter]

Joseph Devereux, Chris Reed
2010 Lecture Notes in Computer Science  
In this paper we describe how an existing dialogue game -Walton & Krabbe's RPD0 -may be adapted by using Dung Argumentation Frameworks in place of propositional logic.  ...  Philosophical dialogue games have been used widely as models for protocols in multi-agent systems to improve flexibility, expressiveness, robustness and efficiency.  ...  , defeasible, contextual implication, in contrast to the guaranteed universal implication of propositional logic.  ... 
doi:10.1007/978-3-642-12805-9_6 fatcat:cvmfnweuljgj7c4v4aoop2rhh4

Argumentation-based negotiation

IYAD RAHWAN, SARVAPALI D. RAMCHURN, NICHOLAS R. JENNINGS, PETER McBURNEY, SIMON PARSONS, LIZ SONENBERG
2003 Knowledge engineering review (Print)  
For this reason, mechanisms in which agents exchange potential agreements according to various rules of interaction have become very popular in recent years as evident, for example, in the auction and  ...  For each of these elements, we survey and evaluate existing proposed techniques in the literature and highlight the major challenges that need to be addressed if argument-based negotiation research is  ...  Challenges Protocols for ABN share the challenges faced in the design of argumentation protocols in general.  ... 
doi:10.1017/s0269888904000098 fatcat:vjudokmf2jdsjjpekecrv3odmi

Medieval Disputationes de obligationibus as Formal Dialogue Systems

Sara L. Uckelman
2012 Argumentation: an international journal on reasoning  
Hamblin cites the medieval theory of obligationes as inspiration for his development of formal argumentation.  ...  Their conceptual roots are in formal theories of natural argumentation, of which Hamblin's formal systems of argumentation in Hamblin (Fallacies.  ...  In particular, the results in (Parsons et al. 2003b, §7) are for argumentation-based logics, which DEL is not, and the results in (Parsons et al. 2002, §5-6) are for protocols where repetition is not  ... 
doi:10.1007/s10503-012-9266-7 fatcat:nqlgm2upjrhcfnrm27ucqo2j6q
« Previous Showing results 1 — 15 out of 93 results