|
||||
| Description: | ||||
| Rigorous study of optimal search methods, decomposable and commutative production systems, mechanical theorem proving for the predicate logic, skolem functions, more on computer learning, introduction to LISP, pattern matching, introduction to natural language processing, use of logic in problem-solving and problem representation, readings from the literature. | ||||
|