Doktorandské kolokvium KAI - Janka Boborová (27.10.2025)
v pondelok 27.10.2025 o 13:10 hod. v miestnosti I 9
Prednášajúci: Janka Boborová
Názov: Comparing abduction algorithms using CATS
Termín: 27.10.2025, 13:10 hod., I/9
Abstrakt:
Abduction is a fundamental way of reasoning, alongside induction and deduction. It aims to explain observed phenomena by identifying their possible causes (explanations) based on available background knowledge. Although it was long regarded as a non-standard reasoning problem, it has recently attracted increasing attention. It has been applied in various domains such as ontology engineering, debugging and repair, medical and system diagnosis, and multimedia interpretation.
In our work, we focus specifically on ABox abduction, where both observations and explanations are statements about individuals (i.e., facts). Among the existing algorithms for abduction, we concentrate on those that are universally applicable, regardless of the expressivity of the knowledge base. Using a dataset from previous evaluations, we compared several such algorithms employing our experimental abduction solver, CATS, and subsequently implemented and tested a number of optimizations. Currently, we are developing a more comprehensive evaluation dataset of ABox abduction problems to conduct a proper evaluation.