Title of the course: Logic for artificial intelligence
Instructor: Arif Mardin
Institution: –
Dates: 6-11 September 2021
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.
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.
Textbooks:
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