|
|
|
|
αρχική · σπουδές
| Λογικός Προγραμματισμός |
| Χαρακτηρισμός |
Κατεύθυνσης Πληροφορικής |
| Κωδικός Μαθήματος |
534Π |
| Περιγραφή |
Εισαγωγή στην Prolog. Στοιχεία σύνταξης, γεγονότα και κανόνες, σύζευξη και διάζευξη γεγονότων, ερωτήματα. Ατομικοί και σύνθετοι
όροι. Λίστες και κατηγορήματα χειρισμού λιστών. Ενοποίηση, επίλυση και επαναδρόμιση. Declarative και Procedural ερμηνεία προγραμμάτων. Επίλυση
γρίφων. Αριθμητική στην Prolog. Ορισμός τελεστών. Η έννοια της αποκοπής.
Άρνηση ως αποτυχία. Χειρισμός εισόδου εξόδου. Δυναμική τροποποίηση
προγραμμάτων. Η γλώσσα της Prolog ως υπογλώσσα της πρωτοβάθμιας λογικής. Αντικαταστάσεις και ενοποίηση. Αλγόριθμος Robinson. Αλγόριθμος
Martelli / Montanari. Αλγόριθμοι (προτασιακής και κατηγορηματικής) επίλυσης. |
| Στόχος - Σκοπός |
Εξοικείωση με τo πρότυπο Προγραμματισμού στη Λογική και συγκεκριμένα με τη γλώσσα Prolog. Κατανόηση της σχέσης της
γλώσσας της Prolog με τη γλώσσα της πρωτοβάθμιας Λογικής. Mελέτη των
μηχανισμών (αλγόριθμων) ενοποίησης και επίλυσης. Εκπόνηση πρακτικήςεφαρμογής (project) από τους φοιτητές
Με το μάθημα αυτό προετοιμάζεται ο φοιτητής για πιο προχωρημένα μαθήματα όπως Τεχνητή Νοημοσύνη και Ευφυή Συστήματα Λογισμικού
(Intelligent Agents). |
| Βιβλιογραφία |
• Μητακίδης, "Από τη Λογική στο Λογικό Προγραμματισμό και την
Prolog", Εκδ. Καρδαμίτσα, 1994
• Μ. Κατζουράκης, Μ. Γεργατσούλης, Σ. Κόκκοτος, "PROγραμματίζοντας
στη LOGική", Εκδ. Νέων Τεχνολογιών, 1991
• Ι. Bratko, "PROLOG Programming for Artificial Intelligence", Addison Wesley, 2nd ed 1990, repr. 1999
|
|
|
|
|
|
|
