In 1956 Newell & Simon’s Logic Theo

In 1956 Newell & Simon’s Logic Theorist was published. It is considered by many to be the first AI program.
In 1961 James Slagle (PhD dissertation, MIT) wrote a symbolic integration program, SAINT. It was written in LISP and solved calculus problems at the college freshman level.
In 1965, J. Allen Robinson invented a mechanical proof procedure, the Resolution Method, which allowed programs to work efficiently with formal logic as a representation language.

النتائج (العربية) 1:

وصدر في عام 1956 "المنظر منطق" نيويل & Simon's. يعتبر الكثيرون أن يكون أول برنامج لمنظمة العفو الدولية. في عام 1961 كتب James سلاجلي (أطروحة دكتوراه، معهد ماساتشوستس للتكنولوجيا) برنامج تكامل رمزية، سانت. أنها كتبت في اللثغة وحل المشاكل في حساب التفاضل والتكامل على مستوى طالبة كلية.في عام 1965، اخترع ألن "ج." روبنسون إجراء دليل على ميكانيكية، "أسلوب القرار"، مما يسمح لبرامج العمل بكفاءة مع المنطق الرسمي كلغة تمثيل.

النتائج (العربية) 2:

في عام 1956 نشرت نويل وسيمون المنطق النظري. واعتبر العديد من المراقبين أن برنامج AI الأول.
وفي عام 1961 جيمس Slagle (أطروحة دكتوراه، معهد ماساتشوستس للتكنولوجيا) كتب برنامج التكامل رمزي، SAINT. وقد كتب في اللثغة وتحل المشاكل حساب التفاضل والتكامل على مستوى طالبة جامعية.
وفي عام 1965، اخترع J. ألين روبنسون إجراء الإثبات الميكانيكية، والطريقة القرار، الذي يسمح برامج للعمل بكفاءة مع المنطق الرسمي كلغة تمثيل.

النتائج (العربية) 3:

في عام 1956 نيويل & المنظر المنطق نشر سيمون.يعتبر كثيرون أن يكون أول برنامج منظمة العفو الدولية -
في 1961 جيمس اسلاگل (رسالة دكتوراه، معهد ماساتشوستس للتكنولوجيا (كتب رمزية برنامج الدمج سانت.كان مكتوب في اللثغة وحساب التفاضل والتكامل حل المشاكل على مستوى الجدد في الكلية -
في 1965، ج. روبنسون ألين اخترع ميكانيكي البرهان الداخلي، القرار طريقة،الذي سمح البرامج تعمل بكفاءة مع المنطق الشكلي كلغة التمثيل.