A general framework for sound assumption-based argumentation dialogues

摘要: We propose a formal model for argumentation-based dialogues between agents, using assumption-based argumentation (ABA) as the underlying framework. Thus, amount to conducting an process in ABA. The is given terms of ABA-specific utterances, debate trees and forests implicitly built during drawn from dialogues, legal-move functions (amounting protocols) outcome functions. generic that it not restricted any specific dialogue types can be used support wide range thereof. prove connection three well-known semantics (i.e. grounded, admissible ideal extensions), by giving soundness results our models with respect these semantics. seen distributed mechanism successfully determining acceptability claims (with considered), while constructing frameworks arguments claims.