Abstract
This paper is part of a research program centered around argumentation networks and offering several research directions for argumentation networks, with a view of using such networks for integrating logics and network reasoning. In Section 1 we introduce our program manifesto. In Section 2 we motivate and show how to substitute one argumentation network as a node in another argumentation network. Substitution is a purely logical operation and doing it for networks, besides developing their theory further, also helps us see how to bring logic and networks closer together. Section 3 develops the formal properties of the new kind of network and Section 4 offers general discussion and comparison with the literature.
Original language | English |
---|---|
Pages (from-to) | 231-295 |
Number of pages | 65 |
Journal | Studia Logica |
Volume | 93 |
Issue number | 2 |
DOIs | |
State | Published - Dec 2009 |
Keywords
- Critical sets
- Disjunctive attacks
- Fibring argumentation frames
- Flow argumentation networks
- Joint attacks