Problem Solving and Decision Making
1. Procedural Reasoning
Practical reasoning (a.k.a. goal-directed reasoning), Situation calculus
Planning and scheduling, STRIPS, Schema
Logic programming, SWI Prolog
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, Chapter 12