Artificial intelligence fundamentals

Maria Simi      Tel. 0502212758

The course aims to offer a view of the classical/symbolic approach to Artificial Intelligence and serves as a basis for more in depth treatment of specific theories and technologies for building complete A.I. systems integrating different approaches and methods. - Advanced search - Constraint satisfaction problems - Knowledge representation and reasoning - Non-standard logics - Uncertain and probabilistic reasoning (Bayesian networks, fuzzy sets). - Foundations of semantic web: semantic networks and description logics. - Rules systems: use and efficient implementation. - Planning systems