Genel Problem Çözücü
Genel Problem Çözücü (GPS) , 1957 yılında Herbert Simon , JC Shaw ve Allen Newell tarafından genel problemleri çözebilecek bir makine yapmak amacıyla oluşturulmuş bir bilgisayar programıdır . Herhangi bir resmi sembolik problem, prensipte GPS ile çözülebilir. Örneğin: teoremleri kanıtlamak , geometrik problemleri çözmek, önerme mantığıyla çalışmak ve satranç oynamak . Simon ve Newell'in mantık makineleri üzerindeki önceki teorik çalışmalarına dayanıyordu .. GPS, problemlerin nasıl çözüleceği konusundaki stratejisinden, problemlerin bilgisinin ayrıldığı ilk bilgisayar programıydı. IPL ( Bilgi İşleme Dili ) programlama dilinde uygulandı .
GPS, yeterince resmi bir şekilde ifade edilebilecek Hanoi Kulesi sorunu gibi basit sorunları çözmeyi başardı , ancak gerçek dünya sorunlarını çözemedi.
Kullanıcı, nesneleri ve nesnelerle ve nesneler üzerinde yapılabilecek işlemleri tanımladı ve GPS , problemleri çözmek için araçların ve hedeflerin analizi yoluyla buluşsal yöntemleri oluşturdu. Bunu yapmak için mevcut işlemlere, hangi girdilerin kabul edilebilir olduğuna ve hangi sonuçların üretildiğine odaklandı. Daha sonra daha önce tanımlanan hedefe daha da yaklaşmak için alt hedefler oluşturuldu.
GPS paradigması, SOAR ( Devlet Operatörü ve Sonuç ) sembolik-bilişsel mimarisine dönüştü .
İşlem
Simon ve Newell, L1= R*(-P => Q) mantıksal önermesinin L2=(Q \/ P)*R'ye nasıl dönüştürüleceğine dair bir örnek önerir (Newell ve Simon, 1972, sayfa 420). Bu dönüşüm GPS tarafından aşağıdaki gibi işlenecektir:
- Hedef 1: L1'i L0'a Dönüştürün
- Hedef 2: L1 ve L0 arasındaki farkı azaltın
- Hedef 3: R1'i L1'e uygulayın
- Hedef 4: L1'i bir koşula dönüştürün (R1)
- Ürün L2: (-P => Q) *R
- Hedef 5: L2'yi L0'a Dönüştürün
- Hedef 6: (L2) ve (L0) arasındaki farkı azaltın
- Hedef 7: R5'i (L2)'ye uygulayın
- Hedef 8: (L2)'yi bir koşula (R5) dönüştürün
- Hedef 9: (L2) ve (R5) arasındaki farkı azaltın
- Reddedildi: Hedef 6'dan daha basit değil
- Hedef 10: R6'yı (L2)'ye uygulayın
- Hedef 11: (L2)'yi bir koşula (R5) dönüştürün
- Ürün L3: (P \/ Q) *R
- Hedef 12: L3'ü L0'a Dönüştürün
- Hedef 13: (L3) ve (L0) arasındaki farkı azaltın
- Hedef 14: R1'i (L3)'e uygulayın
- Hedef 15: (L3)'ü bir koşula (R1) dönüştürün
- Ürün L4: (Q \/ P)*R
- Hedef 16: L4'ü L0'a Dönüştürün
- Tanımla, QED
Referanslar
- Newell, A.; Shaw, JC; Simon, H.A. (1959). Genel bir problem çözme programı hakkında rapor verin. Uluslararası Bilgi İşleme Konferansı Tutanakları . s. 256-264.
- A. Newell ve H.A. Simon (1961). İnsan düşüncesini simüle eden bir program olan GPS, E. Feigenbaum ve J. Feldmann, Hrsg. (1995) Bilgisayarlar ve Düşünce , ISBN 0262560925 .
- Newell, A. (1963). Genel problem çözücü program GPS-2-2 için bir rehber . RAND Şirketi, Santa Monica, Kaliforniya. Teknik Rapor No. RM-3337-PR.
- Ernst, G.W. & Newell, A. (1969). GPS: genellik ve problem çözmede bir vaka çalışması . Akademik Basın. (1966 Ernst tezinin gözden geçirilmiş versiyonu, Carnegie Teknoloji Enstitüsü.)
- Newell, A. ve Simon, HA (1972) İnsan problem çözme . Englewood Kayalıkları, NJ: Prentice Salonu.
- Norvig, Peter. (1992). Yapay zeka programlama paradigmaları: Common Lisp'te vaka çalışmaları . sayfa 109-110.
