SD210 — AI Automated Logical Reasoning
This course will enable the student to delve into the realm of automated logical reasoning using artificial intelligence (AI). The student will explore the principles and techniques behind automated reasoning systems, emphasizing the development of logical models, rule-based systems, and knowledge representation. The student will be equipped with the skills needed to design and implement AI systems capable of logical inference and problem-solving.