InformatiqueIntelligence Artificielle |
Knowledge representation
Slides
General Resolution Method
Learning agreement
Documentation
References:
P. Gochet et P. Gribomont,
Logique, volume 3: Méthodes pour l'intelligence artificielle
(chap. 10, 11 et 12),
Hermes, Paris, 2000.
The Art of Prolog
PROLOG Programming for Artificial Intelligence
MP4 files
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
Four search trees
Cut, Sterling & Shapiro, p. 180
Homework 1, deadline 01-03-2021
Code:
Metainterpretation
Hexapion