CIS 567 - Knowledge Representation and Reasoning

College of Engineering and Computer Science
3 credit(s) Irregularly

Applications of mathematical methods to knowledge bases. Methods include nonclassical, fuzzy logic and statistical inference. Application topics include planning, temporal and physical reasoning, attitudes, the frame problem, preference, constraints, qualitative differential equations, situation theory.