Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων

• Κύριος συγγραφέας: Γριβοκωστοπούλου, Φωτεινή
• Άλλοι συγγραφείς: Χατζηλυγερούδης, Ιωάννης
• Μορφή: Thesis
• Γλώσσα: Greek
• Έκδοση: 2010
• Θέματα: Αυτόματη απόδειξη θεωρημάτων; Βιβλιοθήκη TPTP; Στρατηγικές ελέγχου; Automatic theorem proving; TPTP library; Control strategies; 511.3

Τα «Συστήματα Αυτόματης Απόδειξης Θεωρημάτων-ΣΑΑΘ» (Automatic Theorem Proving Systems-ATP Systems) είναι συστήματα βασισμένα στη λογική πρώτης τάξεως, τα οποία μπορούν από ένα σύνολο λογικών προτάσεων να συνάγουν την αλήθεια μιας δεδομένης λογικής πρότασης με αυτόματο τρόπο. Η διαδικασία της απόδειξ...