Datei:Bachelor Thesis Towards a Minimal Abductive Reasoning Layer for SASIS.pdf

Abductive reasoning – inferring the most plausible cause from observed effects – is a pow- erful paradigm for tasks like fault diagnosis and explanation generation. However, classical logic programming tools like Prolog are cumbersome to integrate into modern software sys- tems, and expertise in these tools is increasingly rare. This thesis explores whether a mini- mal, modular abductive reasoning layer can be designed that integrates easily with existing software engineering frameworks and methodologies. The goal is to identify the essential formal components required for practical abduction and to evaluate the approach on con- crete use cases in self-adaptive systems.