AMANDE

This is the website of the AMANDE project (1/Dec/2013 - 30/Nov/2017).

Main

WP5

Main.WP5 History

Hide minor edits - Show changes to output

Changed line 22 from:
%newwin% [[http://www.irit.fr.SESAME|SESAME]] is another tool developped as a part of the AMANDE project, to specify argumentation semantics for abstract argumentation frameworks, and to tackle the verification problem (is a given set of arguments an extension under a semantics for a given argumentation framework?). The semantics which can be specified go well beyond the range of semantics already known, and the user can indeed specify brand new semantics of her own. The system then provides a logical encoding in the form of a parametrized formula.
to:
%newwin% [[http://www.irit.fr/SESAME|SESAME]] is another tool developped as a part of the AMANDE project, to specify argumentation semantics for abstract argumentation frameworks, and to tackle the verification problem (is a given set of arguments an extension under a semantics for a given argumentation framework?). The semantics which can be specified go well beyond the range of semantics already known, and the user can indeed specify brand new semantics of her own. The system then provides a logical encoding in the form of a parametrized formula.
Changed line 22 from:
%newwin% [[http://www.irit.fr.SESAME|SESAME]] is another tool developped as a part of the project, to specify argumentation semantics for abstract argumentation frameworks, and to tackle the verification problem (is a given set of arguments an extension under a semantics for a given argumentation framework?). The semantics which can be specified go well beyond the existing already known semantics. The system then provides a logical encoding in the form of a parametrized formula.
to:
%newwin% [[http://www.irit.fr.SESAME|SESAME]] is another tool developped as a part of the AMANDE project, to specify argumentation semantics for abstract argumentation frameworks, and to tackle the verification problem (is a given set of arguments an extension under a semantics for a given argumentation framework?). The semantics which can be specified go well beyond the range of semantics already known, and the user can indeed specify brand new semantics of her own. The system then provides a logical encoding in the form of a parametrized formula.
Changed line 23 from:
When applied to a given subset of arguments of a given argumentation framework, the instantiated formula is satisfiable if and only if the set is an extension for the framework according to the specified semantics. Satisfiability can be checked by feeding the instantiated formula to a SAT solver.
to:
When applied to a given subset of arguments of a given argumentation framework, the instantiated formula is satisfiable if and only if the set is an extension for the framework according to the specified semantics. Satisfiability can be checked by feeding the instantiated formula to a SAT solver. 
Changed lines 22-23 from:
%newwin% [[http://www.irit.fr.SESAME|SESAME]] is another tool developped as a part of the project, to specify argumentation semantics for abstract argumentation frameworks, and to tackle the verification problem (is a given set of arguments an extension under the semantics for a given argumentation framework?). The semantics which can be specified go well beyond the existing already known semantics. The system then provides a logical encoding in the form of a parametrized formula. When applied to a given subset of arguments of a given argumentation framework, the instantiated formula is satisfiable if and only if the set is an extension for the framework according to the specified semantics. Satisfiability can be checked by feeding the instantiated formula to a SAT solver.
to:
%newwin% [[http://www.irit.fr.SESAME|SESAME]] is another tool developped as a part of the project, to specify argumentation semantics for abstract argumentation frameworks, and to tackle the verification problem (is a given set of arguments an extension under a semantics for a given argumentation framework?). The semantics which can be specified go well beyond the existing already known semantics. The system then provides a logical encoding in the form of a parametrized formula.
When applied to a given subset of arguments of a given argumentation framework, the instantiated formula is satisfiable if and only if the set is an extension for the framework according to the specified semantics. Satisfiability can be checked by feeding the instantiated formula to a SAT solver. 
Changed lines 18-19 from:
[[http://www.cril.univ-artois.fr/coquiaas|CoQuiAAS]] is a tool developped as a part of the AMANDE project to perform the most usual inference task on abstract argumentation frameworks (computing one or all the extensions, deciding if an argument is credulously or skeptically accepted) for the classical Dung semantics (complete, preferred, stable and grounded).
CoQuiAAS has been conceived with a view to be easy to use and to provide a base to develop some other features in the future (other semantics, labellings, extensions of Dung's framework,...).
to:
%newwin% [[http://www.cril.univ-artois.fr/coquiaas|CoQuiAAS]] is a tool developped as a part of the AMANDE project to perform the most usual inference task on abstract argumentation frameworks (computing one or all the extensions, deciding if an argument is credulously or skeptically accepted) for the classical Dung semantics (complete, preferred, stable and grounded).
CoQuiAAS has been conceived with a view to be easy to use and to provide a base to develop some other features in the future (other semantics, labellings, extensions of Dung's framework,...).

!! '''SESAME'''
%newwin% [[http://www.irit.fr.SESAME|SESAME]] is another tool developped as a part of the project, to specify argumentation semantics for abstract argumentation frameworks, and to tackle the verification problem (is a given set of arguments an extension under the semantics for a given argumentation framework?). The semantics which can be specified go well beyond the existing already known semantics. The system then provides a logical encoding in the form of a parametrized formula. When applied to a given subset of arguments of a given argumentation framework, the instantiated formula is satisfiable if and only if the set is an extension for the framework according to the specified semantics. Satisfiability can be checked by feeding the instantiated formula to a SAT solver. 
March 16, 2015, at 09:46 AM by 193.49.62.52 - Description of CoQuiAAS software
Changed lines 15-19 from:
provide automatic reasoning/decision capabilities to these platforms.
to:
provide automatic reasoning/decision capabilities to these platforms.

!! '''CoQuiAAS'''
[[http://www.cril.univ-artois.fr/coquiaas|CoQuiAAS]] is a tool developped as a part of the AMANDE project to perform the most usual inference task on abstract argumentation frameworks (computing one or all the extensions, deciding if an argument is credulously or skeptically accepted) for the classical Dung semantics (complete, preferred, stable and grounded).
CoQuiAAS has been conceived with a view to be easy to use and to provide a base to develop some other features in the future (other semantics, labellings, extensions of Dung's framework,...)
.
February 25, 2015, at 07:45 PM by 78.192.220.58 -
Changed lines 6-15 from:
up with reasoning modules which can be integrated in existing platforms.
to:
up with reasoning modules which can be integrated in existing platforms.

Indeed an important application with great potential impact is related to debate systems that are emerging on the
we; see for instance %newwin%[[http://idebate.org/debatabase|Debatebase]] and %newwin%[[http://debategraph.org|DebateGraph]]. The success of these platforms in their currrent form seems to suggest that they can
become an important source of information, just as wikipedia is now. For instance, DebateGraph was used to
produce maps for the British newspaper “The Independent” and talk shows on CNN, and is supported by the
White House, the European Commission, and other institutions. These debate systems are still in their
infancy though. For the moment they are mainly interfaces where people can give arguments pro or con a
given issue without any particular processing and evaluation of those arguments. The AMANDE project will
provide automatic reasoning/decision capabilities to these
platforms.
January 14, 2015, at 04:38 PM by 194.57.131.61 -
Changed line 1 from:
!!Experiments and Applications
to:
! '''Experiments and Applications'''
Changed line 1 from:
!!WP5: Experiments and Applications
to:
!!Experiments and Applications
Added lines 1-6:
!!WP5: Experiments and Applications

The aim of this workpackage is to produce a large dataset of problem instances, to integrate the different
developments of the four other workpackages into a prototype application, in the aim to finally obtain and
analyze experimental results related to these WPs. An expected output of this workpackage is also to come
up with reasoning modules which can be integrated in existing platforms.