Introduction to Artificial Intelligence: brief history of AI, main application fields, introduction to knowledge-based systems and architectural organization.
Problem solving in AI: representation through the notion of state, forward e backward reasoning, solving as a search and search strategies (informed and non). Games, constraint satisfaction problems, and planning problems.
Knowledge Representation: First Order Predicate Logic, Production Rules Systems, Knowledge-based systems, Some hints about formal ontologies.
Languages for Artficial Intelligence.