Raciocínio prático e heurísticas cognitivas são explorados por meio de exemplos que ilustram estratégias para resolução de problemas.

O autor apresenta modelos formais de inferência e defeasible reasoning, conectando conceitos de filosofia da mente e inteligência artificial. A análise combina teorias com exemplos aplicados.

Aplicações práticas incluem estudos sobre tomada de decisão e representação do conhecimento, com foco em mecanismos conceituais e operacionais.