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.
Ali Nesin: "Önermeler Mantığı", Nesin Matematik Köyü Kitaplığı, 2014.
Hodges, W.: "Logic", Penguin Books, 1977.
Nilsson, N.J.: "Principles of Artificial Intelligence", Morgan Kaufmann, 1980.
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.