With this course students can cover the following areas:
Introduction, Reasoning, Propositional Logic, First-Order Logic, Defi nite Logic Programs, Intelligent, Agents, The Nature of the Environment, The Structure of Agents, Problem-Solving Agents, Example Problems, Searching for Solutions, Uninformed Search Strategies, Avoidance of Repeated States, Informed Search Strategies, Local Search Algorithms, Constraint Satisfaction Problem, Backtracking Search for CSPs, Logical Agents, The Prolog Language, Syntax and Semantics of Prolog Programs, List, Operators and Arithmetic in Prolog, Input, and Output, More on Prolog, AI and Prolog, Future Trends in Artificial Intelligence
