From Natural Language Processing to Logic for Expert Systems: A Logic Based Approach to Artificial Intelligence (Logic-based Approach to Artificial Intelligence)
Shows how the concepts and languages of logics can be applied in some of the most representative applications of artificial intelligence. Topics dealt with include speech recognition, natural language processing, the construction of problem solvers for expert systems and truth maintenance systems