Μάθημα : ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ

Στη 13η διάλεξη του μαθήματος (τμήμα Β, Τετάρτη 14/1, 18:00-21:00, αμφ. 13 / τμήμα Α, Παρασκευή 9/1, 18:00-21:00, αμφ. 13) ολοκληρώσαμε το αντικείμενο της προτασιακής λογικής, ειδικότερα είδαμε τις προτάσεις Horn, την προς τα εμπρός αλυσίδα εκτέλεσης και την προς τα πίσω αλυσίδα εκτέλεσης. Επίσης είδαμε τον αποδοτικό προτασιακό συμπερασμό, τους αλγορίθμους DPLL και WalkSAT, καθώς και τα διαγράμματα του ποσοστού ικανοποιησιμότητας των προβλημάτων 3-CNF και του χρόνου που απαιτείται για την επίλυσή τους από τους αλγορίθμους DPLL και WalkSAT σε συνάρτηση με το λόγο m/n όπου m το πλήθος των διαζεύξεων και n το πλήθος των προτασιακών μεταβλητών.

Στη συνέχεια είδαμε την αναπαράσταση με χρήση λογικής πρώτης τάξης, ειδικότερα τις έννοιες κατηγόρημα, συναρτησιακό σύμβολο, αντικείμενο, μεταβλητές, ποσοδείκτες και ισότητα. Τέλος είδαμε διάφορες ασκήσεις που αφορούσαν αναπαράσταση γνώσης με λογική πρώτης τάξης, ειδικότερα τα θέματα από τις εξεταστικές Ιούνιος 2011 (Πράγα κλπ), Ιούνιος 2012 (4ο θέμα), Ιούνιος 2009 (σχέσεις μεταξύ συνόλων) και Ιούνιος 2010 (περιοχές και σύνορα).

Η συλλογιστική με λογική πρώτης τάξης θα παραμείνει εκτός ύλης για τη φετινή χρονιά.
 
Το υλικό του μαθήματος είναι διαθέσιμο στο Google drive του μαθήματος:
https://drive.google.com/drive/folders/1806_bue_DK1T_AtZRh9xPmbXLStEbCq-