Certificate Authentication

Artificial Intelligence History

• Intelligent Agents

Problem Solving

• Solving Problems by Searching
• Beyond Classical Search
• Adversarial Search
• Constraint Satisfaction Problems

Knowledge and Reasoning

• Logical Agents
• First-Order Logic
• Inference in First-Order Logic
• Classical Planning
• Planning and Acting in the Real World
• Knowledge Representation

Uncertain Knowledge and Reasoning

• Quantifying Uncertainty
• Probabilistic Reasoning
• Probabilistic Reasoning over Time
• Making Simple Decisions
• Making Complex Decisions

Learning

• Learning from Examples
• Knowledge in Learning
• Learning Probabilistic Models
• Reinforcement Learning

Communicating, Perceiving, and Acting;

• Natural Language Processing
• Natural Language for Communication
• Perception
• Robotics

Conclusions

• Philosophical Foundations
• AI: The Present and Future