Λογική της επιχειρηματολογίας και των κανόνων με εφαρμογές σε μαθηματικές αποδείξεις και νομικά συστήματα τεχνητής νοημοσύνης

Περίληψη

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

Περίληψη σε άλλη γλώσσα

Proving is the validation of conclusions by application of logical arguments and rules to assumptions. In mathematics, an assertion is not accepted as true or valid unless it is accompanied by a proof. However, proving processes do not exist only in mathematics, but almost everywhere — in the physical sciences, in computer science, in legal and ethical argumentation, in philosophy, and so on. During the proving process, a dialogue between agents is required to clarify obscure inference steps, fill gaps, or reveal implicit assumptions in a purported proof. Hence, argumentation is an integral component of the discovery process of proofs in general but also — more specifically — in mathematical proofs. The first part of this thesis presents how logic-based argumentation theories can be applied to describe specific features in the development of proof-events, highlighting the relation between formal proof, informal human reasoning, cognitive processes, and social interactions. The concept ...
περισσότερα

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

DOI
10.12681/eadd/51572
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/51572
ND
51572
Εναλλακτικός τίτλος
Argumentation and rule-based logic in mathematical proving and legal artificial intelligence applications
Συγγραφέας
Αλμπάνη, Σοφία του Δημήτριος
Ημερομηνία
2022
Ίδρυμα
Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Συστημάτων Μετάδοσης Πληροφορίας και Τεχνολογίας Υλικών
Εξεταστική επιτροπή
Φράγκος Παναγιώτης
Σταφυλοπάτης Ανδρέας-Γεώργιος
Στεφανέας Πέτρος
Τσανάκας Παναγιώτης
Παγουρτζής Αριστείδης
Βασιλειάδης Νικόλαος
Κάκας Αντώνιος
Επιστημονικό πεδίο
Επιστήμες Μηχανικού και ΤεχνολογίαΕπιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ ➨ Μηχανική και συστήματα επικοινωνιών, Τηλεπικοινωνίες
Επιστήμες Μηχανικού και ΤεχνολογίαΕπιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ ➨ Ρομποτική
Λέξεις-κλειδιά
Επιχειρηματολογία; Λογική; Μαθηματικές αποδείξεις; Νομικά συστήματα; Τεχνητή νοημοσύνη; Ρομποτική; Λογικός προγραμματισμός; Ιατρικές συσκευές
Χώρα
Ελλάδα
Γλώσσα
Αγγλικά
Άλλα στοιχεία
εικ., πιν., σχημ.
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.