Artificial Intelligence

Academic Semester:

Course Type	Reference Number	Subprogram
Compulsory in Subprogram	Theory: ΤΠ60Λ2 Lab:	Software Engineering

Semester	Academic Year	Hours per week
Spring	3rd	Theory: 3 Lab: 2

Exams	ECTS	Workload
	6	9

Prerequisites	Teaching method	Teaching Language
	Lectures with parallel laboratory classes	Greek

Academic Staff

Faculty in charge:

μαρακάκης εμμανουήλ

Marakakis Manolis

Professor

Καθηγητής

2810379748

Problem Solving by Search. State space representation of problems, blind search algorithms (depth-first search, breadth-first search, bidirectional search), heuristic search techniques (hill climbing, best-first, iterative deepening, beam search). Search algorithms in game playing (minimax, alpha-beta). Constraint satisfaction.
Knowledge representation and reasoning schemes. Declarative and procedural knowledge representation. Reasoning schemes. Knowledge representation in logic. Rule-based systems. Semantic networks and frame systems. Temporal representation and reasoning.
Uncertain knowledge and reasoning.
Introduction to knowledge systems. Knowledge systems architecture, tools for constructing knowledge systems.
Planning.
Natural language processing: Syntax and parsing, semantics and meaning, pragmatics, natural language understanding, natural language generation.
Automated software engineering.
Learning: Inductive learning, explanation-based learning.

Programming techniques: Program schemata. Sorted binary trees. Open and difference lists. Data structures in Prolog.
Meta-programming.
Practical exercises with problem implementations in the topics of theory: Problems or algorithm implementations which require state space search. Problems with contraint satisfaction. Knowledge representation methods. Systems with uncertainty. Learning techniques. Knowledge systems. Software engineering automated techniques. Systems which understand or generate natural language.

Ι. Bratko, Prolog Programming for Artificial Intelligence, Pearson Education Canada, 4th edition, 2011, ISBN 13: 9780321417466.
S. Russell, P. Norving, “Artificial Intelligence: A Modern Approach”, Second Edition, Prentice Hall, 2003, ISBN 0-13-080302-2.
G. Luger, Artificial Intelligence, Fifth Edition, 2005, Addison Wesley, ISBN 0 321 26318 9.
E. Rich, K. Knight, S. B. Nair, Artificial Intelligence, Third edition, 2009, McGraw Hill, ISBN 13: 978-0-07-008770-5.

Propositional and predicate logic.
Knowledge representation and reasoning in logic, search tree, SLD-tree, backtracking, deduction, resolution.
Programming in Prolog (The basic components of a Prolog program. Recursion, lists, arithmetic in Prolog, search tree, backtracking, negation. Control flow of Prolog programs. User-defined operators. Built-in predicates.).