Publisher's Synopsis
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.