Workshop on Abduction and Induction in
Artificial Intelligence  and  Bioinformatics
Aix-en-Provence, 15th September, 2007

co-located with the 1st Franco-Japanese
Symposium on Knowledge Discovery
in Systems Biology


Background: Abduction and induction are forms of logical reasoning that are used in many applications of Artificial Intelligence (AI). To a first approximation, abduction reasons from effects to possible causes while induction learns general rules for particular observations. These complementary processes are explored from logical and philosophical perspectives in a book entitled Abduction and Induction: Essays on their Relation and Integration and are further examined in two recent workshops at AIAI'05 and ECAI'06.

Motivation: Previous meetings in this series have shown that abductive and inductive reasoning can be integrated in an incremental cycle of knowledge development with potential applications in bioinformatics and other areas of AI. But attempts to apply such techniques have begun to reveal a need for more expressive logical formalisms and inference mechanisms. Hence, this year's workshop will focus on expressive methodologies for logic-based abduction and induction with possible impact in bioinformatics. It will aim to draw together leading researchers working on these and related problems in order to consolidate what has been learnt so far and stimulate further developments in this area.

Aims: The workshop will provide a forum for the presentation and discussion of the research concerning expressive methodologies and applications of abduction and induction for knowledge discovery. Particular emphasis will be placed on logical formalisms and inference methods with actual or potential relevance to the field of bioinformatics.

Co-Location: To encourage discussion and promote interaction between logicians and biologists, AIAI'07 will be co-located with the 1st Franco-Japanese Symposium on Knowledge Discovery in Systems biology. Several events will be shared and open to the participants of both meetings.

Venue: The workshop will be held at the AquaBella Hotel in Aix-en-Provence, 30km from Marseilles in the South of France. Participants arriving from ICLP'07 (8-13 Sep) can take a direct flight from Porto to Marseilles (Portugalia Airlines or Ryanair). Participants leaving to ECML'07 (17-21 Sep) can fly from Marseilles to Warsaw changing in Paris (Air France) or Prague (Czech Airlines).

Credits: The event is generously sponsored by the Laboratory for the Analysis and Architecture of Systems at the French National Centre for Scientific Research and the Japanese National Institute of Informatics --- as part of a strategic Franco-Japanese collaboration on Knowledge-based Discovery in Systems Biology.

 PROGRAMME (Revised)

Invited Talk: A knowledge-based approach for representing, reasoning, and hypothesis generation in biochemical networks
Chitta Baral
Logic-statistic modeling and analysis of biological sequence data: A Research Agenda
Henning Christiansen
Nonmonotonic Abductive Inductive Learning
Oliver Ray
Using Abduction and Induction for Operational Requirements Elaboration
Dalal Alrajeh, Oliver Ray, Alessandra Russo and Sebastian Uchitel
Towards Refinement of Abductive or Inductive Hypothesis through Propagation
Gauvain Bourgne, Amal El Fallah Seghrouchni and Nicolas Maudet
Reconsideration of Circumscriptive Induction with Pointwise Circumscription
Koji Iwanuma, Katsumi Inoue and Hidetomo Nabeshima
Equivalence Issues in Abduction and Induction
Chiaki Sakama and Katsumi Inoue
Invited Talk: Fuzzy logic connectives in abductive inference and clustering
Jospeh Aguilar-Martin
A draft pdf of the complete workshop proceedings can be downloaded by clicking this link.

Extended versions of selected papers appeared in a special issue of the Journal of Applied Logic (volume 7, number 3) which can be accessed by clicking this link.
Oliver Ray (primary contact)
University of Bristol, UK
Antonis Kakas
University of Cyprus, Cyprus
Katsumi Inoue
National Institute of Informatics, Japan
Peter Flach
University of Bristol, UK
Andrei Doncescu
National Center for Scientific Research, France
Chitta Baral (Arizona State University, USA)
Andrei Doncescu (National Center for Scientific Research, France)
Peter Flach (University of Bristol, UK)
Katsumi Inoue (National Institute of Informatics, Japan)
Antonis Kakas (University of Cyprus, Cyprus)
Ross King (University of Wales, UK)
Ramon Otero (University of Corunna, Spain)
Oliver Ray (University of Bristol, UK)
Chiaki Sakama (Wakayama University, Japan)

(c) Oliver Ray, last updated 13/09/2007