استعارة المجتمع العلمي

في علوم الحاسوب ، يُستخدم استعارة المجتمع العلمي لتسهيل فهم المجتمعات العلمية . وقد تناولت أولى المنشورات حول هذه الاستعارة، التي نُشرت عامي 1981 و1982 ^{[ 1 ]} ، تطوير لغة برمجة تُدعى إيثر ، والتي اعتمدت على الخطط الإجرائية لمعالجة الأهداف والتأكيدات بشكل متزامن، وذلك من خلال إنشاء قواعد جديدة ديناميكيًا أثناء تنفيذ البرنامج. كما عالجت إيثر قضايا التضارب والتناقض في مصادر المعرفة المتعددة ووجهات النظر المختلفة.

يستند مفهوم المجتمع العلمي إلى فلسفة العلم وتاريخه وعلم اجتماعه . وقد طُوِّر في الأصل بالاستناد إلى أعمال كارل بوبر وإيمري لاكاتوس في فلسفة العلم . وعلى وجه الخصوص، استُخدمت في البداية أعمال لاكاتوس حول البراهين والتفنيدات . وفي وقت لاحق، تأثر هذا المفهوم بأعمال جيف بوكر، وميشيل كالون ، وبول فييرابند ، وإليهو إم. جيرسون، وبرونو لاتور ، وجون لو ، وكارل بوبر ، وسوزان لي ستار ، وأنسيلم شتراوس ، ولوسي سوتشمان .

كان لكتاب لاتور " العلم في الممارسة" تأثير كبير، حيث تُقدّم شخصيات يانوس فيه عبارات متناقضة حول التطور العلمي. ويتمثل أحد التحديات المهمة التي تواجه استعارة المجتمع العلمي في التوفيق بين هذه العبارات المتناقضة.

يعتمد البحث العلمي بشكل حاسم على الرتابة والتزامن والتبادلية والتعددية لاقتراح وتعديل ودعم ومعارضة المناهج والممارسات والنظريات العلمية. (نقلاً عن كارل هيويت)تتميز أنظمة الاستعارة في المجتمع العلمي بخصائص الرتابة ، والتزامن ، والتبادلية ، والتعددية ، والشك ، والأصل .

الرتابة : بمجرد نشر شيء ما، لا يمكن التراجع عنه. ينشر العلماء نتائجهم لتكون متاحة للجميع. تُجمع الأعمال المنشورة وتُفهرس في المكتبات. يمكن للعلماء الذين يغيرون رأيهم نشر مقالات لاحقة تُناقض مقالات سابقة.

التزامن : يمكن للعلماء العمل في وقت واحد، والتداخل في الوقت والتفاعل مع بعضهم البعض.

التبادلية : يمكن قراءة المنشورات بغض النظر عما إذا كانت تُطلق بحثًا جديدًا أو تُصبح ذات صلة ببحث جارٍ. عادةً ما يبذل العلماء المهتمون بمسألة علمية جهدًا لمعرفة ما إذا كانت الإجابة قد نُشرت بالفعل. إضافةً إلى ذلك، يسعون إلى مواكبة التطورات اللاحقة أثناء مواصلة عملهم.

التعددية : تتضمن المنشورات معلومات غير متجانسة ومتداخلة وربما متضاربة. لا يوجد مرجع مركزي للحقيقة في الأوساط العلمية.

الشك : يتم بذل جهد كبير لاختبار المعلومات الحالية والتحقق من صحتها واستبدالها بمعلومات أفضل.

المصدر : يتم تتبع وتسجيل مصدر المعلومات بعناية.

تُعدّ الخصائص المذكورة أعلاه محدودة في الأوساط العلمية الحقيقية. ففي بعض الأحيان، تُفقد المنشورات أو يصعب استرجاعها. كما أن التزامن محدود بالموارد، بما في ذلك الموظفين والتمويل. وأحيانًا يكون من الأسهل إعادة استنتاج نتيجة ما بدلًا من البحث عنها. ولا يملك العلماء سوى قدر محدود من الوقت والطاقة لقراءة الأدبيات ومحاولة فهمها. وقد تجتاح بعض التوجهات العلمية جميع العاملين في مجال معين تقريبًا. ويمكن أن يؤثر ترتيب تلقي المعلومات على كيفية معالجتها. وقد يحاول الرعاة السيطرة على الأنشطة العلمية. وفي إيثر، تخضع دلالات أنواع الأنشطة الموصوفة في هذه الفقرة لنموذج الفاعل .

يشمل البحث العلمي توليد النظريات ووضع آليات لتعديلها ودعمها ومعارضتها. أطلق كارل بوبر على هذه العملية اسم "التخمينات والتفنيدات"، وهو وصف، رغم أنه يعكس فكرة جوهرية، إلا أنه تبين أنه توصيف مُقيِّد للغاية من خلال أعمال ميشيل كالون ، وبول فييرابند ، وإليهو إم. جيرسون، ومارك جونسون ، وتوماس كون ، وجورج لاكوف ، وإيمري لاكاتوس ، وبرونو لاتور ، وجون لو ، وسوزان لي ستار ، وأنسيلم شتراوس ، ولوسي سوتشمان ، ولودفيج فيتجنشتاين ، وغيرهم . ثلاثة أنواع أساسية من المشاركة في الأثير هي : الاقتراح، والدعم، والمعارضة. تُبنى المجتمعات العلمية على أساس دعم المنافسة والتعاون على حد سواء.

تؤثر هذه الأنشطة على مدى الالتزام بالمناهج والنظريات والأساليب وغيرها في الأوساط العلمية. ولا يعني الالتزام الحالي بالضرورة الالتزام به في المستقبل، إذ ستؤدي التطورات اللاحقة إلى تعديل وتوسيع الفهم الحالي. ويُعدّ الالتزام ظاهرة محلية وليست عالمية، ولا أحد يتحدث باسم المجتمع العلمي ككل.

قد تتعايش الأفكار المتعارضة في المجتمعات لقرون. وفي حالات نادرة، يحقق مجتمع ما إنجازاً حاسماً يحسم بشكل قاطع قضية كانت غامضة سابقاً.

استخدم إيثر وجهات نظر مختلفة لنقل المعلومات النسبية في منشوراته. ومع ذلك، فإن قدرًا كبيرًا من المعلومات يُشارك بين وجهات النظر المختلفة. لذا، اعتمد إيثر على التوريث بحيث يمكن استخدام المعلومات الواردة في وجهة نظر معينة بسهولة في وجهات نظر أخرى. أحيانًا لا يكون هذا التوريث دقيقًا، كما هو الحال عند اشتقاق قوانين الفيزياء في الميكانيكا النيوتونية من قوانين النسبية الخاصة . في مثل هذه الحالات، استخدم إيثر الترجمة بدلًا من التوريث. وقد حلل برونو لاتور الترجمة في الأوساط العلمية في سياق نظرية شبكة الفاعلين . كما درس إيمري لاكاتوس أنواعًا بالغة التعقيد من ترجمات النظريات الرياضية ( مثل صيغة أويلر للمجسمات ) والعلمية.

استُخدمت وجهات النظر لتطبيق الاستدلال الطبيعي (فيتش [1952]) في لغة إيثر. لإثبات هدف على شكل (P يستلزم Q) في وجهة نظر V ، يكفي إنشاء وجهة نظر جديدة V' ترث من V ، ثم تأكيد P في V' ، ثم إثبات Q في V' . وقد طُرحت فكرة مشابهة في الأصل في مجال إثبات لغات البرمجة بواسطة روليفسون وديركسن ووالدينجر [1973]، إلا أن لغة إيثر، لكونها متزامنة وليست متسلسلة، لا تعتمد على التواجد في وجهة نظر واحدة يمكن إضافتها وحذفها بشكل متسلسل للانتقال إلى وجهات نظر أخرى.

في نهاية المطاف، فإن حل القضايا بين وجهات النظر هذه هو أمر للتفاوض (كما تمت دراسته في علم الاجتماع وفلسفة العلوم من قبل جيف بوكر، وميشيل كالون ، وبول فييرابند ، وإليهو إم. جيرسون، وبرونو لاتور ، وجون لو ، وكارل بوبر ، وسوزان لي ستار، وأنسيلم شتراوس، ولوسي سوتشمان، وما إلى ذلك).

كان آلان تورينج من أوائل من حاولوا توصيف الذكاء الفردي بدقة أكبر من خلال مفهوم اختبار تورينج الشهير . وقد طُوّر هذا النموذج وتعمق في مجال الذكاء الاصطناعي . وقد قام كل من آلان نيويل وهربرت أ. سيمون بأعمال رائدة في تحليل بروتوكولات سلوك حل المشكلات البشرية الفردية في الألغاز. وفي الآونة الأخيرة، طور مارفن مينسكي فكرة أن عقل الإنسان الفردي يتكون من مجتمع من العوامل في كتابه "مجتمع العقل" (انظر تحليل بوش سينغ).

إن البحث المذكور أعلاه حول حل المشكلات البشرية الفردية يكمل استعارة المجتمع العلمي.

تُطبَّق بعض التطورات في تكنولوجيا الأجهزة والبرمجيات الخاصة بالإنترنت في ضوء استعارة المجتمع العلمي. ^{(هيويت، 2006)}

تدفع الاعتبارات القانونية ( مثل قانون HIPAA ، وقانون ساربينز-أوكسلي ، و"قواعد الكتب والسجلات" في قاعدة هيئة الأوراق المالية والبورصات 17a-3/4، و"معيار تصميم تطبيقات برامج إدارة السجلات الإلكترونية" في معيار وزارة الدفاع الأمريكية 5015.2 ) المؤسسات إلى تخزين المعلومات بشكل دائم. وقد أصبح تخزين المعلومات على الأقراص المغناطيسية أقل تكلفة في كثير من الحالات مقارنةً بتخزينها على أشرطة. ومع تزايد سعة التخزين، بات بإمكان المواقع تسجيل ما تقرأه من الإنترنت بشكل دائم، بالإضافة إلى تسجيل عملياتها الخاصة.

توفر محركات البحث حاليًا وصولًا بدائيًا إلى كل هذه المعلومات. وستوفر الأنظمة المستقبلية نظامًا تفاعليًا للإجابة على الأسئلة بمفهوم واسع، مما سيجعل هذه المعلومات أكثر فائدة.

يُمثل التزامن الهائل ( أي خدمات الويب وبنى الحواسيب متعددة النوى ) مستقبلًا واعدًا، إذ يطرح تحديات وفرصًا هائلة أمام مفهوم المجتمع العلمي. ويُستخدم هذا المفهوم تحديدًا في الحوسبة السحابية للعملاء . ^{[ 2 ]}

• المنطق المتناقض
• مخطط
• دراسات العلوم
• بنية الثورات العلمية

• جوليان ديفيز. "دليل مرجعي لبرنامج بوبلر 1.5" جامعة إدنبرة، تقرير وحدة معالجة البيانات رقم 1، مايو 1973.
• فريدريك فيتش. المنطق الرمزي: مقدمة . دار رونالد للنشر، نيويورك، 1952.
• راماناثان جوها. السياقات: صياغة رسمية وبعض التطبيقات ، أطروحة دكتوراه، جامعة ستانفورد، 1991.
• بات هايز. "الحساب والاستنتاج" الأسس الرياضية لعلوم الحاسوب: وقائع الندوة والمدرسة الصيفية، شتربسكي بليسو، جبال تاترا العليا، تشيكوسلوفاكيا، 3-8 سبتمبر 1973.
• كارل هيويت. "بلانر: لغة لإثبات النظريات في الروبوتات" المؤتمر الدولي المشترك للذكاء الاصطناعي 1969
• كارل هيويت. "التضمين الإجرائي للمعرفة في المخطط" IJCAI 1971.
• كارل هيويت، بيتر بيشوب وريتشارد ستيجر. "صيغة الممثل المعياري العالمي للذكاء الاصطناعي" IJCAI 1973.
• كارل هيويت. الحوسبة التنظيمية واسعة النطاق تتطلب انعكاسًا غير طبقي وتناقضًا قويًا في "التنسيق، والمنظمات، والمؤسسات، والمعايير في أنظمة الوكلاء III" من تحرير خايمي سيشمان، وبابلو نورييغا، وجوليان بادجيت، وساشا أوسوفسكي. سبرينغر. 2008.
• كارل هيويت. تطوير البرمجة المنطقية: ما الخطأ الذي حدث، وما الذي تم فعله حيال ذلك، وماذا قد يعني ذلك للمستقبل. ما الخطأ الذي حدث ولماذا: دروس مستفادة من أبحاث وتطبيقات الذكاء الاصطناعي؛ أوراق من ورشة عمل AAAI لعام 2008. التقرير الفني WS-08-14. مطبعة AAAI. يوليو 2008.
• ويليام كورنفيلد وكارل هيويت. "استعارة المجتمع العلمي". معاملات IEEE في الأنظمة والإنسان وعلم التحكم الآلي، SMC-11. 1981
• بيل كورنفيلد. "استخدام التوازي لتنفيذ بحث استدلالي" IJCAI 1981.
• بيل كورنفيلد. التوازي في حل المشكلات. أطروحة دكتوراه في قسم الهندسة الكهربائية وعلوم الحاسوب بمعهد ماساتشوستس للتكنولوجيا. أغسطس 1981.
• بيل كورنفيلد. "الخوارزميات الانفجارية التوافقية" CACM. 1982.
• روبرت كوالسكي، "منطق المسند كلغة برمجة"، مذكرة رقم 70، قسم الذكاء الاصطناعي، جامعة إدنبرة، 1973
• إيمري لاكاتوس. "البراهين والردود" كامبريدج: مطبعة جامعة كامبريدج. 1976.
• برونو لاتور. العلم في العمل: كيف نتابع العلماء والمهندسين عبر المجتمع ، مطبعة جامعة هارفارد، كامبريدج، ماساتشوستس، الولايات المتحدة الأمريكية، 1987.
• جون مكارثي. "العمومية في الذكاء الاصطناعي" CACM. ديسمبر 1987.
• جيف روليفسون، جان ديركسن، وريتشارد والدينجر . "QA4، حساب إجرائي للاستدلال الحدسي" مذكرة فنية رقم 73 لمركز SRI للذكاء الاصطناعي، نوفمبر 1973.
• إيرل ساسيردوتي وآخرون، "QLISP لغة للتطوير التفاعلي للأنظمة المعقدة" AFIPS. 1976
• بوش سينغ "دراسة مجتمع العقل" سيُنشر في مجلة الحوسبة والمعلوماتية