Fundamentals of logical inference, predicate calculus, multivariate logic, probability theory, diagnostic reasoning, risk assessment, qualitative reasoning, and analytical design. Applications to expert systems in automated manufacturing, mechanical engineering design, real time monitoring and supervisory control, and failure diagnostics. All theory will be presented with engineering applications.
Project serves as a take-home final exam.
Genesereth, Michael R. and Nils J. Nilsson, Logical Foundations of Artificial Intelligence , Morgan Kaufmann Publishers, Inc., 1987. One homework set every 3 weeks and one individual project. Late homework will not be accepted. Solution sets will be provided on the due dates.