Εισαγωγή στην Τεχνητή Νοημοσύνη. Ευφυείς πράκτορες.
Λύση προβλημάτων με πράκτορες αναζήτησης (search agents). Στρατηγικές αναζήτησης: breadth-first search, uniform-cost search, depth-first search, depth-limited search, iterative deepening depth-first search, bi-directional search. Ευρετικές στρατηγικές αναζήτησης: greedy best-first search, A*-search. Αλγόριθμοι τοπικής αναζήτησης (local search). Προβλήματα ικανοποίησης περιορισμών (constraint satisfaction problems), λύση προβλημάτων ικανοποίησης περιορισμών με διάφορες παραλλαγές του backtracking search. Πράκτορες για αναπαράσταση γνώσης και λογισμό. Προτασιακή λογική και λογική πρώτης τάξης. Χρήση της προτασιακής και της λογικής πρώτης τάξης για αναπαράσταση γνώσης. Βάσεις γνώσεων και οντολογίες, παραδείγματα από διάφορες εφαρμογές.
Συλλογιστική. Μodus ponens, unification, forward and backward chaining, resolution. Εισαγωγή στο λογικό προγραμματισμό και τη γλώσσα Prolog.
- Stuart Russel and Peter Norvig. Artificial Intelligence: A Μodern Approach, Prentice Hall, 2nd edition (2003). http://aima.cs.berkeley.edu/. Το βιβλίο έχει εκδοθεί στα Ελληνικά από τις εκδόσεις Κλειδάριθμος με τον τίτλο «Τεχνητή Νοημοσύνη: Μια σύγχρονη προσέγγιση». http://aima.uom.gr/
- Ι. Βλαχάβα, Π. Κεφαλά, Ν. Βασιλειάδη, Φ. Κόκκορα και Η. Σακελαρίου. Τεχνητή Νοημοσύνη. Εκδοτικός οίκος «Β. Γκιούρδας Εκδοτική - Μονοπρόσωπη ΕΠΕ». http://aibook.csd.auth.gr
- Λεπτομερείς διαφάνειες από τις διαλέξεις. Οι διαφάνειες βασίζονται κυρίως στο παραπάνω βιβλίο των Russel και Norvig.
- Άλλο σχετικό υλικό που βρίσκεται στην ιστοσελίδα του μαθήματος.