Von Vy3326 hochgeladene Dateien
Diese Spezialseite listet alle hochgeladenen Dateien auf.
| Datum | Name | Vorschaubild | Größe | Beschreibung | Versionen |
|---|---|---|---|---|---|
| 09:15, 1. Dez. 2025 | Master Thesis Formalizing and Verifying LLM Based Abductive Reasoning for System Explanations-1.pdf (Datei) |  |
38 KB | Critical AI decision-making demands formally trustworthy explanations. Current neuro- symbolic pipelines use Multimodal Language Models (MLMs) to translate visual data into logic, but often discard valuable uncertainty by forcing binary decisions. While MLMs natu- rally express confidence through linguistic markers (e.g., ”likely”), these cues remain uncali- brated and unused in reasoning. This thesis aims to bridge this gap by extracting, calibrating, and propagating linguistic uncertainty int… | 1 |
| 09:08, 1. Dez. 2025 | Bachelor Thesis Towards a Minimal Abductive Reasoning Layer for SASIS.pdf (Datei) | |
38 KB | 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 met… | 1 |