Login

First-order logic and reasoning types Description

Key Elements

Code

ITLC 510

Formation

M2 Computer Science and Telecommunication

Semester

1

Credits

3

Number of Teaching Hours

20

Number of Tutoring Sessions

0

Number of Laboratory Sessions

0

Content

Objective

The objective of this course is to present a logical language (predicate logic), formal reasoning methods, tools and some related applications depending on the type of the desired reasoning. Prerequisite: first-order logic Knowledge

Content

Description 1. Introduction : - What is formal reasoning? - Typology of different types of logical reasoning (deduction, abduction, induction) 2. Predicate Logic: - Syntax and semantics, formalization - Model theory - Proof theory (Gentzen's sequent) - Resolution (skolemization, clauses, unifier, solving) - Meta-properties of predicate logic - First-order theories - An example: equational logic and security enforcement 3. Extensions of predicate logic according to the desired type of reasoning: - Deductive reasoning with application - Abductive reasoning with application to a diagnosis problem and presentation of a tool for abductive reasoning (ATMS) - Inductive reasoning and logical formulation Keywords: Predicate Logic, deduction, abduction, induction