The Logic in Diagnostics: Theory and Practice (http://dxtp2015.sciencesconf.org/) program committee invites submissions of technical papers for LDTP-2015, to be held as a workshop at IJCAI-2015 in Buenos Aires, Argentine, on July 25-31, 2015.
The workshop focuses on a critical assessment of the role and limitations of using formal logic in automated diagnosis. Contributions should point to relevant diagnostic problems (not limited to diagnostics of cyber-physical systems) and emphasize on the aspects of knowledge representation and automated reasoning. Accepted papers should shed a light on solutions, difficulties, and open issues in addressing the application of logical formalisms.
The art of applying diagnostics requires the use of logic at many levels: for modeling systems, and for computing explanations of unknown behavior. Many problems, outside the field of diagnosing of physical systems or computer programs, can be seen as logic diagnostic problems. For example, explaining strange behavior of computers due to attacks can be cast as a diagnostic problem and logic programming can be used for automatic inference.
Many types of logic can be used in diagnostics. Some tasks are more suited to deterministic logic systems while other domains are more amenable to probabilistic modeling. Naturally, hybrid approaches attempt to leverage the two worlds.
Modeling of the real-world is known to be very complex while modeling of computer problems brings forward logic problems like undecidability and Turing completeness (what is a model of a computer program).
The notion of action and change is central to many diagnostic problems and as well of major interest to logicians: the main question is what caused something to fail as opposed to how a failure correlates with some other event. Bayesian and Markov logic systems, Pearl's causality and McCain-Turner causal theories are all proposed for solving various diagnostic problems.
The process of computing diagnostic hypotheses can be seen as a logic proof. Depending on the formulation of the problem, people use deductive, inductive, or (very often) abductive reasoners. Each of these incurs different computational (and memory) cost and results in different diagnostic performance.
In this workshop we welcome papers that address the above issues as well as any other topic related to logic modeling, proof, deterministic and probabilistic reasoning, and their applications to the real world.
Important Dates ---------------
Authors and participants must observe the following deadlines:
* Paper submission deadline: April 27, 2015May 11, 2015 (deadline extension) * Acceptance of notification: May 20, 2015 * Final papers: May 30, 2015
Paper Length and Format -----------------------
Submitted papers must abide to the IJCAI-2015 formatting requirements.
Presentation of Accepted Papers -------------------------------
Papers will be accepted for either oral or poster presentation. At least one author of each accepted paper is required to attend the workshop to present the work. Authors will be required to agree to this requirement at the time of submission.
Review Process --------------
Papers will be subject to peer review. The review process will be non-blind. Selection criteria include accuracy and originality of ideas, clarity and significance of results and quality of presentation. The decision of the Program Committee will be final and cannot be appealed.
LDTP-2015 @ IJCAI-2015 Information ----------------------------------
Information regarding LDTP @ IJCAI-2015 is disseminated through the LDTP @ IJCAI-2015 website (http://dxtp2015.sciencesconf.org/), the LDTP mailing list (https://fdir.org/mailman/listinfo/ldtp), and other printed and electronic media. The information published on the LDTP @ IJCAI-2015 website is authoritative and in case of conflicts takes precedence. Authors and participants are required to monitor the LDTP @ IJCAI-2015 website for updates and corrections. Notifications about major updates and additions to the website will be sent through the DX mailing list.
Further Questions -----------------
If you have any further questions, send an email to the LDTP @ IJCAI-2015 organizing committee.