Title of the course: Logic for Artificial Intelligence
Instructor: Mr. Arif Mardin
Dates: 27 August – 2 September 2018
Prerequisites: Apart from motivation to follow what is going on, and familiarity with the basics of logical reasoning, no particular familiarity with any subject is needed.
Abstract: Logic (more precisely propositional logic and predicate logic) as a method of representation of knowledge in artificial intelligence. Well-formed formulas, unification, resolution strategies for the resolution of problems. Introduction to probabilistic reasoning and decision making under uncertain knowledge.
Textbook: Hodges, W.: “Logic”, Penguin Books, 1977,
Nilsson, N.J.: “Principles of Artificial Intelligence”, Morgan Kaufmann, 1980,
Genesereth, M. and Nilsson, N.J.: “Logical Foundations of Artificial Intelligence”,
Russell, S. and Norvig, P.: “Artificial Intelligence: A Modern Approach”, 3rd edn., Prentice Hall, 2013.
Genesereth, M., and Nilsson, N.J.: "Logical Foundations of Artificial Intelligence", Morgan Kaufmann, 1987.