Theory and Applications of Formal Argumentation
4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
Chapter and Conference Paper
A common assumption for argumentation-based dialogues is that any argument exchanged is complete, in the sense that its premises entail its claim. However, in real world dialogues, agents commonly exchange ent...
Book and Conference Proceedings
4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
Chapter and Conference Paper
We investigate the relationship between the structural properties of argumentation frameworks and their argument-based characteristics, examining the characteristics of structures of Dung-style frameworks and ...
Chapter and Conference Paper
We consider two teams of agents engaging in a debate to persuade an audience of the acceptability of a central argument. This is modelled by a bipartite abstract argumentation framework with a distinguished to...
Article
Norms can be used in multi-agent systems for defining patterns of behaviour in terms of permissions, prohibitions and obligations that are addressed to agents playing a specific role. Agents may play different...
Book and Conference Proceedings
Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers
Chapter and Conference Paper
Dialogical argumentation allows agents to interact by constructing and evaluating arguments through a dialogue. Numerous proposals have been made for protocols for dialogical argumentation, and recently there ...
Chapter and Conference Paper
This paper deals with an approach to opponent-modelling in argumentation-based persuasion dialogues. It assumes that dialogue participants (agents) have models of their opponents’ knowledge, which can be augme...
Chapter and Conference Paper
In order for an agent or a group of agents (such as a team) to achieve a goal, a sequence of actions have to be performed. These actions bring about state transitions that constitute a plan. Multiple ways of a...
Chapter and Conference Paper
Argument-based deliberation dialogues are an important mechanism in the study of agent coordination, allowing agents to exchange formal arguments to reach an agreement for action. Agents participating in a del...
Book and Conference Proceedings
Second International Workshop, TAFA 2013, Bei**g, China, August 3-5, 2013, Revised Selected papers
Chapter and Conference Paper
We take a simple form of non-adversarial persuasion dialogue in which one participant (the persuader) aims to convince the other (the responder) to accept the topic of the dialogue by asserting sets of beliefs. T...
Chapter and Conference Paper
Software design is an important creative step in the engineering of software systems, yet we know surprisingly little about how humans actually do it. While it has been argued before that there is a need for f...
Chapter and Conference Paper
In this paper, we present an implemented system that enables autonomous agents to engage in dialogues that involve inquiries embedded within a process of practical reasoning. The implementation builds upon an ...
Chapter and Conference Paper
We present an empirical simulation-based study of the use of value-based argumentation in two-party deliberation dialogues, investigating the impact that argumentation can have on the quality of the outcome re...
Chapter and Conference Paper
When deliberating about what to do, an autonomous agent must generate and consider the relative pros and cons of the different options. The situation becomes even more complicated when an agent is involved in ...
Article
The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues; we focus on inquiry dialogues, which allow agents to collaborate in order to find new knowledge. We...
Chapter and Conference Paper
Logic-based argumentation offers an approach to querying and revising multiple ontologies that are inconsistent or incoherent. A common assumption for logic-based argumentation is that an argument is a pair 〈Φ,α〉...