2016 | OriginalPaper | Chapter
6. Logic-Based Reasoning
Published in:
Introduction to Artificial Intelligence
Abstract
Two models of problem solving which are based on logic, reasoning as theorem proving and reasoning as symbolic computation, are discussed in this chapter. Both models are implemented in AI systems with the help of the declarative programming paradigm, which has been introduced in Sect. 2.2.