The Experts below are selected from a list of 3066 Experts worldwide ranked by ideXlab platform
Stefan Woltran - One of the best experts on this subject based on the ideXlab platform.
-
structural properties for deductive argument systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7958 L pp. 278-28, 2013Co-Authors: Anthony Hunter, Stefan WoltranAbstract:There have been a number of proposals for using deductive arguments for instantiating abstract argumentation. These take a set of formulae as a knowledgebase, and generate a graph where each node is a Logical argument and each arc is a Logical Attack. This then raises the question of whether for a specific Logical argument system S, and for any graph G, there is a knowledgebase such that S generates G. If it holds, then it can be described as a kind of "structural" property of the system. If it fails then, it means that there are situations that cannot be captured by the system. In this paper, we explore some features, and the significance, of such structural properties. © 2013 Springer-Verlag Berlin Heidelberg.
-
structural properties for deductive argument systems
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 2013Co-Authors: Anthony Hunter, Stefan WoltranAbstract:There have been a number of proposals for using deductive arguments for instantiating abstract argumentation. These take a set of formulae as a knowledgebase, and generate a graph where each node is a Logical argument and each arc is a Logical Attack. This then raises the question of whether for a specific Logical argument system S, and for any graph G, there is a knowledgebase such that S generates G. If it holds, then it can be described as a kind of "structural" property of the system. If it fails then, it means that there are situations that cannot be captured by the system. In this paper, we explore some features, and the significance, of such structural properties.
Anthony Hunter - One of the best experts on this subject based on the ideXlab platform.
-
structural properties for deductive argument systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7958 L pp. 278-28, 2013Co-Authors: Anthony Hunter, Stefan WoltranAbstract:There have been a number of proposals for using deductive arguments for instantiating abstract argumentation. These take a set of formulae as a knowledgebase, and generate a graph where each node is a Logical argument and each arc is a Logical Attack. This then raises the question of whether for a specific Logical argument system S, and for any graph G, there is a knowledgebase such that S generates G. If it holds, then it can be described as a kind of "structural" property of the system. If it fails then, it means that there are situations that cannot be captured by the system. In this paper, we explore some features, and the significance, of such structural properties. © 2013 Springer-Verlag Berlin Heidelberg.
-
structural properties for deductive argument systems
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 2013Co-Authors: Anthony Hunter, Stefan WoltranAbstract:There have been a number of proposals for using deductive arguments for instantiating abstract argumentation. These take a set of formulae as a knowledgebase, and generate a graph where each node is a Logical argument and each arc is a Logical Attack. This then raises the question of whether for a specific Logical argument system S, and for any graph G, there is a knowledgebase such that S generates G. If it holds, then it can be described as a kind of "structural" property of the system. If it fails then, it means that there are situations that cannot be captured by the system. In this paper, we explore some features, and the significance, of such structural properties.
Christian G. Fermüller - One of the best experts on this subject based on the ideXlab platform.
-
Connecting fuzzy logic and argumentation frames via Logical Attack principles
Soft Computing, 2019Co-Authors: Esther Anna Corsi, Christian G. FermüllerAbstract:We explore systematic connections between weighted (semi-abstract) argumentation frames and t-norm-based fuzzy logics. To this aim we introduce the concept of argumentative immunity, as well as corresponding notions of argumentative soundness and completeness with respect to given sets of Logical Attack principles. For Gödel logic, a detailed proof of argumentative soundness and completeness with respect to appropriate principles is presented. For Łukasiewicz and product logic this is indicated more briefly, but with some hints on corresponding interpretations of the Attack relation between (claims of) arguments. Moreover, the central axiom of prelinearity is analyzed from our argumentation-based perspective.
Fermüller, Christian G. - One of the best experts on this subject based on the ideXlab platform.
-
Connecting fuzzy logic and argumentation frames via Logical Attack principles
Springer Nature, 2018Co-Authors: Corsi, Esther Anna, Fermüller, Christian G.Abstract:We explore systematic connections between weighted (semi-abstract) argumentation frames and t-norm-based fuzzy logics. To this aim we introduce the concept of argumentative immunity, as well as corresponding notions of argumentative soundness and completeness with respect to given sets of Logical Attack principles. For Gödel logic, a detailed proof of argumentative soundness and completeness with respect to appropriate principles is presented. For Łukasiewicz and product logic this is indicated more briefly, but with some hints on corresponding interpretations of the Attack relation between (claims of) arguments. Moreover, the central axiom of prelinearity is analyzed from our argumentation-based perspective.Horizon 2020: Marie Skłodowska-Curie Grant Agreemen
Esther Anna Corsi - One of the best experts on this subject based on the ideXlab platform.
-
Connecting fuzzy logic and argumentation frames via Logical Attack principles
Soft Computing, 2019Co-Authors: Esther Anna Corsi, Christian G. FermüllerAbstract:We explore systematic connections between weighted (semi-abstract) argumentation frames and t-norm-based fuzzy logics. To this aim we introduce the concept of argumentative immunity, as well as corresponding notions of argumentative soundness and completeness with respect to given sets of Logical Attack principles. For Gödel logic, a detailed proof of argumentative soundness and completeness with respect to appropriate principles is presented. For Łukasiewicz and product logic this is indicated more briefly, but with some hints on corresponding interpretations of the Attack relation between (claims of) arguments. Moreover, the central axiom of prelinearity is analyzed from our argumentation-based perspective.