Department of Information & Communication Systems Engineering
University of the Aegean
SCHOOL OF ENGINEERING

Department of Information
& Communication Systems Engineering

Information & Communication Systems Security
Information Systems
Artificial Intelligence
Computer & Communication Systems
Geometry, Dynamical Systems & Cosmology
 


Title:
Lesson Code:
Semester:
ECTS:
Theory Hours:
Lab Hours:
Faculty:
 
Content outline
Propositional logic: Syntax and semantics, Propositional entailment, Truth tables and formal proofs (inference rules, axiom schemata, provability, soundness and completeness). Propositional resolution and search strategies. Predicate logic: Syntax and semantics, Entailment, Herbrand method, Proofs in predicate logic (inference rules, axiom schemata, soundness and completeness). Unification and Resolution in Predicate logic. PROLOG: syntax and program structure, control mechanism, fail and negation, applications.
 
Learning outcomes
Understanding of syntax and semantics of propositional logic. Ability to apply semantic methods to prove a clause given a set of premises. Familiarity with formal proof methods. Understanding and application of the resolution method in propositional logic. Understanding of syntax and semantics of predicate logic. Familiarity with the application of the Herbrand method. Ability to apply the algorithm of transforming an expression of predicate logic to conjunctive normal form. Understanding and application of the unification method and the algorithm of finding the most general unifier of two clauses in predicate logic. Understanding of the resolution method in predicate logic. Understanding of the basic strategies to apply the resolution method. Familiarity with the main principles of logic programming. Ability to write programs in PROLOG to solve practical problems.
 
Prerequisites
Not required.
 
Assessment/Grading Methods
 
Language of Instruction
Greek, English (for Erasmus students)
 
Μode of delivery
Face-to-face


Home | Contact

University Of The Aegean

SCHOOL OF ENGINEERING
Department of Information & & Communications Systems Engineering

© Copyright ICSD :: 2008 - 2017