Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα

• Main Authors: Sakellariou, Ilias, Vasileiadis, Nikolaos, Kefalas, Petros, Stamatis, Dimosthenis, Σακελλαρίου, Ηλίας, Βασιλειάδης, Νικόλαος, Κεφαλάς, Πέτρος, Σταμάτης, Δημοσθένης
• Format: 7
• Language: Greek
• Published: 2016
• Subjects: ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ; ΛΟΓΙΚΗ; ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ; ΠΡΟΛΟΓ; ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ; ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ; Logic Programming; Prolog; Logic; Programming Techniques; Symbol Processing; Knowledge Representation And Reasoning

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