19/08/2021

Reasoning over Argument-Incomplete AAFs in the Presence of Correlations

Bettina Fazzinga, Sergio Flesca, Filippo Furfaro

Keywords: Agent-based and Multi-agent Systems, Agreement Technologies, Computational Complexity of Reasoning

Abstract Paper Similar Papers

Abstract: We introduce "argument-incomplete Abstract Argumentation Frameworks with dependencies", that extend the traditional abstract argumentation reasoning to the case where some arguments are uncertain and correlated through logical dependencies (such as mutual exclusion, implication, etc.). We characterize the complexities of the problems DSAT of deciding the satisfiability of the dependencies and PDVER of verifying extensions, and show how they depend on the forms of dependencies and, for PDVER, also on the semantics of the extensions.

 0
 0
 0
 0
  Share    
This is an embedded video. Talk and the respective paper are published at IJCAI 2021 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd Characters remaining: 140

Similar Papers

 0
 0
 0
 0
 18:57 
 0
 0
 0
 0
 14:58 
 0
 0
 0
 0
 17:45 
 0
 0
 0
 0
 12:47 
 0
 0
 0
 0
 18:30 
 0
 0
 0
 0
 15:07 
 0
 0
 0
 0
 14:27 
 0
 0
 0
 0
 13:36 
 0
 0
 0
 0
 14:36 
 0
 0
 0
 0
 19:03 
 0
 0
 0
 0
 13:45 
 0
 0
 0
 0
 10:40 
 0
 0
 0
 0
 19:59 
 0
 0
 0
 0
 14:01 
 0
 0
 0
 0
 15:01 
 0
 0
 0
 0
 14:11 
 0
 0
 0
 0
 3:15 
 0
 0
 0
 0
 11:19 
 0
 0
 0
 0
 17:33 
 0
 0
 0
 0
 14:28 
 0
 0
 0
 0
 11:55 
 0
 0
 0
 0
 10:12 
 0
 0
 0
 0
 15:01 
 0
 0
 0
 0
 10:32 
 0
 0
 0
 0
 15:49 
 0
 0
 0
 0
 17:44 
 0
 0
 0
 0
 19:06 
 0
 0
 0
 0
 13:42 
 0
 0
 0
 0
 10:37 
 0
 0
 0
 0
 15:06 
 0
 0
 0
 0
 5:20 
 0
 0
 0
 0
 7:54 
 0
 0
 0
 0
 15:07 
 0
 0
 0
 0
 15:19 
 0
 0
 0
 0
 13:23 
 0
 0
 0
 0
 19:08 
 0
 0
 0
 0
 12:13 
 0
 0
 0
 0
 18:32 
 0
 0
 0
 0
 17:27 
 0
 0
 0
 0
 15:50