Inferensmotor

En inferensmotor (fra verbet "to infer" som betyr "å utlede") er en programvarepakke som tilsvarer en algoritme for simulering av deduktiv resonnement .

En slutningsmotor tillater ekspertsystemer å gjennomføre logiske resonnementer og utlede konklusjoner fra en faktabase og en kunnskapsbase .

Inferensmotorer kan implementere:

• en formell logikk av ordre 0 ( logikk av proposisjoner ), ordre 0+, ordre 1 ( logikk av predikater ) eller ordre 2 med
• håndtering av monotone eller ikke-monotone hypoteser,
• en fremoverkjetting , bakoverkjetting eller blandet ,
• en deduktiv fullstendighet eller ikke.

Historisk

De første inferensmotorene ble født på 1960-tallet i datavitenskapelige forskere, spesielt da det amerikanske forskningsprogrammet om GPS (General Problem Solver) ble lansert .

I Frankrike er Prolog- motoren - oppfunnet av Alain Colmerauer i Grenoble i 1965 og utviklet i Marseille Luminy på 1970-tallet - et verdenskjent eksempel på en inferensmotor i monoton formell logikk av ordre 1 i deduktivt ufullstendig bakoverkjetting. Japanerne hadde også besluttet å basere sitt forskningsprogram på sa datamaskiner av "5 th generasjon" i det franske språket Prolog .

Eksempler på inferensmotorer

• CLIPS  : Fremoverkjetting , ugjenkallelig kontroll, 1. ordens motor, ikke-monoton logikk, lukket verden
• MYCIN- motor  : medisinsk diagnostisk system,
• GEOMETRIX  : 1. ordens motor, fremoverkjetting, bakoverkjetting, demonstrasjonshjelp i euklidisk geometri, utviklet i Prolog av Jacques Gressier.
• GOSSEYN: 1. ordens motor innen kjetting fremover , utviklet i Fortran av Jean-Marc Fouet ,
• PROLOG: 1. ordens motor i bakoverkjetting , utviklet av Alain Colmerauer ,
• PROLOG II: motor av ordre 1 i bakoverkjetting , utviklet av Michel Van Caneghem ,
• Kadviser: første ordensmotor med spenningsforplantning, opprettet i 1988 av selskapet KADE-TECH og utviklet i dag av selskapet NIMTOTH ,
• MACISTE motor av ordre 2, utviklet av Jacques Pitrat ,
• SMECI: utviklet i LISP av selskapet ILOG ,
• SNARK: utviklet av Jean-Louis Laurière (det er også en teoremdemonstrator med samme navn, av Mark E. Stickel, som ikke har noe å gjøre med det) .
• Limule, inferensmotor som driver spillet Akinator: The Genius of the web
• COGNIPRO  : inferensmotor utviklet for å lære konsepter innen dette feltet, fremover og bakover kjetting utviklet av Patrick Milot.

Merknader og referanser

1. Jean-Gabriel Ganascia, kunstig intelligens , Paris, Le Cavalier Bleu, koll. “Mottatte ideer”, 2007 ( ISBN  978-2-84670-165-5 )

Se også

• Logiske begreper
• Argumentasjon
• Skriv inn slutning

Ekstern lenke

• (fr) Nettbasert kurs "Artificial Intelligence, problemløsning og kunnskap representasjon" (Jean-Marc Fouet - Université Lyon 1)