Περιεχόµενα. ΜΕΡΟΣ Α: Επίλυση Προβληµάτων... 17

Transcript

1 ΠΡΟΛΟΓΟΣ... I ΠΡΟΛΟΓΟΣ ΤΩΝ ΣΥΓΓΡΑΦΕΩΝ...III ΣΥΝΟΠΤΙΚΗ ΠΑΡΟΥΣΙΑΣΗ ΠΕΡΙΕΧΟΜΕΝΩΝ... IX ΠΕΡΙΕΧΟΜΕΝΑ... XI 1 ΕΙΣΑΓΩΓΗ ΤΙ ΕΙΝΑΙ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ Ορισµός της Νοηµοσύνης Ορισµός της Τεχνητής Νοηµοσύνης Η ΕΞΕΛΙΞΗ ΤΗΣ ΤΕΧΝΗΤΗΣ ΝΟΗΜΟΣΥΝΗΣ Η ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ ΣΗΜΕΡΑ ΕΠΙΛΟΓΟΣ ΒΙΒΛΙΟΓΡΑΦΙΑ ΜΕΡΟΣ Α: Επίλυση Προβληµάτων ΠΕΡΙΓΡΑΦΗ ΠΡΟΒΛΗΜΑΤΩΝ ΚΑΙ ΑΝΑΖΗΤΗΣΗ ΛΥΣΗΣ ΠΕΡΙΓΡΑΦΗ ΠΡΟΒΛΗΜΑΤΩΝ Περιγραφή στο Χώρο Καταστάσεων Περιγραφή µε Αναγωγή ΑΛΓΟΡΙΘΜΟΙ ΑΝΑΖΗΤΗΣΗΣ Χώρος Αναζήτησης Χαρακτηριστικά Αλγορίθµων ιαδικασία Επιλογής ενός Αλγορίθµου Αναζήτησης Ένας Γενικός Αλγόριθµος Αναζήτησης ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΑΛΓΟΡΙΘΜΟΙ ΤΥΦΛΗΣ ΑΝΑΖΗΤΗΣΗΣ ΑΝΑΖΗΤΗΣΗ ΠΡΩΤΑ ΣΕ ΒΑΘΟΣ ΑΝΑΖΗΤΗΣΗ ΠΡΩΤΑ ΣΕ ΠΛΑΤΟΣ ΑΛΓΟΡΙΘΜΟΣ ΕΠΑΝΑΛΗΠΤΙΚΗΣ ΕΚΒΑΘΥΝΣΗΣ ΑΝΑΖΗΤΗΣΗ ΙΠΛΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΕΠΕΚΤΑΣΗ ΚΑΙ ΟΡΙΟΘΕΤΗΣΗ ΕΦΑΡΜΟΓΗ ΤΩΝ ΑΛΓΟΡΙΘΜΩΝ ΤΥΦΛΗΣ ΑΝΑΖΗΤΗΣΗΣ ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΑΛΓΟΡΙΘΜΟΙ ΕΥΡΙΣΤΙΚΗΣ ΑΝΑΖΗΤΗΣΗΣ ΕΥΡΙΣΤΙΚΟΣ ΜΗΧΑΝΙΣΜΟΣ Ευριστικές Συναρτήσεις σε Μικρά Προβλήµατα ΑΝΑΖΗΤΗΣΗ ΜΕ ΑΝΑΡΡΙΧΗΣΗ ΛΟΦΩΝ xi

2 xii Τεχνητή Νοηµοσύνη Εξαναγκασµένη Αναρρίχηση Λόφου Προσοµοιωµένη Ανόπτηση Αναζήτηση µε Απαγορευµένες Καταστάσεις Ακτινωτή Αναζήτηση ΑΝΑΖΗΤΗΣΗ ΠΡΩΤΑ ΣΤΟ ΚΑΛΥΤΕΡΟ Ο ΑΛΓΟΡΙΘΜΟΣ Α* (ΆΛΦΑ-ΆΣΤΡΟ) Α* µε Επαναληπτική Εκβάθυνση ΕΦΑΡΜΟΓΗ ΤΩΝ ΑΛΓΟΡΙΘΜΩΝ ΕΥΡΙΣΤΙΚΗΣ ΑΝΑΖΗΤΗΣΗΣ ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΑΛΓΟΡΙΘΜΟΙ ΑΝΑΖΗΤΗΣΗΣ ΣΕ ΠΑΙΓΝΙΑ ΥΟ ΑΝΤΙΠΑΛΩΝ ΑΝΑΠΤΥΞΗ ΠΡΟΓΡΑΜΜΑΤΩΝ ΓΙΑ ΠΑΙΓΝΙΑ Ο ΑΛΓΟΡΙΘΜΟΣ MINIMAX Ο Αλγόριθµος Minimax στην Τρίλιζα Ο Αλγόριθµος Minimax στο Σκάκι Ο ΑΛΓΟΡΙΘΜΟΣ ALPHA-BETA ΣΥΓΚΡΙΣΗ ΤΟΥ ALPHA-BETA ΜΕ ΤΟΝ MINIMAX ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΙΚΑΝΟΠΟΙΗΣΗ ΠΕΡΙΟΡΙΣΜΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΠΡΟΒΛΗΜΑΤΩΝ ΠΑΡΑΓΩΓΗ ΚΑΙ ΟΚΙΜΗ ΚΛΑΣΙΚΟΙ ΑΛΓΟΡΙΘΜΟΙ ΑΝΑΖΗΤΗΣΗΣ ΑΛΓΟΡΙΘΜΟΙ ΕΛΕΓΧΟΥ ΣΥΝΕΠΕΙΑΣ Ο Αλγόριθµος AC Κ-συνέπεια ΣΥΝ ΥΑΖΟΝΤΑΣ ΑΝΑΖΗΤΗΣΗ ΚΑΙ ΑΛΓΟΡΙΘΜΟΥΣ ΣΥΝΕΠΕΙΑΣ ΣΥΣΤΗΜΑΤΑ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΜΕ ΠΕΡΙΟΡΙΣΜΟΥΣ ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΓΕΝΕΤΙΚΟΙ ΑΛΓΟΡΙΘΜΟΙ ΛΕΙΤΟΥΡΓΙΑ ΤΩΝ ΓΕΝΕΤΙΚΩΝ ΑΛΓΟΡΙΘΜΩΝ Αναπαράσταση Υποψήφιων Λύσεων Συνάρτηση Καταλληλότητας Επιλογή Γονέων Αναπαραγωγή Σύγκλιση και Ανανέωση του Πληθυσµού Γενικός Γενετικός Αλγόριθµος ΕΠΙΛΥΣΗ ΠΡΟΒΛΗΜΑΤΩΝ ΜΕ ΓΕΝΕΤΙΚΟΥΣ ΑΛΓΟΡΙΘΜΟΥΣ Εύρεση Μεγίστου σε Συνάρτηση µιας Μεταβλητής Το Πρόβληµα του Πλανόδιου Πωλητή ΑΠΟΤΕΛΕΣΜΑΤΙΚΟΤΗΤΑ ΚΑΙ ΑΠΟ ΟΤΙΚΟΤΗΤΑ ΕΦΑΡΜΟΓΕΣ ΓΕΝΕΤΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΒΙΒΛΙΟΓΡΑΦΙΑ

3 xiii ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΜΕΡΟΣ Β: Αναπαράσταση Γνώσης και Συλλογιστικές ΒΑΣΙΚΕΣ ΑΡΧΕΣ ΑΝΑΠΑΡΑΣΤΑΣΗΣ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗΣ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ εδοµένα, Πληροφορία και Γνώση Είδη Γνώσης Κριτήρια Αξιολόγησης Μεθόδων Αναπαράστασης Γνώσης ιαδικαστική Αναπαράσταση ΣΥΛΛΟΓΙΣΤΙΚΗ Είδη Συλλογιστικής ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΛΟΓΙΚΗ ΠΡΟΤΑΣΙΑΚΗ ΛΟΓΙΚΗ Λογικές Ισοδυναµίες και Κανονικές Μορφές Μηχανισµός Εξαγωγής Συµπερασµάτων ΚΑΤΗΓΟΡΗΜΑΤΙΚΗ ΛΟΓΙΚΗ Σηµασιολογία Ισοδυναµίες και Κανονικές Μορφές Μηχανισµός Εξαγωγής Συµπερασµάτων Πλεονεκτήµατα και Μειονεκτήµατα ΜΗ-ΜΟΝΟΤΟΝΗ ΛΟΓΙΚΗ Αναιρέσιµη Λογική ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΟΜΗΜΕΝΕΣ ΑΝΑΠΑΡΑΣΤΑΣΕΙΣ ΓΝΩΣΗΣ ΣΗΜΑΣΙΟΛΟΓΙΚΑ ΙΚΤΥΑ ΠΛΑΙΣΙΑ ΑΝΤΙΚΕΙΜΕΝΑ ΕΝΝΟΙΟΛΟΓΙΚΗ ΕΞΑΡΤΗΣΗ ΣΕΝΑΡΙΑ ΕΝΝΟΙΟΛΟΓΙΚΟΙ ΓΡΑΦΟΙ οµικά Στοιχεία και Βασικές Έννοιες Εννοιολογικοί Γράφοι και Λογική Κανόνες Ορθής ιαµόρφωσης Κανόνες Εξαγωγής Συµπερασµάτων ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΣΥΣΤΗΜΑΤΑ ΚΑΝΟΝΩΝ ΕΙ Η ΚΑΝΟΝΩΝ Παράδειγµα Αναπαράστασης Γνώσης µε Κανόνες Πλεονεκτήµατα και Μειονεκτήµατα Κανόνων

4 xiv Τεχνητή Νοηµοσύνη 11.2 ΣΥΣΤΗΜΑΤΑ ΕΞΑΓΩΓΗΣ ΣΥΜΠΕΡΑΣΜΑΤΩΝ Εξαγωγή Συµπερασµάτων ΣΥΣΤΗΜΑΤΑ ΠΑΡΑΓΩΓΗΣ Η οµή ενός Συστήµατος Παραγωγής Επίλυση Συγκρούσεων Κύκλος Λειτουργίας ενός Συστήµατος Παραγωγής ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΑΝΑΠΑΡΑΣΤΑΣΗ ΤΟΥ ΧΡΟΝΟΥ ΤΟ ΠΡΟΒΛΗΜΑ ΤΟΥ ΠΛΑΙΣΙΟΥ ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Λογική Υπολογιστικού ένδρου Εφαρµογές Χρονικής Λογικής ΛΟΓΙΚΗ ΧΡΟΝΙΚΩΝ ΙΑΣΤΗΜΑΤΩΝ ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ ΕΡΩΤΗΣΕΙΣ ΑΒΕΒΑΙΟΤΗΤΑ ΒΑΣΙΚΕΣ ΈΝΝΟΙΕΣ ΘΕΩΡΙΑΣ ΠΙΘΑΝΟΤΗΤΩΝ Ο ΝΟΜΟΣ ΤΟΥ BAYES ΣΥΝΤΕΛΕΣΤΕΣ ΒΕΒΑΙΟΤΗΤΑΣ ΙΚΤΥΑ ΠΙΘΑΝΟΤΗΤΩΝ ΚΑΙ ΣΥΜΠΕΡΑΣΜΟΥ ίκτυα Πιθανοτήτων ίκτυα Συµπερασµού ΘΕΩΡΙΑ DEMPSTER-SHAFER ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΑΣΑΦΕΙΑ ΑΣΑΦΗΣ ΛΟΓΙΚΗ ΚΑΙ ΘΕΩΡΙΑ ΑΣΑΦΩΝ ΣΥΝΟΛΩΝ Βασικές Έννοιες Ασαφών Συνόλων Ιδιότητες Ασαφών Συνόλων Ασαφείς Σχέσεις Ασαφείς Μεταβλητές, Αριθµοί, Προτάσεις και Κανόνες Η Αρχή της Επέκτασης ΑΣΑΦΗΣ ΣΥΛΛΟΓΙΣΤΙΚΗ Περιγραφή Προβλήµατος Υπολογισµός της Συνάρτησης Συνεπαγωγής Παραγωγή Επιµέρους Αποτελεσµάτων Συνάθροιση Αποτελεσµάτων Αποσαφήνιση ιαγραµµατική Επίλυση ΣΥΣΤΗΜΑΤΑ ΑΣΑΦΟΥΣ ΣΥΛΛΟΓΙΣΤΙΚΗΣ ΕΦΑΡΜΟΓΕΣ ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ

5 xv ΜΕΡΟΣ Γ: Σχεδιασµός Ενεργειών ΒΑΣΙΚΕΣ ΑΡΧΕΣ ΚΑΙ ΤΕΧΝΙΚΕΣ ΣΧΕ ΙΑΣΜΟΥ ΑΝΑΠΑΡΑΣΤΑΣΗ ΠΡΟΒΛΗΜΑΤΩΝ ΤΟ ΜΟΝΤΕΛΟ STRIPS Παραδοχές του Μοντέλου STRIPS Αναπαράσταση Καταστάσεων Αναπαράσταση Ενεργειών Ορισµός Προβλήµατος Σχεδιασµού ιαγραµµατική Αναπαράσταση Πλάνων Μειονεκτήµατα του Μοντέλου STRIPS Το Πρόβληµα του Πλαισίου και η Αναπαράσταση STRIPS ΣΧΕ ΙΑΣΜΟΣ ΜΕ ΑΝΑΖΗΤΗΣΗ ΣΤΟ ΧΩΡΟ ΤΩΝ ΚΑΤΑΣΤΑΣΕΩΝ ιάσχιση του Χώρου Αναζήτησης Σύγκριση Ορθής και Ανάστροφης ιάσχισης ΣΧΕ ΙΑΣΜΟΣ ΜΕ ΑΝΑΖΗΤΗΣΗ ΣΤΟ ΧΩΡΟ ΤΩΝ ΠΛΑΝΩΝ Αναπαράσταση Μη-Γραµµικών Πλάνων Αλγόριθµος Παραγωγής Μερικώς ιατεταγµένων Πλάνων Χρήση µη-συγκεκριµένων Ενεργειών ΕΚΤΕΛΕΣΗ ΠΛΑΝΩΝ ΑΠΟ ΠΡΑΚΤΟΡΕΣ ΣΧΕ ΙΑΣΤΕΣ ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΕΞΕΛΙΓΜΕΝΕΣ ΤΕΧΝΙΚΕΣ ΣΧΕ ΙΑΣΜΟΥ ΣΧΕ ΙΑΣΜΟΣ ΒΑΣΙΣΜΕΝΟΣ ΣΕ ΓΡΑΦΟΥΣ Επέκταση του Γράφου Σχεδιασµού Εξαγωγή Λύσης Ο ΣΧΕ ΙΑΣΜΟΣ ΣΑΝ ΠΡΟΒΛΗΜΑ ΙΚΑΝΟΠΟΙΗΣΗΣ ΠΡΟΤΑΣΕΩΝ Κωδικοποίηση Προβληµάτων Επίλυση των Προβληµάτων ΆΛΛΕΣ ΕΞΕΛΙΓΜΕΝΕΣ ΤΕΧΝΙΚΕΣ ΣΧΕ ΙΑΣΜΟΥ ΣΧΕ ΙΑΣΜΟΣ ΣΕ ΙΕΡΑΡΧΙΚΑ ΙΚΤΥΑ ΙΕΡΓΑΣΙΩΝ ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΜΕΛΕΤΗ ΠΕΡΙΠΤΩΣΕΩΝ ΣΥΣΤΗΜΑΤΩΝ ΣΧΕ ΙΑΣΜΟΥ ΗΜΙΟΥΡΓΙΑ ΓΡΑΜΜΙΚΩΝ ΠΛΑΝΩΝ ΜΕ ΑΝΑΣΤΡΟΦΗ ΙΑΣΧΙΣΗ ΙΕΡΑΡΧΙΚΟΣ ΣΧΕ ΙΑΣΜΟΣ ΣΧΕ ΙΑΣΜΟΣ ΣΤΟ ΧΡΟΝΟ Σχεδιασµός µε Χρονικές Στιγµές Σχεδιασµός µε Χρονικά ιαστήµατα ΑΛΛΗΛΕΠΙ ΡΑΣΗ ΗΜΙΟΥΡΓΙΑΣ ΚΑΙ ΕΚΤΕΛΕΣΗΣ ΠΛΑΝΩΝ ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΜΕΡΟΣ : Μηχανική Μάθηση & Ανακάλυψη Γνώσης ΜΗΧΑΝΙΚΗ ΜΑΘΗΣΗ

6 xvi Τεχνητή Νοηµοσύνη 18.1 ΜΑΘΗΣΗ ΜΕ ΕΠΙΒΛΕΨΗ Μάθηση Εννοιών ένδρα Ταξινόµησης/Απόφασης Μάθηση Κανόνων Ταξινόµησης Μάθηση κατά Περίπτωση Μάθηση κατά Bayes Άλλες Τεχνικές Μάθησης µε Επίβλεψη ΜΑΘΗΣΗ ΧΩΡΙΣ ΕΠΙΒΛΕΨΗ Κανόνες Συσχέτισης Οµάδες ΆΛΛΑ ΕΙ Η ΜΑΘΗΣΗΣ Γενετικοί Αλγόριθµοι Ενισχυτική Μάθηση ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ ΝΕΥΡΩΝΙΚΑ ΙΚΤΥΑ ΒΙΟΛΟΓΙΚΑ ΝΕΥΡΩΝΙΚΑ ΙΚΤΥΑ ΜΟΝΤΕΛΟ ΤΕΧΝΗΤΟΥ ΝΕΥΡΩΝΑ ΤΕΧΝΗΤΑ ΝΕΥΡΩΝΙΚΑ ΙΚΤΥΑ Μάθηση και Ανάκληση Βασικές Ιδιότητες των Νευρωνικών ικτύων ΝΕΥΡΩΝΙΚΑ ΙΚΤΥΑ ΠΡΟΣΘΙΑΣ ΤΡΟΦΟ ΟΤΗΣΗΣ Perceptron Κανόνας έλτα Ανάστροφη Μετάδοση Λάθους ΜΝΗΜΕΣ ΣΥΣΧΕΤΙΣΗΣ Γραµµικοί Συσχετιστές ίκτυα Hopfield Μνήµες Συσχέτισης ιπλής Κατεύθυνσης ΝΕΥΡΩΝΙΚΑ ΙΚΤΥΑ ΒΑΣΙΣΜΕΝΑ ΣΕ ΑΝΤΑΓΩΝΙΣΜΟ Μοντελοποίηση Ανταγωνισµού ίκτυα Kohonen ΕΦΑΡΜΟΓΕΣ ΝΕΥΡΩΝΙΚΩΝ ΙΚΤΥΩΝ ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΑΝΑΚΑΛΥΨΗ ΓΝΩΣΗΣ ΣΕ ΒΑΣΕΙΣ Ε ΟΜΕΝΩΝ ΤΑ ΣΤΑ ΙΑ ΤΗΣ ΑΝΑΚΑΛΥΨΗΣ ΓΝΩΣΗΣ ΠΡΟΒΛΗΜΑΤΑ ΣΤΗΝ ΑΝΑΚΑΛΥΨΗ ΓΝΩΣΗΣ ΕΙ ΙΚΑ ΘΕΜΑΤΑ ΣΤΗΝ ΑΝΑΚΑΛΥΨΗ ΓΝΩΣΗΣ ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΜΕΡΟΣ Ε: Συστήµατα Γνώσης ΧΑΡΑΚΤΗΡΙΣΤΙΚΑ, ΟΜΗ ΚΑΙ ΛΕΙΤΟΥΡΓΙΑ ΣΥΣΤΗΜΑΤΩΝ ΓΝΩΣΗΣ

7 xvii 21.1 ΧΑΡΑΚΤΗΡΙΣΤΙΚΑ ΣΥΣΤΗΜΑΤΩΝ ΓΝΩΣΗΣ Συστήµατα Γνώσης και Συµβατικά Προγράµµατα Συστήµατα Γνώσης και Άνθρωποι-Ειδικοί Εφαρµογές των Συστηµάτων Γνώσης ΑΡΧΙΤΕΚΤΟΝΙΚΗ ΣΥΣΤΗΜΑΤΩΝ ΓΝΩΣΗΣ οµή και Λειτουργία Αρχιτεκτονική Μαυροπίνακα ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΕΞΕΛΙΓΜΕΝΕΣ ΣΥΛΛΟΓΙΣΤΙΚΕΣ ΣΥΛΛΟΓΙΣΤΙΚΗ ΒΑΣΙΣΜΕΝΗ ΣΕ ΜΟΝΤΕΛΑ Πλεονεκτήµατα και Μειονεκτήµατα Μελέτη Περίπτωσης - Το Σύστηµα KATE ΠΟΙΟΤΙΚΗ ΣΥΛΛΟΓΙΣΤΙΚΗ Το Σύστηµα QSIM Παράδειγµα Ποιοτικής Προσοµοίωσης ΣΥΛΛΟΓΙΣΤΙΚΗ ΒΑΣΙΣΜΕΝΗ ΣΕ ΠΕΡΙΠΤΩΣΕΙΣ Πλεονεκτήµατα και Μειονεκτήµατα Μελέτη Περίπτωσης - Το Σύστηµα PAS ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΤΕΧΝΟΛΟΓΙΑ ΓΝΩΣΗΣ ΙΑ ΙΚΑΣΙΑ ΑΝΑΠΤΥΞΗΣ ΣΥΣΤΗΜΑΤΩΝ ΓΝΩΣΗΣ ΜΕΘΟ ΟΛΟΓΙΑ ΑΝΑΛΥΣΗΣ ΠΡΟΒΛΗΜΑΤΟΣ KADS ΕΚΜΑΙΕΥΣΗ ΓΝΩΣΗΣ Προβλήµατα στη ιαδικασία Εκµαίευσης της Γνώσης Μεθοδολογίες Εκµαίευσης Γνώσης Συµπεράσµατα ΕΠΑΛΗΘΕΥΣΗ ΚΑΙ ΈΛΕΓΧΟΣ ΑΞΙΟΠΙΣΤΙΑΣ Επαλήθευση Έλεγχος Αξιοπιστίας ΕΡΓΑΛΕΙΑ ΑΝΑΠΤΥΞΗΣ ΣΥΣΤΗΜΑΤΩΝ ΓΝΩΣΗΣ Γλώσσες Προγραµµατισµού ΤΝ Εργαλεία Τεχνολογίας Γνώσης ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΜΕΡΟΣ ΣΤ: Εφαρµογές Συστηµάτων Γνώσης ΚΑΤΗΓΟΡΙΟΠΟΙΗΣΗ ΕΥΡΙΣΤΙΚΗ ΚΑΤΗΓΟΡΙΟΠΟΙΗΣΗ ΜΟΝΤΕΛΑ ΚΑΤΗΓΟΡΙΟΠΟΙΗΣΗΣ ΜΕΘΟ ΟΙ ΚΑΤΗΓΟΡΙΟΠΟΙΗΣΗΣ Παραγωγή και οκιµή Από τα εδοµένα σε Πιθανές Λύσεις

8 xviii Τεχνητή Νοηµοσύνη Ιεραρχική Κατηγοριοποίηση Οδηγούµενη από τις Λύσεις Ιεραρχική Κατηγοριοποίηση Οδηγούµενη από τα εδοµένα ΜΕΛΕΤΗ ΠΕΡΙΠΤΩΣΕΩΝ DENDRAL MYCIN PROSPECTOR ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΙΑΜΟΡΦΩΣΗ ΧΑΡΑΚΤΗΡΙΣΤΙΚΑ ΠΡΟΒΛΗΜΑΤΩΝ ΙΑΜΟΡΦΩΣΗΣ Παράδειγµα Προβλήµατος ιαµόρφωσης Κρίσιµα Ζητήµατα στη ιαµόρφωση ΜΟΝΤΕΛΑ ΙΑΜΟΡΦΩΣΗΣ ΜΕΘΟ ΟΙ ΙΑΜΟΡΦΩΣΗΣ Επέκταση και ιευθέτηση Σταδιακή Εργασία µε Πρόβλεψη Πρόταση και Αναθεώρηση ΜΕΛΕΤΗ ΠΕΡΙΠΤΩΣΕΩΝ XCON MYCIN ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΙΑΓΝΩΣΗ ΚΑΙ ΕΠΙ ΙΟΡΘΩΣΗ ΒΛΑΒΩΝ ΧΑΡΑΚΤΗΡΙΣΤΙΚΑ ΠΡΟΒΛΗΜΑΤΩΝ ΙΑΓΝΩΣΗΣ ΓΕΝΙΚΟ ΜΟΝΤΕΛΟ ΙΑΓΝΩΣΗΣ Χώροι Αναζήτησης Βασικές Λειτουργίες της ιάγνωσης ΗΜΙΟΥΡΓΙΑ ΚΑΙ ΈΛΕΓΧΟΣ ΥΠΟΘΕΣΕΩΝ Είδος Μοντέλου Πολυπλοκότητα Βλάβης Ιεραρχία Υποθέσεων Αλληλεπίδραση Βλαβών ΙΑΚΡΙΣΗ ΥΠΟΘΕΣΕΩΝ Εντροπία του Shannon ΜΕΛΕΤΗ ΠΕΡΙΠΤΩΣΕΩΝ DARN INTERNIST SOPHIE-III ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΜΕΡΟΣ Ζ: Συστήµατα Πρακτόρων ΕΥΦΥΕΙΣ ΠΡΑΚΤΟΡΕΣ ΟΡΙΣΜΟΙ ΚΑΙ ΧΑΡΑΚΤΗΡΙΣΤΙΚΑ ΠΡΑΚΤΟΡΩΝ

9 xix Ορισµοί Πρακτόρων Χαρακτηριστικά Πρακτόρων ΠΕΡΙΒΑΛΛΟΝΤΑ ΚΑΙ ΑΦΗΡΗΜΕΝΕΣ ΑΡΧΙΤΕΚΤΟΝΙΚΕΣ Περιβάλλοντα Πρακτόρων Αφηρηµένες Αρχιτεκτονικές Πρακτόρων ΠΡΑΚΤΟΡΕΣ ΜΕ ΕΣΩΤΕΡΙΚΗ ΚΑΤΑΣΤΑΣΗ Πράκτορες Βασισµένοι στη Λογική Πράκτορες µε Πεποιθήσεις-Επιθυµίες-Προθέσεις ΑΝΤΙ ΡΑΣΤΙΚΟΙ ΠΡΑΚΤΟΡΕΣ ΥΒΡΙ ΙΚΟΙ ΠΡΑΚΤΟΡΕΣ ΚΙΝΗΤΟΙ ΠΡΑΚΤΟΡΕΣ ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΠΟΛΥΠΡΑΚΤΟΡΙΚΑ ΣΥΣΤΗΜΑΤΑ ΒΑΣΙΚΕΣ ΈΝΝΟΙΕΣ Επικοινωνία και Αλληλεπίδραση ΠΡΩΤΟΚΟΛΛΑ ΚΑΙ ΓΛΩΣΣΕΣ ΕΠΙΚΟΙΝΩΝΙΑΣ Η Γλώσσα Επικοινωνίας KQML Η Γλώσσα Επικοινωνίας FIPA ACL ΠΡΩΤΟΚΟΛΛΑ ΑΛΛΗΛΕΠΙ ΡΑΣΗΣ Πρωτόκολλα Βασισµένα στην Οργάνωση Πρωτόκολλα Σύναψης Συµβολαίων Πολυπρακτορικός Σχεδιασµός Πρωτόκολλα ιαπραγµάτευσης ΕΦΑΡΜΟΓΕΣ ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΣΗΜΑΣΙΟΛΟΓΙΚΟ ΙΑ ΙΚΤΥΟ ΤΟ ΌΡΑΜΑ ΤΟΥ ΣΗΜΑΣΙΟΛΟΓΙΚΟΥ ΙΑ ΙΚΤΥΟΥ ΟΝΤΟΛΟΓΙΕΣ, ΠΡΑΚΤΟΡΕΣ ΚΑΙ ΙΑ ΙΚΤΥΑΚΕΣ ΥΠΗΡΕΣΙΕΣ Οντολογίες Οι Πράκτορες στο Σηµασιολογικό ιαδίκτυο ιαδικτυακές Υπηρεσίες ΑΡΧΙΤΕΚΤΟΝΙΚΗ ΤΟΥ ΣΗΜΑΣΙΟΛΟΓΙΚΟΥ ΙΑ ΙΚΤΥΟΥ Κωδικοποίηση και ιευθυνσιοδότηση Εγγράφων Αναπαράσταση Περιεχοµένου Εγγράφων Αναπαράσταση Νοήµατος Καθορισµός Λεξιλογίου Λογική, Αποδείξεις και Εξηγήσεις Έλεγχος Αξιοπιστίας ΠΡΟΤΥΠΕΣ ΤΕΧΝΟΛΟΓΙΕΣ ΤΟΥ ΣΗΜΑΣΙΟΛΟΓΙΚΟΥ ΙΑ ΙΚΤΥΟΥ Το Μοντέλο Περιγραφής ιαδικτυακών Πόρων RDF Η Γλώσσα Οντολογιών ιαδικτύου OWL ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΠΡΟΗΓΜΕΝΗ ΙΑΣΥΝ ΕΣΗ ΜΕ ΤΟ ΠΕΡΙΒΑΛΛΟΝ

10 xx Τεχνητή Νοηµοσύνη 30.1 ΕΠΕΞΕΡΓΑΣΙΑ ΦΥΣΙΚΗΣ ΓΛΩΣΣΑΣ Κατανόηση Φυσικής Γλώσσας Παραγωγή Φυσικής Γλώσσας Εφαρµογές Επεξεργασίας Φυσικής Γλώσσας Επεξεργασία Φυσικής Γλώσσας και PROLOG ΜΗΧΑΝΙΚΗ ΌΡΑΣΗ Ψηφιακή Περιγραφή Εικόνας Στάδια Επεξεργασίας Εφαρµογές Μηχανικής Όρασης ΡΟΜΠΟΤΙΚΗ Τα Μέρη ενός Ροµπότ Είδη Ροµπότ ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΣΚΗΣΕΙΣ - ΕΡΩΤΗΣΕΙΣ ΠΑΡΑΡΤΗΜΑΤΑ Π1 PROLOG ΚΑΙ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ Π1.1 ΕΙΣΑΓΩΓΗ ΣΤΗ ΓΛΩΣΣΑ PROLOG Π1.1.1 Ιστορική Αναδροµή Π1.1.2 ιαφορές ιαδικαστικών Γλωσσών και PROLOG Π1.1.3 Προγραµµατίζοντας στην PROLOG Π1.1.4 Η Σύνταξη της PROLOG Π1.1.5 Εκτέλεση Προγραµµάτων Prolog Π1.1.6 Αναδροµή και Αναδροµικές οµές Π1.1.7 Ενσωµατωµένα Κατηγορήµατα Π1.2 Η PROLOG ΣΤΗΝ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ Π1.2.1 Αναπαράσταση Προβληµάτων Π1.2.2 Αλγόριθµοι Αναζήτησης Π1.2.3 Αναπαράσταση Γνώσης Π1.2.4 Σχεδιασµός Ενεργειών Π1.2.5 Συστήµατα Πρακτόρων ΒΙΒΛΙΟΓΡΑΦΙΑ Π2 ΤΟ ΣΥΣΤΗΜΑ ΚΑΝΟΝΩΝ CLIPS Π2.1 ΟΜΗ ΤΟΥ CLIPS Π2.2 ΣΥΝΤΑΞΗ ΤΟΥ CLIPS Π2.2.1 Βασικά οµικά Στοιχεία Π2.2.2 Μεταβλητές Π2.2.3 Γεγονότα Π2.2.4 Κανόνες Π2.2.5 Ταυτοποίηση Π2.3 ΒΑΣΙΚΕΣ ΕΝΤΟΛΕΣ ΠΕΡΙΒΑΛΛΟΝΤΟΣ Π2.4 ΣΥΝΑΡΤΗΣΕΙΣ Π2.4.1 Βασικές Αριθµητικές Συναρτήσεις Π2.4.2 Σύγκριση Αριθµών Π2.4.3 Λογικές Συναρτήσεις Π2.4.4 Έλεγχος Τύπου

11 xxi Π2.4.5 Χειρισµός Πολλαπλών Τιµών Π2.4.6 Είσοδος - Έξοδος Π2.4.7 Ανάθεση Τιµής σε Μεταβλητή Π2.4.8 Έλεγχος Ροής Προγράµµατος Π2.4.9 Ορισµός Συναρτήσεων Χρήστη Π2.5 ΠΕΡΙΟΡΙΣΜΟΙ ΣΤΙΣ ΣΥΝΘΗΚΕΣ ΤΩΝ ΚΑΝΟΝΩΝ Π2.6 ΠΡΟΤΥΠΑ ΓΕΓΟΝΟΤΩΝ Π2.6.1 Έλεγχος Τιµών Π2.6.2 Αλλαγή Τιµής Ιδιότητας Π2.7 ΕΠΙΛΥΣΗ ΣΥΓΚΡΟΥΣΕΩΝ ΚΑΝΟΝΩΝ Π2.7.1 Προτεραιότητα Κανόνων Π2.7.2 Στρατηγικές Επίλυσης Συγκρούσεων Π2.8 Η ΓΛΩΣΣΑ COOL Π2.8.1 Προκαθορισµένες Κλάσεις Συστήµατος Π2.8.2 Ορισµός Κλάσεων Χρήστη Π2.8.3 Ορισµός Στιγµιότυπων Π2.8.4 Χειρισµός Στιγµιότυπων Π2.8.5 Ορισµός Μεθόδων Π2.8.6 Χρήση Αντικειµένων σε Κανόνες Π2.8.7 Ερωτήσεις και Ενέργειες σε Οµάδες Αντικειµένων Π2.9 ΠΑΡΑ ΕΙΓΜΑΤΑ Π2.9.1 Αντιµετώπιση Άµεσου Κινδύνου Π2.9.2 Κίνηση Ροµπότ Π2.9.3 ιάγνωση Βλάβης Βασισµένης σε Μοντέλο Π2.10 ΤΟ ΠΕΡΙΒΑΛΛΟΝ ΤΟΥ CLIPS ΒΙΒΛΙΟΓΡΑΦΙΑ ΒΙΒΛΙΟΓΡΑΦΙΚΕΣ ΑΝΑΦΟΡΕΣ ΕΥΡΕΤΗΡΙΟ