Çıkarım motoru

Bir çıkarım motoru (" çıkarım yapmak" fiilinden " çıkarım yapmak" anlamına gelir), tümdengelimli akıl yürütmenin simülasyonu için bir algoritmaya karşılık gelen bir yazılım paketidir .

Bir çıkarım motoru, uzman sistemlerin mantıksal akıl yürütme yapmasına ve bir gerçekler ve bir bilgi temelinden sonuçlar çıkarmasına olanak tanır .

Çıkarım motorları şunları uygulayabilir:

• bir resmi mantık düzeni 0 (arasında önermelerin mantık seviye 1 0+ düzeninin), ( önermeler mantığı ) ya da 2 seviyesinde ile
• monoton veya monoton olmayan hipotezlerin yönetimi,
• bir ileri zincirleme , geri zincirleme veya karışık ,
• Bir tümdengelen bütünlüğü ya da değil.

Tarihi

İlk çıkarım motorları, özellikle GPS üzerine Amerikan araştırma programı (Genel Problem Çözücü) başlatıldığında, bilgisayar bilimi araştırmacıları topluluğunda 1960'larda doğdu .

Fransa'da, Alain Colmerauer tarafından 1965'te Grenoble'da icat edilen ve 1970'lerde Marseille Luminy'de geliştirilen Prolog motoru , tümdengelimsel olarak eksik geriye doğru zincirlemede 1. sıranın monoton biçimsel mantığındaki bir çıkarım motorunun dünyaca ünlü bir örneğidir. Japonlar ayrıca araştırma programlarını Fransızca Prolog dilinde " 5. nesil" bilgisayarlara dayandırmaya karar vermişlerdi .

Çıkarım motorlarına örnekler

• KLİPLER  : İleri zincirleme , Değiştirilemez kontrol, 1. derece motor, Monotonik olmayan mantık, Kapalı dünya
• MYCIN motoru  : tıbbi teşhis sistemi,
• GEOMETRIX  : 1. dereceden motor, ileri zincirleme, geriye doğru zincirleme, Prolog'da Jacques Gressier tarafından geliştirilen Öklid geometrisinde gösteri için yardım.
• GOSSEYN: Jean-Marc Fouet tarafından Fortran'da geliştirilen ileri zincirlemede 1. derece motor ,
• PROLOG: Alain Colmerauer tarafından geliştirilen , geriye doğru zincirlemede 1. dereceden motor ,
• PROLOG II: Michel Van Caneghem tarafından geliştirilen , geriye doğru zincirlemede 1. sıradaki motor ,
• Kadviser: 1988 yılında KADE-TECH şirketi tarafından oluşturulan ve bugün NIMTOTH şirketi tarafından geliştirilen gerilim yayılımlı birinci dereceden motor ,
• Jacques Pitrat tarafından geliştirilen 2. sıra MACISTE motoru ,
• SMECI: geliştirilen LISP şirketi tarafından ILOG ,
• SNARK: Jean-Louis Laurière tarafından geliştirilmiştir (Mark E. Stickel'in kendisiyle hiçbir ilgisi olmayan aynı isimde bir teorem göstericisi de vardır) .
• Limule, oyunu ilerleten çıkarım motoru Akinator: The Genius of the web
• COGNIPRO  : Bu alandaki kavramları öğrenmek için geliştirilen çıkarım motoru, Patrick Milot tarafından geliştirilen ileri ve geri zincirleme.

Notlar ve referanslar

1. Jean-Gabriel Ganascia, Yapay Zeka , Paris, Le Cavalier Bleu, cilt . "Alınan Fikirler", 2007 ( ISBN  978-2-84670-165-5 )

Ayrıca görün

• Mantıksal kavramlar
• Muhakeme
• Çıkarım türü

Dış bağlantı

• (fr) Çevrimiçi kurs "Yapay zeka, problem çözme ve bilgi temsili" (Jean-Marc Fouet - Lyon 1 Üniversitesi)