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

• Main Author: Γριβοκωστοπούλου, Φωτεινή
• Other Authors: Χατζηλυγερούδης, Ιωάννης
• Format: Thesis
• Language: Greek
• Published: 2010
• Subjects: Αυτόματη απόδειξη θεωρημάτων; Βιβλιοθήκη TPTP; Στρατηγικές ελέγχου; Automatic theorem proving; TPTP library; Control strategies; 511.3

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