CMSC 771 - Knowledge Representation and Reasoning

[3]

This course covers advanced issues in representing and reasoning with knowledge. Topics include determining features for and carrying out belief description; naive and logic-oriented approaches to the formal representation of knowledge; logic-based and economic-oriented reasoning mechanisms; statistical and probabilistic representations, and algorithms for implementing reasoning, decision-making and communication, including methods for dealing with incomplete, unsound or time-sensitive knowledge and limited computational resources.
Prerequisite: Prerequisite: CMSC 671 or consent of instructor