Title of the course:  Logic for Artificial Intelligence
Instructors: Arif Mardin
Institution: –
Dates:   2-8 September 2019
Prereq-uisites: 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.
Level: Undergraduate
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.
References:
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.
Language: EN