Filters








45,164 Hits in 6.8 sec

On the Input/Output behavior of argumentation frameworks

Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert van der Torre, Serena Villata
2014 Artificial Intelligence  
This papers tackles the fundamental questions arising when looking at argumentation frameworks as interacting components, characterized by an Input/Output behavior, rather than as isolated monolithical  ...  frameworks on a solid formal ground.  ...  multipole with another one which is Input/Output GR-equivalent.  ... 
doi:10.1016/j.artint.2014.08.004 fatcat:jpizbstkyja3bkitnytlgcmluq

Control Argumentation Frameworks

Yannis Dimopoulos, Jean-Guy Mailly, Pavlos Moraitis
2018 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
It can be used by an agent to ensure that a set of arguments is part of one (or every) extension whatever the actual set of arguments and attacks.  ...  Dynamics of argumentation is the family of techniques concerned with the evolution of an argumentation framework (AF), for instance to guarantee that a given set of arguments is accepted.  ...  However, the idea of input/output is to study the relations between sub-frameworks, i.e. how the arguments' status in a sub-framework influences other sub-frameworks.  ... 
doi:10.1609/aaai.v32i1.11583 fatcat:nibahxalinh6hitsokrere6tgu

Labeled Bipolar Argumentation Frameworks

Melisa Gisselle Escañuela Gonzalez, Maximiliano Celmo David Budán, Gerardo I. Simari, Guillermo Ricardo Simari
2021 Journal of Artificial Intelligence Research  
An essential part of argumentation-based reasoning is to identify arguments in favor and against a statement or query, select the acceptable ones, and then determine whether or not the original statement  ...  We present here an abstract framework that considers two independent forms of argument interaction-support and conflict-and is able to represent distinctive information associated with these arguments.  ...  Input/Output: System of equations EQS for valuations α X , µ X and δ X associated with the argument X of G Θ .  ... 
doi:10.1613/jair.1.12394 dblp:journals/jair/GonzalezBSS21 fatcat:4lzck4cvpjdfrhgb5cnk7pzq5m

A task-based framework to evaluate evaluative arguments

Giuseppe Carenini
2000 Proceedings of the first international conference on Natural language generation - INLG '00  
We present an evaluation framework in which the effectiveness of evaluative arguments can be measured with real users. The framework is based on the task-efficacy evaluation method.  ...  Within this framework, we are currently running a formal experiment to verify whether argument effectiveness can be increased by tailoring the argument to the user and by varying the degree of argument  ...  Conati for comments on drafts of this paper. This work was supported by grant number DAA-1593K0005 from the Advanced Research Projects Agency (ARPA).  ... 
doi:10.3115/1118253.1118256 dblp:conf/inlg/Carenini00 fatcat:gdjivn6pwra7flk5uowwtei6oe

A structured argumentation framework for detaching conditional obligations [article]

Mathieu Beirlaen, Christian Straßer
2016 arXiv   pre-print
We illustrate the modularity of the general framework by considering some extensions, and we compare the framework to some related approaches from the literature.  ...  For the evaluation of arguments in favor of detaching obligations we use a Dung-style argumentation-theoretical semantics.  ...  Input/output logic Like the constrained input/output (I/O) logics from [19] , the DAFs defined here are tools for detaching conditional obligations relative to a set of inputs and constraints.  ... 
arXiv:1606.00339v1 fatcat:kua325ygtjfo7he7rmjvgkh2aa

Argumentation Theoretical Frameworks for Explainable Artificial Intelligence

Martijn Demollin, Qurat-Ul-Ain Shaheen, Katarzyna Budzynska, Carles Sierra
2020 Zenodo  
This paper discusses four major argumentation theoretical frameworks with respect to their use in support of explainable artificial intelligence (XAI).  ...  We consider these frameworks as useful tools for both system-centred and usercentred XAI.  ...  For any black-box model, the data can be classified into three types: input, output and intermediate symbols which are generated during the learning process.  ... 
doi:10.5281/zenodo.5886640 fatcat:sjjkale7snejng7fzwuizuloyu

A logic of argumentation for specification and verification of abstract argumentation frameworks

Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre, Joris Hulstijn
2012 Annals of Mathematics and Artificial Intelligence  
In this paper, we propose a logic of argumentation for the specification and verification (LA4SV) of requirements on Dung's abstract argumentation frameworks.  ...  arguments, or all extensions of an argumentation framework, or all extensions of all argumentation frameworks satisfying a framework specification.  ...  This is formalized in the following definition of the input/output logic of abstract argumentation for verification.  ... 
doi:10.1007/s10472-012-9318-6 fatcat:se57gpz6dfgvlmkvuwljsbtmma

An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSAT

Federico Cerutti, Mauro Vallati, Massimiliano Giacomin
2017 International journal on artificial intelligence tools  
Dung's argumentation frameworks are adopted in a variety of applications, from argument-mining, to intelligence analysis and legal reasoning.  ...  freely available on the Web.  ...  It is based on the notion of argumentation framework (AF ), that consists of a set of arguments and an attack relation between them.  ... 
doi:10.1142/s0218213017500026 fatcat:3xs5vl5jgjgqtc362wswl7wvau

Intuitionistic Basis for Input/Output Logic [chapter]

Xavier Parent, Dov Gabbay, Leendert van der Torre
2013 David Makinson on Classical Methods for Non-Classical Problems  
Therefore, the choice between the two logics does not make any difference for the resulting framework.  ...  It is shown that I/O logic can be based on intuitionistic logic instead of classical logic.  ...  Intuitionistic Basis for Input/Output Logic 3 2 Background Subsection 2.1 presents the framework as initially defined by Makinson and van der Torre [9] .  ... 
doi:10.1007/978-94-007-7759-0_13 fatcat:p4z2bxxyibhqlihgsos4o27ptq

Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning

Erisa Karafili, Fulvio Valenza, Yichen Chen, Emil Lupu
2020 Zenodo  
ArgoFiCo's Inputs, Outputs, and Configurations The inputs of our framework are: the network policies, which are given in the form of high-level requirements for the network; and the network topology together  ...  Preference-Based Argumentation Framework Our framework is based on preference-based argumentation [8] , [10] , which permits us to work with conflicting rules, given its non-monotonic nature.  ... 
doi:10.5281/zenodo.3674747 fatcat:5blwws6zmfabzfxkoil4hs2b3m

The UniNAS framework: combining modules in arbitrarily complex configurations with argument trees [article]

Kevin Alexander Laube
2021 arXiv   pre-print
Framework parameters may apply only to some modules but not others, be mutually exclusive or depend on each other, often in unclear ways.  ...  Even so, many frameworks are limited to a few specific use cases.  ...  Center: Since the network code is well-defined, it is possible to generate an overview of layers, inputs, outputs, and parameters.  ... 
arXiv:2112.01796v1 fatcat:2lfn22b2ina3jerlsrd4d3sbsi

On the complexity of input/output logic

Xin Sun, Livio Robaldo
2017 Journal of Applied Logic  
The complexity of input/output logic has been sparsely developed. In this paper we study the complexity of four existing input/output logics.  ...  We show that the lower bound of the complexity of the fulfillment problem of these input/output logics is coNP, while the upper bound is either coNP, or P N P . 3.  ...  We refer to the family as the input/output framework.  ... 
doi:10.1016/j.jal.2017.03.002 fatcat:7yfpruagt5hf7jx7nleedfr7q4

On the Complexity of Input/Output Logic [chapter]

Xin Sun, Diego Agustín Ambrossio
2015 Lecture Notes in Computer Science  
The complexity of input/output logic has been sparsely developed. In this paper we study the complexity of four existing input/output logics.  ...  We show that the lower bound of the complexity of the fulfillment problem of these input/output logics is coNP, while the upper bound is either coNP, or P N P . 3.  ...  We refer to the family as the input/output framework.  ... 
doi:10.1007/978-3-662-48561-3_38 fatcat:ch4afi5lozb6ldjv74cx5eqxvq

On the methodology of input-output analysis

Thijs ten Raa
1994 Regional Science and Urban Economics  
Conversely, neoclassical concepts of marginal productivities can be related to a consistent input-output framework of data. Sources of substitution are identified.  ...  By embedding input-output concepts in a neoclassical framework, specification issues are resolved, notably the problems of construction of coefficients and of determination of value.  ...  Moreover, by taking an input-output coefficients matrix as the point of departure, one risks imposing a framework of analysis that simply does not fit reality.  ... 
doi:10.1016/0166-0462(94)90017-5 fatcat:uxrudw6r2zdahnx225zfq34cqa

Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning

Erisa Karafili, Fulvio Valenza, Yichen Chen, Emil C. Lupu
2020 NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium  
We propose a novel framework, called ArgoFiCo, which is based on argumentation reasoning.  ...  Our framework automatically populates the firewalls of a network, given the network topology and the high-level requirements that represent how the network should behave.  ...  ArgoFiCo's Inputs, Outputs, and Configurations The inputs of our framework are: the network policies, which are given in the form of high-level requirements for the network; and the network topology together  ... 
doi:10.1109/noms47738.2020.9110399 dblp:conf/noms/KarafiliVCL20 fatcat:vd7pgqhr75ba3cqjmdv2ieufbi
« Previous Showing results 1 — 15 out of 45,164 results