A Few Examples
Reasoning
- many forms of deduction
- abduction / diagnosis (e.g. de Kleer 1989)
- default reasoning (e.g. Kautz and Selman 1989)
- Bayesian inference (e.g. Dagum and Luby 1993)
Planning
- domain-dependent and independent (STRIPS) (e.g. Chapman 1987; Gupta and Nau 1991; Bylander 1994)
Learning
- neural net “loading” problem (e.g. Blum and Rivest 1989)