Knowledge Representation and Reasoning (AING355)
Representing symbolic knowledge using logic. Fundamental trade-off between representation power and computational properties. Fragments of first order logic suited for Knowledge Representation. Methods of automated reasoning: Reasoning algorithms and implementations, and how reasoning is used to support knowledge representation. Answer set programming. Ontology languages for the Semantic Web. Non-monotonic logics. Combining logic and probability.