Logic, Problem Solving, and Deduction
Drew McDermott · Annual Review of Computer Science · 1987
1. Many problems are statable as logic puzzles. There are many examples in Wos et al (1984). 2. Mathematical reasoning is itself a fonn of problem solving, and deduc tion is the ultimate justification of mathematical belief. 3. Some problems, while not formulated from the start as logic problems, might be expressible in that form with some work. Then the techniques of deduction could be used to solve them. 4. Many reasoning programs require large quantities of (Feigenbaum 1977). This knowledge is often hard to express formally, and logic provides tools for doing so.