Knowledge Representation and Reasoning (CSEN 907)
Offered By:
Media Engineering and Technology Faculty
Description
Knowledge represenation and reasoning (KRR) is considered to be the sub-filed of artificial intelligence concerned with the representation of information in computers in ways that allow computers to draw reasonable conclusions from them. Representation is mostly declarative, using a formal language with clear syntax and semantics, and inference rules that define what conclusions are reasonable---in other words, a logic. Classical logics, such as propositional and first-order logics, were primarily designed to lay the foundations of mathematics. But, when it comes to commonsense KRR, such logics need to be extended/modified to effectively and efficiently capture human-like reasoning modes. This course covers the general principles of knowledge representation and reasoning. Students who pass this course will have acquired the fundamentals needed to pursue research in any of the specialized KRR areas.