Logic and Logic Programming

Print

Learning Outcomes

At the end of the course, students will be equipped with fundamental knowledge in first order mathematical logic, which allows the critical deepening in the scientific domain of mathematical logic, including higher order systems.

Students will be able to model and process real-life problems using tools of mathematical logic. The obtained skills include abilities such as the semantic analysis and precise modeling of real-life problems in the typical systems of the propositional and first order predicate logic, the use of proof systems and logic evaluation of arguments. Furthermore, students will be able to implement small scale expert system and artificial intelligence applications using the Prolog programming language.

The systematization of logic, which is strongly addressed by the course, will help students understand better and more deeply a plethora of scientific topics included in their program of studies and efficiently determine complex logic calculations both in the system hardware level and during application development in all practiced programming languages.

Course Contents

The content of the course is to introduce:

  • the language and semantics of propositional and first order predicate logic
  • the study of logic arguments
  • the understanding and use of proof systems for propositional and predicate logic (tableaux, direct mathematical argumentation, equivalences, natural deduction, Beth analysis)
  • the translation between logic and natural language
  • the Prolog programming language for Artificial Intelligence applications
  • Metakides G. (1992): Logic, Logic Programming and Prolog,Kardam;itsa Publishing (in Greek).
  • Marakakes M. (2016): Prolog: Logic Programming for Artificial Intelligence. New Technologies Publishing (in Greek).
  • S. Russel, P. Norvig (2009): Artificial Intelligence: A Modern Approach. Pearson.
  • Tzouvaras Α. (1998): Mathematical Logic Elements. Ziti Publishing (in Greek).
  • Portides D., Psyllos S., Anapolitanos D. (2007): Logic: The Argument Structure (in Greek).
  • P.D. Magnus: forallx: An Introduction to Formal Logic
  • Mendelson E. (1997): Introduction to Mathematical Logic, 4th Edition, Chapman & Hall.