AIKD'09

This Workshop will explore new ways of using logic-based methods to support the evolution of knowledge in real-world problems. In particular, it will focus on the integration and application of abductive and inductive inference to tasks where theories must evolve incrementally, in response to continued feedback from the user or domain being modelled. Drawing on analogies with methodology of science, we aim to explore and build upon recent work in the mechanisation of theory revision, hypothesis evaluation, and the design of experiments. In this way, we will provide an inter-disciplinary forum for researchers seeking to formalise and automate such knowledge development cycles in various disciplines (scientific, applied, cognitive or philosophical).