Μάθημα : ΤΕΧΝΟΛΟΓΙΕΣ ΕΥΦΥΩΝ ΣΥΣΤΗΜΑΤΩΝ ΚΑΙ ΡΟΜΠΟΤΙΚΗ
Κωδικός : CEID1095
-
Θεματικές Ενότητες
-
Εισαγωγή στη Γλώσσα Lisp
-
Συναρτήσεις-Δομές Ελέγχου
-
Ειδικές Παράμετροι-Είσοδος & Έξοδος
-
Λίστες Ιδιοτήτων-Πίνακες-Δομές
-
Ειδικές Μεταβλητές-Χειρισμός Αρχείων
-
Προβλήματα ΤΝ και Lisp
-
Κανόνες Πρώτης Τάξης
-
Προγραμματισμός Βασισμένος Σε Κανόνες
-
Ανάπτυξη Έμπειρων Συστημάτων
-
Δημιουργία Βάσεων Κανόνων Από Δεδομένα-Προετοιμασία συνόλου δεδομένων
-
Δημιουργία Βάσεων Κανόνων Από Δεδομένα- Εξαγωγή Κανόνων
-
Δημιουργία Βάσεων Κανόνων Από Δεδομένα- Επαλήθευση-Εγκυροποίηση Βάσης Κανόνων
-
Δημιουργία Βάσεων Κανόνων Από Δεδομένα- Αξιολόγηση Βάσης Κανόνων
-
CLIPS
-
Εισαγωγή στη Γλώσσα Lisp
Δημιουργία Βάσεων Κανόνων Από Δεδομένα- Επαλήθευση-Εγκυροποίηση Βάσης Κανόνων
- Επαλήθευση (Verification)
- Συνέπεια (Consistency)
- Πληρότητα (Completeness)