A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Filters
An Asymmetric Protocol for Argumentation Games in Defeasible Logic
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
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
1998
Computational intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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]
2013
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2011
Proceedings of the 13th International Conference on Artificial Intelligence and Law - ICAIL '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Handbook of Philosophical Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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]
2003
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2004
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Knowledge engineering review (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Knowledge engineering review (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2003
Knowledge engineering review (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
Argumentation: an international journal on reasoning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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