Λογικός συμπερασμός παρουσία αριθμητικών περιορισμών
(α) Μεγάλη άνεση στον προγραμματισμό (β) Εξοικίωση με τις βασικές έννοιες της τεχνητής νοημοσύνης
(α) Εξοικίωση με τον προγραμματισμό σε Prolog ή άλλη δηλωτική γλώσσα
προγραμματισμού
(β) Εξοικίωση με τις βασικές έννοιες του λογικού συμπερασμού και της
ικανοποίησης περιορισμών (constraint satisfaction)
Ο λογικός συμπερασμός εξάγει συμπεράσματα από τις σχέσεις ανάμεσα σε
αντικείμενα και από τα αξιώματα που τις διέπουν. Από την άλλη, η
ικανοποίηση περιορισμών εξάγει συμπεράσματα σχετικά με τιμές
μεταβλητών που διέπονται από περιορισμούς. Τόσο η δυνατότητα των
μεθόδων λογικού συμπερασμού να αξιοποιούν δεδομένα και περιορισμούς
πέρα από λογικές προτάσεις και αξιώματα, όσο και η δυνατότητα των
μεθόδων ικανοποίησης περιορισμών να αξιοποιούν αξιώματα σε εκφραστικές
λογικές είναι εξαιρετικά περιορισμένη. Οι σχετικές συγκεραστικές
μέθοδοι περιορίζονται σε μεγάλο βαθμό στην σειριακή επίλυση του
λογικού και του αριθμητικού μέρους, με ελάχιστη αλληλεπίδραση ανάμεσα
στο λογικό και το αριθμητικό πεδίο.
Σκοπός της διπλωματικής είναι ο πειραματισμός με μεθόδους αναζήτησης
που βασίζονται σε ευριστικές που λαμβάνουν ταυτόχρονα υπ' όψιν τους τα
δεδομένα και αξιώματα/περιορισμούς και των δύο πεδίων. Εναλλακτικά ή
συμπληρωματικά, η διπλωματική μπορεί και να αφορά τον πειραματισμό με
την επίλυση συστημάτων σχεσιακών/λογικών και αριθμητικών περιορισμών
σε κατανεμημένα υπολογιστικά περιβάλλοντα, όπως το Map Reduce.
Ενδεικτική βιβλιογραφία
S. Konstantopoulos and G. Apostolikas, Fuzzy-DL reasoning over unknown
fuzzy degrees. In Proc. 3rd International IFIP Workshop on Semantic
Web & Web Semantics (IFIP SWWS 2007), Vilamoura, Portugal, 29-30
Nov. 2007. Published as LNCS 4806, Springer, 2007.
T. Le Provost and M.G. Wallace. Generalized constraint propagation
over the CLP Scheme. Journal of Logic Programming 16(3-4):319–359,
July 1993. Special Issue on Constraint Logic Programming.