Problem Solving and Decision Making
1. Procedural Reasoning
Practical reasoning (a.k.a. goal-directed reasoning), Situation calculus
Logic programming, SWI Prolog
Planning and scheduling, STRIPS
Issues:
2. Decision Models
Decision theory, Markov Decision Process
Reinforcement learning, AIXI
Issues:
3. NAL-8 Representation and Inference
- Operation and goal
- Desire and goal derivation
- Decision making
Reading
- Non-Axiomatic Logic: A Model of Intelligent Reasoning, 2nd Edition, Sections 12.1-12.5