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.