Escolar Documentos
Profissional Documentos
Cultura Documentos
Argumentation Argumentation
Argumentation dialogue systems Argumentation dialogue systems
Summary Summary
Introduction Introduction
Argumentation Argumentation
Logic-based argumentation Logic-based argumentation
Argumentation dialogue systems Argumentation dialogue systems
Summary Summary
Introduction Introduction
Argumentation Argumentation
Logic-based argumentation Logic-based argumentation
Argumentation dialogue systems Argumentation dialogue systems
Summary Summary
Informatics UoE Agent-Based Systems 201 Informatics UoE Agent-Based Systems 202
Introduction Introduction
Argumentation Abstract argumentation Argumentation Abstract argumentation
Argumentation dialogue systems Implemented argumentation agents Argumentation dialogue systems Implemented argumentation agents
Summary Summary
◮ There is a more abstract way of looking at argumentation ◮ Question: when is an argument “safe” (i.e. acceptable)?
◮ Discard logical content of arguments and look just at relationships ◮ We discuss one way of modelling this
between them (Dung, 1995) ◮ x is attacked by a set of arguments Y ⊆ X if ∃y ∈ Y .y → x
◮ An abstract argumentation system A = hX , →i is defined by
◮ x is acceptable (“in”) wrt Y ⊆ X if every attacker of x (in X ) is
◮ a set of arguments X (just a collection of objects),
◮ →⊆ X × X a binary attack relation on arguments also attacked by Y
◮ We write x → y as shorthand for (x, y ) ∈→ (“argument x attacks
◮ Y ⊆ X is conflict-free if no argument in Y attacks some other
argument y ”) argument in Y
◮ We are not concerned with content of arguments or origin of
◮ Y is admissible if it is conflict-free and each argument in Y is
“attack” relationship acceptable with respect to Y
Informatics UoE Agent-Based Systems 205 Informatics UoE Agent-Based Systems 206
Introduction Introduction
Argumentation Abstract argumentation Argumentation Abstract argumentation
Argumentation dialogue systems Implemented argumentation agents Argumentation dialogue systems Implemented argumentation agents
Summary Summary
Example Example
Informatics UoE Agent-Based Systems 207 Informatics UoE Agent-Based Systems 208
Introduction Introduction
Argumentation Abstract argumentation Argumentation Abstract argumentation
Argumentation dialogue systems Implemented argumentation agents Argumentation dialogue systems Implemented argumentation agents
Summary Summary
◮ Example: PERSUADER system for labour negotiation domain PERSUADER belief structure example (company perspective):
◮ Agents: labour union, company, mediator profits(+)
◮ Purpose: to reach agreement by exchanging proposals and
counter-proposals production cost(−) sales(+)
◮ Agents model each other’s beliefs
quality (+) prices (−)
◮ Example argument: If the company is forced to grant higher wage plant efficiency (+) materials cost(−) labour cost (−)
Informatics UoE Agent-Based Systems 209 Informatics UoE Agent-Based Systems 210
Introduction
Argumentation
Argumentation dialogue systems
Summary
Summary