المواد الدراسية
Introduction to AI problem solving - Search - Local Search - Knowledge representation - Constraint Satisfaction - Propositional Logic - First-Order Logic - Automatic theorem proving - Reasoning - Introduction to Machine Learning.
Introduction to AI problem solving - Search - Local Search - Knowledge representation: First-Order Logic - Automatic theorem proving - Planning - Reasoning - reasoning with uncertainty - Belief Networks - Introduction to Machine Learning.
Topic: Automated Planning. Contents: Introduction to AI and search - Classical planning - Planning representation - State-space planning - Planning grpahs - Planning as Satisfiability - Path planning - Examples of Planners - HTN - planning in...
Introductory problem solving - Input/Output - Experssions - Control Statements - Object Oriented approaches: abstraction & encapsulation principles - classes - objects and the constructor concepts - information hiding principle and the...