Automated reasoning
[INGI2264]
[30h + 15h] 5 credits
This course is taught in the 1st semester.
Teacher(s): Charles Pecheur
Language: English
Level: Second
Aims
- understand and explain basic technics and theoretical bases used in automated reasoning
- understand and be aware of respective advantages of various types of logics, especially for their use in automated reasoning
- apply wisely technics and methods of automated reasoning
- understand and use current and representative automated reasoning systems
- develop applications using methods of automated reasoning
Main themes
- Reasoning based on propositional logic: model generation, Davis Putnam, ...
- Reasoning based on classicalk logic: resolution, array methods, ...
- Reasoning with equality theory: paramodulation, unification, rewriting, ...
- Reaoning based on induction
- Common automated reasoning systems
- Applications: modeling and solving of problems using automated reasoning methods
Content and teaching methods
Other information (prerequisite, evaluation (assessment methods), course materials recommended readings, ...)
INGI21261 Artificial Intelligence : Knowledge and Representation
Reference book
- A. Bradley, Z. Manna "The calculus of computation", Springer, 2007
- J. Goubault-Larreck, I. Mackie, "Proof theory and automated deduction", Kuwer, 2001