CFP: Diagnostic REAsoning: Model Analysis and Performance (DREAMAP)
17 views
Skip to first unread message
Ban
Mar 30, 2012, 1:27:13 AM3/30/12
to dx-wo...@googlegroups.com
==========================================================================
Call for papers
Diagnostic REAsoning: Model Analysis and Performance (DREAMAP)
20th European Conference on Artificial Intelligence
Montpellier, France, 27-28 August, 2012.
Website: http://dreamap.sciencesconf.org/
==========================================================================
Diagnosis is the reasoning process that aims at determining whether
certain properties (such as the occurrence of a failure, of an
unexpected measurement, or of a deviation from prescribed behavior)
hold at a given time inside a system (fault diagnosis) and/or in its
environment (situation diagnosis) and identifying their causes.
Diagnosis reasoning is thus crucial for many reasons:
safety/maintainability in supervised systems, robustness/decision
autonomy of smart agents in their partially observed environment,
reconfiguration of business strategies after a failure... Despite the
huge spectrum of applications, Model-Based Diagnosis (MBD) problems
are generic as any diagnosis algorithm relies on a class of models, or
a modeling framework, that represents a larger class of systems. In
the last decades, many diagnostic modeling frameworks have been
proposed that are now well established.
Nowadays, the community is more and more interested in understanding
the power and the limits of such frameworks/techniques. Such studies
allow to determine in advance how the diagnosis algorithm will
behave. This is crucial especially if Diagnosis is the input of other
automated reasoning tools (like planning, scheduling,...). The
accuracy and performance of MBD algorithms depend to a large extent on
some properties of the underlying model (correctness, fidelity,
accuracy, diagnosability, predictability...). For example, the size of
the model (measured as the number of variables and constraints)
affects all major diagnostic metrics such as diagnostic accuracy,
computational performance, etc. Tools for model analysis are
necessary to assist both in the modeling and in the computation phases
of MBD. Model analysis can be used for creating worst-case scenario
benchmarks, asserting model correctness, and facilitating automatic or
semi-automatic modeling. As such, model-based analysis can be done
with the help of a variety of AI and optimization tools such as SAT
and Max-SAT methods, search algorithms, optimal sensor placement
algorithms, and others.
The purpose of this workshop is to gather researchers from several
related Model-Based Reasoning fields such as Model-Based Diagnosis,
knowledge-compilation, satisfiability, planning and constraint
satisfaction and optimization in order to fill the gaps and exchange
ideas about which reasoning techniques are needed for the analysis of
the various models used in MBD and the implication of these analyses
to the performance of MBD algorithms. Possible topics include but are
not limited to:
* Relevant properties of model for diagnosis:
+ structural/behavioural properties,
+ detectability, diagnosability, max-fault min-cardinality, fault
distinguishability, finite tractability, adaptability
* Automated Model relaxation/abstractions techniques
* Model/Algorithm interfacing
* Model partitioning/decomposition for decentralized reasoning
* Performance metrics, Diagnosis accuracy
* Parametric computational complexity of MBD algorithms, anytime
algorithms
* Meta-modeling, Meta-diagnosis
* Benchmarking of MBD algorithms, worst case scenarii synthesis
Important Dates
===============
May 28, 2012 - Submission of contributions to workshops (website here)
June 28, 2012 - Workshop paper acceptance notification
July 15, 2012 - Deadline for final camera ready copy
August 27, 2012 - Workshop in Barcelona
Submission
==========
The final version of the papers should be no-longer than 8 pages,
formatted according to ECAI guidelines, although shorter submissions
are also encouraged. The submission deadline is May 28.
Notifications of acceptance will be emailed to the authors on June 28.
Useful links
------------
* Submission website:
<http://dreamap.sciencesconf.org/resource/page?id=6>
* ECAI formatting guidelines and electronic templates
<http://www2.lirmm.fr/ecai2012/index.php?option=com_content&id=85>
* Workshop website:
<http://dreamap.sciencesconf.org/>
* ECAI website:
<http://www2.lirmm.fr/ecai2012/>
People
======
Organising Committee
--------------------
* Yannick Pencolé, LAAS-CNRS
* Alexander Feldman, Delft University of Technology
* Alban Grastien, NICTA and the ANU
Program Committee
-----------------
* Alessandro Cimatti, IRST, University of Trento, Italy
* Marie-Odile Cordier, IRISA, Université de Rennes 1, France
* Jinbo Huang, NICTA, Australia
* Johan de Kleer, PARC, USA
* Martin Leucker, University of Munich
* Roberto Micalizio, University of Torino, Italy
* Gregory Provan, University College Cork, Ireland
* Jussi Rintanen, Autralian National University, Australia
* Martin Sachenbacher, Technischen Universitaet Muenchen
* Anika Schumann, IBM, Ireland
* Louise Travé-Massuyès, CNRS-LAAS, Université de Toulouse, France
* Cees Witteveen, TU Delft, The Netherlands
* Marina Zanella, University of Brescia, Italy
Call for papers
Diagnostic REAsoning: Model Analysis and Performance (DREAMAP)
20th European Conference on Artificial Intelligence
Montpellier, France, 27-28 August, 2012.
Website: http://dreamap.sciencesconf.org/
==========================================================================
Diagnosis is the reasoning process that aims at determining whether
certain properties (such as the occurrence of a failure, of an
unexpected measurement, or of a deviation from prescribed behavior)
hold at a given time inside a system (fault diagnosis) and/or in its
environment (situation diagnosis) and identifying their causes.
Diagnosis reasoning is thus crucial for many reasons:
safety/maintainability in supervised systems, robustness/decision
autonomy of smart agents in their partially observed environment,
reconfiguration of business strategies after a failure... Despite the
huge spectrum of applications, Model-Based Diagnosis (MBD) problems
are generic as any diagnosis algorithm relies on a class of models, or
a modeling framework, that represents a larger class of systems. In
the last decades, many diagnostic modeling frameworks have been
proposed that are now well established.
Nowadays, the community is more and more interested in understanding
the power and the limits of such frameworks/techniques. Such studies
allow to determine in advance how the diagnosis algorithm will
behave. This is crucial especially if Diagnosis is the input of other
automated reasoning tools (like planning, scheduling,...). The
accuracy and performance of MBD algorithms depend to a large extent on
some properties of the underlying model (correctness, fidelity,
accuracy, diagnosability, predictability...). For example, the size of
the model (measured as the number of variables and constraints)
affects all major diagnostic metrics such as diagnostic accuracy,
computational performance, etc. Tools for model analysis are
necessary to assist both in the modeling and in the computation phases
of MBD. Model analysis can be used for creating worst-case scenario
benchmarks, asserting model correctness, and facilitating automatic or
semi-automatic modeling. As such, model-based analysis can be done
with the help of a variety of AI and optimization tools such as SAT
and Max-SAT methods, search algorithms, optimal sensor placement
algorithms, and others.
The purpose of this workshop is to gather researchers from several
related Model-Based Reasoning fields such as Model-Based Diagnosis,
knowledge-compilation, satisfiability, planning and constraint
satisfaction and optimization in order to fill the gaps and exchange
ideas about which reasoning techniques are needed for the analysis of
the various models used in MBD and the implication of these analyses
to the performance of MBD algorithms. Possible topics include but are
not limited to:
* Relevant properties of model for diagnosis:
+ structural/behavioural properties,
+ detectability, diagnosability, max-fault min-cardinality, fault
distinguishability, finite tractability, adaptability
* Automated Model relaxation/abstractions techniques
* Model/Algorithm interfacing
* Model partitioning/decomposition for decentralized reasoning
* Performance metrics, Diagnosis accuracy
* Parametric computational complexity of MBD algorithms, anytime
algorithms
* Meta-modeling, Meta-diagnosis
* Benchmarking of MBD algorithms, worst case scenarii synthesis
Important Dates
===============
May 28, 2012 - Submission of contributions to workshops (website here)
June 28, 2012 - Workshop paper acceptance notification
July 15, 2012 - Deadline for final camera ready copy
August 27, 2012 - Workshop in Barcelona
Submission
==========
The final version of the papers should be no-longer than 8 pages,
formatted according to ECAI guidelines, although shorter submissions
are also encouraged. The submission deadline is May 28.
Notifications of acceptance will be emailed to the authors on June 28.
Useful links
------------
* Submission website:
<http://dreamap.sciencesconf.org/resource/page?id=6>
* ECAI formatting guidelines and electronic templates
<http://www2.lirmm.fr/ecai2012/index.php?option=com_content&id=85>
* Workshop website:
<http://dreamap.sciencesconf.org/>
* ECAI website:
<http://www2.lirmm.fr/ecai2012/>
People
======
Organising Committee
--------------------
* Yannick Pencolé, LAAS-CNRS
* Alexander Feldman, Delft University of Technology
* Alban Grastien, NICTA and the ANU
Program Committee
-----------------
* Alessandro Cimatti, IRST, University of Trento, Italy
* Marie-Odile Cordier, IRISA, Université de Rennes 1, France
* Jinbo Huang, NICTA, Australia
* Johan de Kleer, PARC, USA
* Martin Leucker, University of Munich
* Roberto Micalizio, University of Torino, Italy
* Gregory Provan, University College Cork, Ireland
* Jussi Rintanen, Autralian National University, Australia
* Martin Sachenbacher, Technischen Universitaet Muenchen
* Anika Schumann, IBM, Ireland
* Louise Travé-Massuyès, CNRS-LAAS, Université de Toulouse, France
* Cees Witteveen, TU Delft, The Netherlands
* Marina Zanella, University of Brescia, Italy
Ban
May 14, 2012, 3:54:47 AM5/14/12
to dx-wo...@googlegroups.com
Just a friendly reminder. DREAMAP will take place before ECAI and the
submission deadline is in two weeks.--
ban
submission deadline is in two weeks.
ban
Reply all
Reply to author
Forward
0 new messages