A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
On the Input/Output behavior of argumentation frameworks
2014
Artificial Intelligence
Preserved Fulltext
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
2018
PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2021
Journal of Artificial Intelligence Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2000
Proceedings of the first international conference on Natural language generation - INLG '00
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2012
Annals of Mathematics and Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2017
International journal on artificial intelligence tools
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2013
David Makinson on Classical Methods for Non-Classical Problems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2017
Journal of Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
1994
Regional Science and Urban Economics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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