Quelques méthodes en intelligence artificielle — Colloque Intelligence artificielle (1980 ; Caen)