برنامجا مُنظر المنطق Logic Theorist و حل المشكلات العامة general problem solver عند آلن نيويل و هربرت سيمون وأبعادهما المنطقيةNewell and Simon's Logic Theorist "LT" and general problem solver "GPS" and its Logical Dimensions | ||||
| المجلة العلمية بکلية الآداب | ||||
| Volume 2025, Issue 59, April 2025, Page 2625-2652 PDF (1.35 MB) | ||||
| Document Type: أبحاث علمیة | ||||
| DOI: 10.21608/jartf.2025.432448 | ||||
 View on SCiNiTO | ||||
| Author | ||||
| عباس محمد عباس عبد الجليل خليفة* | ||||
| كلية الآداب – جامعة الإسكندرية | ||||
| Abstract | ||||
| شهدت فترة الخمسينات من القرن الماضي انتعاشًا واضحًا في بناء برامج الحوسبة والربط بين المفاهيم المعرفية والتطبيقية في عمليات التفكير وحل المشكلات، وقد كان ذلك واضحًا عند آلان تورينج في مشروعه الشهير "الآلة المفكرة"، وهو ما حاول كل من آلن نيويل وهربرت سيمون ترجمته في صورة تقنية مختلفة بعض الشيء، فقد كان لهما توجه ومشروع علمي تحت عنوان "الحل الآلي للمشكلات"، فقد انشغل الاثنان بتصميم البرامج الآلية التي تحاكي التفكير البشري – انطلاقًا من رؤيتهم المعرفية النابعة من اهتمامهم بعلم النفس المعرفي – ولم يكن هدفهم هنا تحويل هو الآلة المفكرة بعينها، بقدر محاولتهم فهم العملية الآلية والمعالجة البشرية لفهم وحل المشكلات وترجمة هذه المعالجة إلى صورة تقنية؛ فكانت أول محاولة في هذا الاتجاه هو تصميم برنامج "منظّر المنطق Logic Theorist "، وهو أول برنامج يمكنه التعامل مع مسائل علم المنطق الرمزي بطريقة آلية، من خلال إكسابه المهارات والطرق البشرية في حل وبرهنة النظريات المنطقية – وهذا يعني أنه كان برنامجًا متخصصًا في مجال بعينه – وقد تم تصميمه بطريقة تقنية منطقية للقيام بتلك المهمة، وبعد فترة قليلة وبعد تطوير هذا المشروع وتقنياته، تم تطوير برنامج آخر جديد وهو برنامج حلّ المشكلات العام (GPS / The General Problem Solver ) لإثبات قدرة آلة حل المشكلات المتعددة، وذلك من خلال تمثيل المشكلات أو المسائل في هياكل أو قوائم ومحاولة تحويلها وتبسيطها إلى سلسلة من الأهداف والموضوعات الفرعية القابلة للحل، ومحاولة افتراض حلول لتلك الإشكاليات، وتكمن أهمية هذا النوع من البرامج في تطوير طريقة جديدة للتعامل مع المعضلات بصورة غير تقليدية، وهو ما كان له أثر على أبحاث وتطوير الذكاء الاصطناعي لاحقًا، خاصًة في مجالات مثل التفكير الآلي والتخطيط والمحاكاة المعرفية. The 1950s witnessed a clear revival in the construction of computing programs and the connection between cognitive and applied concepts in thinking processes and problem-solving. This was evident in Alan Turing's famous project, "The Thinking Machine." Both Allen Newell and Herbert Simon attempted to translate it into a slightly different technical image, They had a scientific approach and project under the title “Automated Problem Solving.” The two were busy designing automated programs that simulate human thinking – based on their cognitive vision stemming from their interest in cognitive psychology – and their goal here was not to transform the thinking machine itself, as much as they were trying to understand the automated process and human processing to understand and solve problems and translate this processing into a technical image, The first attempt in this direction was to design the “Logic Theorist” program, which is the first program that can deal with the problems of symbolic logic in an automated way, by providing it with human skills and methods for solving and proving logical theories - this means that it was a program specialized in a specific field - and it was designed in a logical technical way to carry out this task, and after a short period and after developing this project and its techniques , Another new program, the General Problem Solver (GPS), has been developed to demonstrate the ability of a multi-problem solver. This is done by representing problems or issues in structures or lists and trying to transform and simplify them into a series of solvable objectives and subtopics, and trying to hypothesize solutions to those problems. The importance of this type of program lies in developing a new way to deal with dilemmas in an unconventional way. This had an impact on later AI research and development, especially in areas such as automated reasoning, planning, and cognitive simulation. | ||||
| Keywords | ||||
| مُنظّر المنطق; نيويل وسيمون -حل المشكلات آليًا; البرمجة والمنطق; نمذجة المعرفة .Logic Theorist - Newell and Simon - Automated Problem Solving - Programming and Logic - Knowledge Modeling | ||||
|
Statistics Article View: 68 PDF Download: 28 |
||||
