Következtetés motor

A következtetési motor (a "következtetni" igétől, ami azt jelenti, hogy "levezet") egy szoftvercsomag , amely megfelel a deduktív érvelés szimulációjának algoritmusának .

A következtetési motor lehetővé teszi a szakértői rendszerek számára, hogy logikai érvelést folytassanak, és következtetéseket vonjanak le tények és ismeretek alapján .

A következtetési motorok képesek megvalósítani:

formális logika a 0 rendből ( állítások logikája ), a 0+ rendből, az 1 rendből ( az állítmányok logikája ) vagy a 2 rendből álló formális logika
monoton vagy nem monoton hipotézisek kezelése,
Egy előre láncolás , visszafelé láncolás vagy vegyes ,
Egy deduktív teljesség , vagy sem.

Történelmi

Az első következtetési motorok az 1960-as években születtek az informatikai kutatók közösségében, különösen akkor, amikor elindították az amerikai GPS- kutatási programot (General Problem Solver) .

Franciaországban a Prolog motor - amelyet Alain Colmerauer talált ki Grenoble-ban 1965-ben és Marseille Luminy-ben fejlesztett ki az 1970-es években - világszerte ismert példája az 1. sorrend monoton formális logikájának következtető motorjának deduktívan hiányos visszaláncolásában. A japánok úgy döntöttek, hogy kutatási programjukat a Prolog francia nyelvű, az ötödik generáció számítógépeire alapozzák .

Példák a következtetési motorokra

CLIPS : Előreláncolás , Visszavonhatatlan vezérlés, 1. rendű motor, Nem monoton logika, Zárt világ
MYCIN motor : orvosi diagnosztikai rendszer,
GEOMETRIX : 1. rendű motor, előre láncolás, visszafelé láncolás, segédeszköz az euklideszi geometriában való bemutatáshoz, amelyet Prolog fejlesztett ki Jacques Gressier.
GOSSEYN: 1. rendű motor az elülső láncolásban , amelyet Fortran fejlesztett ki Jean-Marc Fouet ,
PROLOG: 1. rendű motor a hátrafelé történő láncolásban , Alain Colmerauer fejlesztette ki ,
PROLOG II: Michel Van Caneghem által kifejlesztett 1. rendszámú motor hátra láncolással ,
Kadviser: első rendű motor feszültségterjesztéssel, amelyet 1988-ban a KADE-TECH cég hozott létre, és amelyet ma a NIMTOTH fejlesztett ki ,
Jacques Pitrat által kifejlesztett 2. rendű MACISTE motor ,
SMECI: LISP- ben fejlesztette ki az ILOG vállalat ,
SNARK: Jean-Louis Laurière fejlesztette ki (létezik Mark E. Stickel azonos nevű tételbemutatója is, aminek semmi köze) .
Az Akinator: A web géniusza játékot elősegítő korlát, következtetési motor
COGNIPRO : következtetési motor, amelyet ezen a téren fogalmak elsajátítására fejlesztettek ki, Patrick Milot fejlesztette az előre és hátra láncolást.

Megjegyzések és hivatkozások

Jean-Gabriel Ganascia, Mesterséges intelligencia , Párizs, Le Cavalier Bleu, koll. „Fogadott ötletek”, 2007 ( ISBN 978-2-84670-165-5 )

Lásd is

Külső hivatkozás

fr) Online tanfolyam: „Mesterséges intelligencia, problémamegoldás és tudásábrázolás” (Jean-Marc Fouet - Université Lyon 1)