Motor de inferență

Un motor de inferență (de la verbul „a deduce” care înseamnă „a deduce”) este un pachet software corespunzător unui algoritm pentru simularea raționamentului deductiv .

Un motor de inferență permite sistemelor expert să conducă raționamente logice și să tragă concluzii dintr-o bază de fapte și o bază de cunoștințe .

Motoarele de inferență pot implementa:

o logică formală a ordinii 0 ( logica propozițiilor ), a ordinii 0+, a ordinii 1 ( logica predicatelor ) sau a ordinii 2 cu
gestionarea ipotezelor monotonice sau non-monotonice,
o înlănțuire înainte , înlănțuire înapoi sau mixtă ,
o completitudine deductivă sau nu.

Istoric

Primele motoare de inferență s-au născut în anii 1960 în comunitatea cercetătorilor în informatică, în special atunci când a fost lansat programul american de cercetare pe GPS (General Problem Solver) .

În Franța, motorul Prolog - inventat de Alain Colmerauer la Grenoble în 1965 și dezvoltat în Marsilia Luminy în anii 1970 - este un exemplu de renume mondial al unui motor de inferență în logica formală monotonă de ordinul 1 în lanțul înapoi deductiv incomplet. Japonezii au decis , de asemenea , să -și bazeze programul lor de cercetare pe calculatoarele de spus „5 - lea generație“ , în limba franceză Prolog .

Exemple de motoare de inferență

CLIPURI : Înlănțuire înainte , control irevocabil, motor de ordinul I, logică non-monotonă, lume închisă
Motorul MYCIN : sistem de diagnostic medical,
GEOMETRIX : motor de ordinul 1, înlănțuire înainte, înlănțuire înapoi, ajutor pentru demonstrație în geometria euclidiană, dezvoltat în Prolog de Jacques Gressier.
GOSSEYN: motor de ordinul 1 în lanț înainte , dezvoltat în Fortran de Jean-Marc Fouet ,
PROLOG: motor de ordinul 1 în lanț înapoi , dezvoltat de Alain Colmerauer ,
PROLOG II: motor de ordinul 1 în lanțuri înapoi , dezvoltat de Michel Van Caneghem ,
Kadviser: motor de primă comandă cu propagare a stresului, creat în 1988 de compania KADE-TECH și dezvoltat astăzi de compania NIMTOTH ,
Motorul MACISTE de ordinul 2, dezvoltat de Jacques Pitrat ,
SMECI: dezvoltat în LISP de compania ILOG ,
SNARK: dezvoltat de Jean-Louis Laurière (există și un demonstrator de teoreme cu același nume, de Mark E. Stickel, care nu are nimic de-a face cu el) .
Limule, motor de inferență care propulsează jocul Akinator: Geniul internetului
COGNIPRO : motor de inferență dezvoltat pentru învățarea conceptelor în acest domeniu, înlănțuire înainte și înapoi dezvoltat de Patrick Milot.

Note și referințe

Jean-Gabriel Ganascia, Inteligență artificială , Paris, Le Cavalier Bleu, col. „Idei primite”, 2007 ( ISBN 978-2-84670-165-5 )

Vezi și tu

Link extern

(fr) Curs online „Inteligență artificială, rezolvarea problemelor și reprezentarea cunoștințelor” (Jean-Marc Fouet - Université Lyon 1)