Μονάδα:
Κατεύθυνση Αλγόριθμοι, Λογική και Διακριτά Μαθηματικά (Α.Λ.ΜΑ.)Πληροφορική
Ημερομηνία κατάθεσης:
2021-11-08
Συγγραφέας:
Πιπιλίκας Θωμάς
Στοιχεία επιβλεπόντων καθηγητών:
Ευστάθιος Ζάχος, Ομότιμος Καθηγητής, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Εθνικό Μετσόβιο Πολυτεχνείο
Ιωάννης Κοκκίνης, Εξωτερικός Συνεργάτης, Διιδρυματικό Πρόγραμμα Μεταπτυχιακών Σπουδών
«Αλγόριθμοι, Λογική και Διακριτά Μαθηματικά», Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Πρωτότυπος Τίτλος:
A Survey of Probabilistic Reasoning in Justification Logic
Γλώσσες εργασίας:
Αγγλικά
Μεταφρασμένος τίτλος:
Μία Πραγματεία του Πιθανολογικού Συλλογισμού στην Justification Logic
Περίληψη:
Σε αυτήν τη διπλωματική εργασία μελετούμε την έννοια της επιχειρηματολογίας (justification), αναπαριστάμενη σε ένα λογικό φορμαλισμό. Μελετούμε την επιστημική / δοξαστική αναπαράσταση της justification logic, μίας επέκτασης της κλασικής λογικής (classical logic) με φόρμουλες της μορφής t:F, που μεταφράζονται ως "Το t είναι επιχείρημα που υποδεικνύει την αλήθεια της θέσης (ή την πίστη στη θέση) F.". Παρουσιάζουμε τις βασικές σημασιολογίες της justification logic, συνοδευόμενες από τα αντίστοιχα θεωρήματα ορθότητας και πληρότητας και αναλύουμε πώς εκλαμβάνει η κάθε μία την έννοια της επιχειρηματολογίας.
Επίσης, αναλύουμε την έννοια τις επιχειρηματολογίας συνυφασμένη με την έννοια της αβεβαιότητας, παρουσιάζοντας τις θεμελιώδεις probabilistic justification logics. Διατυπώνουμε τις αντίστοιχες σημασιολογίες, μαζί με τα αντίστοιχα θεωρήματα ορθότητας και πληρότητας και εξετάζουμε πώς η κάθε μία λογική αντιλαμβάνεται την αβεβαιότητα στο πλαίσιο της επιχειρηματολογίας.
Τέλος, μελετούμε μία νέα σημασιολογία που προτάθηκε και μελετήθηκε εκ των E. Lehmann και T. Studer τα τελευταία τρία χρόνια, ονόματι subset models. Ελέγχουμε πώς τα subset models θα μπορούσαν να συνδυαστούν με τη θεωρία πιθανοτήτων, στην προσπάθεια κατασκευής μίας πιθανοτικής λογικής που διαχωρίζει μεταξύ της αβεβαιότητας υπό το πρίσμα της πειστικότητας του επιχειρήματος, της αβεβαιότητας υπό το πρίσμα της αποδεικτικότητας της θέσης εκ του επιχειρήματος και τις αβεβαιότητας ισχύς της θέσης.
Κύρια θεματική κατηγορία:
Θετικές Επιστήμες
Λέξεις-κλειδιά:
justification logic, επιστημική λογική, δοξαστική λογική, τροπική λογική, πιθανοτική λογική, επιχείρημα, επιχειρηματολογία, αβεβαιότητα
Αρ. σελίδων ευρετηρίου:
2
Αρ. βιβλιογραφικών αναφορών:
62
