Problem Solving and Decision Making
1. Procedural Reasoning
Practical reasoning (a.k.a. goal-directed reasoning)
Procedural interpretation in logic programming
Planning and scheduling
Situation calculus
Issues:
2. Decision Models
Decision theory, Markov Decision Process
Reinforcement learning, AIXI
Issues:
3. NAL-8 Inference Rules
- 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