Αυτή η διδακτορική διατριβή είναι ένα έργο έρευνας σε ένα ευρύ φάσμα διαφορετικών πεδίων με τη συμβολική λογική να χρησιμεύει ως σημείο εκκίνησης. Ξεκινάμε αυτήν την εισαγωγή με αντίστροφη σειρά, έτσι ώστε η διεπιστημονική φύση της διατριβής να γίνει σαφέστερη. Το τρίτο και τελευταίο μέρος της διατριβής ασχολείται με την επεξηγηματική τεχνητή νοημοσύνη (XAI). Συγκεκριμένα, ασχολείται με τη συμβολική τεχνητή νοημοσύνη. Δημιουργήσαμε μια πρώιμη μορφή ενός πληροφοριακού συστήματος που θα μπορούσε να παράγει εξηγήσεις στο πλαίσιο ελέγχων υπόθεσης. Ενώ το μοντέλο μας θα μπορούσε να εφαρμοστεί κυρίως σε κλασικούς αλγόριθμους τεχνητής νοημοσύνης, επιλέξαμε να πραγματοποιήσουμε την απόδειξη της ιδέας μας στον τομέα των ελέγχων υπόθεσης, καθώς οι έλεγχοι υπόθεσης είναι οι πιο συχνά εφαρμοζόμενες στατιστικές μέθοδοι στην ιατρική έρευνα. Επομένως, είναι πολύ χρήσιμο για την ελαχιστοποίηση των σφαλμάτων στην ερμηνεία των στατιστικών αποτελεσμάτων και τη βελτίωση των τρόπων ερμηνείας αυτών των αποτελεσμάτων. Το πρώτο μέρος αυτής της διατριβής ασχολείται με την τοπολογική σημασιολογία. Εξετάζουμε πώς θα μπορούσαμε να επεκτείνουμε τις δυνατότητες έκφρασης των ήδη υπαρχόντων λογικών συστημάτων επεκτείνοντας συντακτικά κάθε λογικό σύστημα και, επιπλέον, δημιουργώντας νέα σημασιολογία χρησιμοποιώντας σημασιολογικές τοπολογίες. Τέλος, το δεύτερο μέρος της διατριβής ασχολείται με την έννοια των γενικών κατασκευών, ένα εργαλείο μαθηματικής λογικής που παρέχει τόσο συντακτικές όσο και σημασιολογικές κατασκευές.