A. Tettamanzi, PR

Logic for AI

Logic plays an important role in areas of computer science as diverse as software engineering (specification and verification), programming languages (semantics, logic programming), and artificial intelligence (knowledge representation and reasoning).

S1 3 ECTS 24h OPT EN andrea.tettamanzi@unice.fr

The objective of this course is to provide a general background in Logic to enable access to more advanced topics in computer science and, more specifically, in artificial intelligence. Intelligent systems in the real world have to deal with issues like uncertainty, imprecision, and incompleteness. Some prominent logical tools that can be used to approach these issues are thus discussed.

Lectures

  • Part I. Basics
    • Propositional Logic: syntax and semantics
    • First Order Predicate Logic: syntax and semantics
    • Natural Deduction
    • Unification and Resolution
  • Part II. Non-Monotonic Logic and Approximate Reasoning
    • Argumentation Theory
    • Belief Revision and Update
    • Fuzzy Logic
    • Possibility Theory

Grading