Description: The course introduces basic approaches to artificial intelligence algorithms and classical methods used in the field. Main emphasis is given to automated formulas proves, knowledge representation and problem solving. Practical use of the methods is demonstrated on solving simple engineering problems.
Semestral project. Simple Genetic Algoritm for Travelling Salesman Problem (TSP). User is allowed to change parameters via GUI. The application solves either random generated graphs or TSPLIB file formats (.tsp).
