ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

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

Περιεχόμενα Μαθήματος:

• Προτασιακή και κατηγορηματική λογική και λογικός προγραμματισμός.
• Αρχή της απόφασης και στρατηγικές της.
• Λογικά προγράμματα, συστήματα κανόνων και βάσεις γνώσης.
• Σύνταξη γλώσσας Prolog.
• Λογικοί όροι και δομές δεδομένων.
• Στρατηγική αναζήτησης και εκτέλεση προγραμμάτων.
• Αναδρομικός προγραμματισμός.
• Έλεγχος εκτέλεσης και οπισθοδρόμηση.
• Είσοδος / έξοδος δεδομένων.
• Ορισμός νέων τελεστών.
• Eφαρμογές Prolog σε προβλήματα περιορισμών.