سيك

الموسوعة الحرة
المؤلف(ون) الأصلي(ون)دوغلاس لينات
المطور(ون)شركة سايكورب
الإصدار الأولي1984 ؛ منذ 40 عامًا (1984)
إصدار مستقر
6.1 / 27 نوفمبر 2017 ؛ منذ 6 سنوات (2017-11-27)
مكتوب فيليسب ، سيكل ، سوبل
يكتبلغة تمثيل المعرفة ومحرك الاستدلال
موقع إلكترونيwww.cyc.com

Cyc (تلفظ / ˈsaɪk / SYKE ) هو مشروع ذكاء اصطناعي طويل الأمد يهدف إلى تجميع قاعدة معرفية وعلم وجود شاملة تغطي المفاهيم والقواعد الأساسية حول كيفية عمل العالم. على أمل التقاط المعرفة الفطرية السليمة ، يركز Cyc على المعرفة الضمنية . بدأ المشروع في يوليو 1984 في MCC وتم تطويره لاحقًا بواسطة شركة Cycorp .

الاسم "Cyc" (من "الموسوعة") هو علامة تجارية مسجلة مملوكة لشركة Cycorp. تم إصدار مواصفات CycL للعامة، وتم وصف العشرات من وحدات HL في كتاب Lenat وGuha، [1] ولكن كود محرك الاستدلال Cyc والقائمة الكاملة لوحدات HL مملوكة لشركة Cycorp. [2]

تاريخ

بدأ المشروع في يوليو 1984 بواسطة دوجلاس لينات كمشروع لشركة Microelectronics and Computer Technology Corporation (MCC)، وهو اتحاد بحثي بدأته شركتان مقرهما الولايات المتحدة "لمواجهة الجهود اليابانية المشؤومة آنذاك في مجال الذكاء الاصطناعي، وهو ما يسمى بمشروع " الجيل الخامس ". [3] أقرت الولايات المتحدة قانون البحوث التعاونية الوطنية لعام 1984، والذي سمح لأول مرة للشركات الأمريكية "بالتواطؤ" في الأبحاث طويلة الأمد. منذ يناير 1995، كان المشروع قيد التطوير النشط من قبل شركة Cycorp، حيث كان دوجلاس لينات الرئيس التنفيذي .

بدأت لغة التمثيل CycL كامتداد لـ RLL [4] [5] (لغة لغة التمثيل، التي طورها لينات وطلابه المتخرجين راسل جراينر في عامي 1979-1980 أثناء وجودهما في جامعة ستانفورد ). في عام 1989، [6] توسعت CycL في القوة التعبيرية إلى المنطق من الدرجة الأعلى (HOL).

وقد توسعت قاعدة المعرفة في Cyc لتشمل نحو 100 ألف مصطلح في عام 1994، وبحلول عام 2017، أصبحت تضم نحو 1.5 مليون مصطلح. وقد تم إنشاء قاعدة المعرفة في Cyc التي تتضمن مصطلحات وجودية إلى حد كبير عن طريق الكتابة اليدوية للمسلمات؛ فقد بلغ عددها نحو مليون مصطلح في عام 1994، وبحلول عام 2017، بلغ عددها نحو 24.5 مليون مصطلح.

في عام 2008، تم ربط موارد Cyc بالعديد من مقالات ويكيبيديا . [7] يرتبط Cyc حاليًا بـ Wikidata .

قاعدة المعرفة

تنقسم قاعدة المعرفة إلى نظريات دقيقة . وعلى عكس قاعدة المعرفة ككل، يجب أن تكون كل نظرية دقيقة خالية من التناقضات الرتيبة. كل نظرية دقيقة هي كائن من الدرجة الأولى في علم الوجود Cyc؛ لها اسم ثابت منتظم. أسماء المفاهيم في Cyc هي مصطلحات أو ثوابت CycL . [6] تبدأ الثوابت بحرف اختياري #$وهي حساسة لحالة الأحرف. هناك ثوابت لـ:

  • العناصر الفردية المعروفة بالأفراد ، مثل #$BillClintonأو #$France.
  • المجموعات ، مثل #$Tree-ThePlant(تحتوي على جميع الأشجار) أو #$EquivalenceRelation(تحتوي على جميع علاقات التكافؤ ). يُطلق على أحد أعضاء المجموعة اسم مثيل لتلك المجموعة. [1]
  • الدوال التي تنتج مصطلحات جديدة من مصطلحات معينة. على سبيل المثال #$FruitFn، عند تزويد الدالة بوسيطة تصف نوعًا (أو مجموعة) من النباتات، فإنها ستعيد مجموعة ثمارها. وفقًا للاتفاقية، تبدأ ثوابت الدالة بحرف كبير وتنتهي بالسلسلة Fn.
  • دوال الحقيقة ، والتي يمكن تطبيقها على مفهوم واحد أو أكثر وترجع إما صوابًا أو خطأً. على سبيل المثال، #$siblingsهي علاقة الأخوة، صواب إذا كانت الحجتان شقيقتين . وفقًا للاتفاقية، تبدأ ثوابت دالة الحقيقة بحرف صغير.

لكل حالة من حالات المجموعة #$ChordataPhylum(أي لكل حبليات )، يوجد حيوان أنثى (حالة من #$FemaleAnimal)، وهي أمه (موصوفة بالمسند #$biologicalMother). [1]

محرك الاستدلال

محرك الاستدلال هو برنامج كمبيوتر يحاول استنباط إجابات من قاعدة المعرفة. يقوم محرك الاستدلال Cyc بإجراء استنتاج منطقي عام . [8] كما يقوم أيضًا بإجراء الاستدلال الاستقرائي ، والتعلم الآلي الإحصائي ، والتعلم الآلي الرمزي ، والاستدلال الاستقرائي .

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

الإصدارات

أوبن ساييك

تم إصدار الإصدار الأول من OpenCyc في ربيع عام 2002 وكان يحتوي فقط على 6000 مفهوم و60000 حقيقة. تم إصدار قاعدة المعرفة بموجب ترخيص Apache . صرحت Cycorp عن نيتها إصدار OpenCyc بموجب تراخيص موازية غير مقيدة لتلبية احتياجات مستخدميها. تم إصدار مترجم CycL و SubL (البرنامج الذي يسمح للمستخدمين بتصفح قاعدة البيانات وتحريرها بالإضافة إلى استخلاص الاستنتاجات) مجانًا، ولكن فقط كملف ثنائي، بدون كود مصدر . تم إتاحته لنظامي Linux و Microsoft Windows . أصدر مشروع Texai مفتوح المصدر [9] المحتوى المتوافق مع RDF المستخرج من OpenCyc. [10] تم إصدار الإصدار OpenCyc 4.0 في يونيو 2012. احتوى OpenCyc 4.0 على 239000 مفهوم و2093000 حقيقة؛ ومع ذلك، فهذه هي في الأساس تأكيدات تصنيفية .

دورة بحثية

في يوليو 2006، أصدرت شركة Cycorp الملف التنفيذي لبرنامج ResearchCyc 1.0، وهو إصدار من برنامج Cyc يستهدف مجتمع البحث، مجانًا. (كان برنامج ResearchCyc في مرحلة تجريبية من التطوير طوال عام 2004؛ وتم إصدار إصدار تجريبي في فبراير 2005.) بالإضافة إلى المعلومات التصنيفية، يتضمن برنامج ResearchCyc المزيد من المعرفة الدلالية؛ كما يتضمن معجمًا كبيرًا وأدوات تحليل وتوليد اللغة الإنجليزية وواجهات تعتمد على Java لتحرير المعرفة والاستعلام عنها. كما يحتوي على نظام لدمج البيانات المستندة إلى علم الوجود .

التطبيقات

لأكثر من عقد من الزمان، استخدمت شركة جلاكسو برنامج Cyc لدمج قاموس المصطلحات الطبية الضخم شبه التلقائي. [11] في السابق، كانوا يستخدمون الموظفين للقيام بذلك يدويًا. استخدمت عيادة كليفلاند برنامج Cyc لتطوير واجهة استعلام باللغة الطبيعية للمعلومات الطبية الحيوية حول جراحات القلب والصدر . [12] يتم تحليل الاستعلام إلى مجموعة من أجزاء CycL ذات المتغيرات المفتوحة. [13] كانت قاعدة المعرفة الخاصة بالإرهاب تطبيقًا لبرنامج Cyc حاول احتواء المعرفة حول الأوصاف المتعلقة بـ "الإرهاب". يتم تخزين المعرفة كعبارات في المنطق الرياضي. [14] [15]

أحد تطبيقات Cyc يهدف إلى مساعدة الطلاب في حل مسائل الرياضيات على مستوى الصف السادس. [16] كان من المفترض أن يلعب التطبيق، المسمى MathCraft، [17] دور زميل طالب أكثر ارتباكًا من المستخدم بشأن الموضوع. نظرًا لأن المستخدم يقدم نصائح جيدة، يسمح Cyc للصورة الرمزية بارتكاب أخطاء أقل.

انتقادات

وُصِف مشروع Cyc بأنه "أحد أكثر المساعي إثارة للجدل في تاريخ الذكاء الاصطناعي". [18] تقول كاثرين هافاسي ، الرئيسة التنفيذية لشركة Luminoso، إن Cyc هو المشروع السابق لـ Watson من IBM . [19] يشير عالم التعلم الآلي بيدرو دومينغوس إلى المشروع باعتباره "فشلًا كارثيًا" بسبب الكمية اللامتناهية من البيانات المطلوبة لإنتاج أي نتائج قابلة للتطبيق وعدم قدرة Cyc على التطور بمفرده. [20]

يقول جاري ماركوس ، وهو عالم إدراكي ومؤسس مشارك لشركة ذكاء اصطناعي تسمى Geometric Intelligence، "إنها تمثل نهجًا مختلفًا تمامًا عن كل الأشياء المتعلقة بالتعلم العميق التي كانت في الأخبار". [21] وهذا يتفق مع موقف دوج لينات القائل بأن " قشرة الذكاء في بعض الأحيان لا تكفي". [22]

موظفين بارزين

هذه قائمة ببعض الأشخاص البارزين الذين يعملون أو عملوا في Cyc إما عندما كان مشروعًا في MCC (حيث تم بدء Cyc لأول مرة) أو Cycorp.

انظر أيضا

مراجع

  1. ^ abc Lenat, Douglas B.; Guha, RV (1989). Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project (الطبعة الأولى). بوسطن، ماساتشوستس، الولايات المتحدة الأمريكية: Addison-Wesley Longman Publishing Co., Inc. ISBN 978-0201517521.
  2. ^ لينات، دوغلاس . "إرث هال: كمبيوتر 2001 كحلم وواقع. من 2001 إلى 2001: الحس السليم وعقل هال" (PDF) . Cycorp, Inc. مؤرشف من الأصل (PDF) في 2019-12-09 . تم الاسترجاع في 2006-09-26 .
  3. ^ وود، لامونت (2002). "العالم في صندوق". مجلة ساينتفك أمريكان . 286 (1): 18-19. رمز Bibcode :2002SciAm.286a..18W. doi :10.1038/scientificamerican0102-18.
  4. ^ "لغة تمثيلية لغة". www.aaai.org . تم الاسترجاع في 2017-11-27 .
  5. ^ راسل، جراينر (أكتوبر 1980). RLL-1: لغة تمثيلية (تقرير). مؤرشف من الأصل في 8 فبراير 2015.
  6. ^ ab Lenat, Douglas B.; Guha, RV (June 1991). "The Evolution of CycL, the Cyc Representation Language". ACM SIGART Bulletin . 2 (3): 84–87. doi :10.1145/122296.122308. ISSN  0163-5719. S2CID  10306053.
  7. ^ "دمج Cyc وويكيبيديا: علم الشعوب يلتقي بالحس السليم المحدد بدقة" (PDF) . تم الاسترجاع في 10 مايو 2013 .
  8. ^ "محرك الاستدلال cyc". مؤرشف من الأصل في 2019-12-09 . تم الاسترجاع 2015-06-04 .
  9. ^ "مشروع تكساي مفتوح المصدر". مؤرشف من الأصل في 2009-02-16.
  10. ^ "ملفات مشروع Texai SourceForge".
  11. ^ هيلتزيك، مايكل أ. (2001-06-21). "ميلاد آلة تفكير". لوس أنجلوس تايمز . ISSN  0458-3035 . تم الاسترجاع في 2017-11-29 .
  12. ^ "دراسة حالة: مستودع محتوى الويب الدلالي للأبحاث السريرية". www.w3.org . تم الاسترجاع في 2018-02-28 .
  13. ^ لينات، دوغلاس؛ ويتبروك، مايكل؛ باكستر، ديفيد؛ بلاكستون، يوجين؛ ديتون، كريس؛ شنايدر، ديف؛ سكوت، جيري؛ شيبرد، بليك (2010-07-28). "تسخير دورة الحياة البيولوجية للإجابة على استفسارات الباحثين السريريين المخصصة". مجلة الذكاء الاصطناعي . 31 (3): 13. doi : 10.1609/aimag.v31i3.2299 . ISSN  0738-4602.
  14. ^ كريس ديتون؛ بليك شيبرد؛ تشارلز كلاين؛ كورين ماينز؛ بريت سامرز؛ أنطوان بروسو؛ مايكل ويتبروك؛ دوج لينات (2005). "قاعدة المعرفة الشاملة للإرهاب في سيك". وقائع المؤتمر الدولي لعام 2005 حول تحليل الاستخبارات . CiteSeerX 10.1.1.70.9247 . 
  15. ^ دوغلاس ب. لينات؛ كريس ديتون (أبريل 2008). قاعدة بيانات معارف الإرهاب (TKB) التقرير الفني النهائي (التقرير الفني). موقع أبحاث روما، روما، نيويورك : مديرية معلومات مختبر أبحاث القوات الجوية . AFRL-RI-RS-TR-2008-125.
  16. ^ لينات، دوغلاس ب.؛ دورلاش، باولا ج. (2014-09-01). "تعزيز المعرفة الرياضية من خلال غمر الطلاب في تجربة محاكاة التعلم عن طريق التدريس". المجلة الدولية للذكاء الاصطناعي في التعليم . 24 (3): 216-250. doi : 10.1007/s40593-014-0016-x . ISSN  1560-4292.
  17. ^ "Mathcraft by Cycorp". www.mathcraft.ai . تم الاسترجاع في 2017-11-29 .
  18. ^ بيرتينو، بييرو وزاريا 2001، ص. 275
  19. ^ هافاسي، كاثرين (9 أغسطس 2014). "من الذي يمارس التفكير السليم ولماذا هذا مهم". TechCrunch . تم الاسترجاع في 2017-11-29 .
  20. ^ دومينغوس، بيدرو (2015). الخوارزمية الرئيسية: كيف سيعيد البحث عن آلة التعلم النهائية تشكيل عالمنا . كتب أساسية. رقم ISBN 978-0465065707.
  21. ^ Knight, Will (14 مارس 2016). "الذكاء الاصطناعي الذي أمضى 30 عامًا في تعلم بعض الحس السليم أصبح جاهزًا للعمل". MIT Technology Review . تم الاسترجاع في 2017-11-29 .
  22. ^ دوغ لينات (15 مايو 2017). "أحيانًا لا يكون مظهر الذكاء كافيًا". CogWorld . تم الاسترجاع في 2017-11-29 .

قراءة إضافية

  • آلان بيلاسكو وآخرون (2004). "تمثيل فجوات المعرفة بشكل فعال". في: د. كاراجيانيس، يو. رايمر (المحرران): الجوانب العملية لإدارة المعرفة، وقائع مؤتمر إدارة المعرفة 2004، فيينا، النمسا، 2-3 ديسمبر 2004. دار نشر سبرينغر، برلين، هايدلبرغ.
  • بيرتينو، إليزا ؛ بييرو، جيان؛ زاريا، بي سي (2001). أنظمة قواعد البيانات الذكية . أديسون ويسلي بروفيشنال.
  • جون كابرال وآخرون (2005). "تحويل المعرفة الدلالية إلى تحيز استقرائي". في: وقائع المؤتمر الدولي الخامس عشر حول البرمجة المنطقية الاستقرائية . بون، ألمانيا، أغسطس 2005.
  • جون كيرتس وآخرون (2005). "حول الاستخدام الفعال لـ Cyc في نظام الإجابة على الأسئلة". في: أوراق من ورشة عمل IJCAI حول المعرفة والمنطق للإجابة على الأسئلة . إدنبرة، اسكتلندا: 2005.
  • كريس ديتون وآخرون (2005). "قاعدة المعرفة الشاملة حول الإرهاب في سيك". في: وقائع المؤتمر الدولي لتحليل الاستخبارات لعام 2005، ماكلين، فرجينيا، مايو/أيار 2005.
  • كينيث فوربس وآخرون (2005) "الجمع بين القياس والاسترجاع الذكي للمعلومات وتكامل المعرفة للتحليل: تقرير أولي". في: وقائع المؤتمر الدولي لتحليل الاستخبارات لعام 2005 ، ماكلين، فرجينيا، مايو 2005
  • دوغلاس فوكسفوج (2010)، "Cyc". في: نظرية وتطبيقات علم الوجود: تطبيقات الكمبيوتر المؤرشفة 2018-11-12 على موقع واي باك مشين ، سبرينغر .
  • فريتز ليمان ود. فوكسفوج (1998)، "وضع اللحم على العظام: القضايا التي تنشأ في إنشاء قواعد المعرفة التشريحية ذات الهياكل العلائقية الغنية". في: تبادل المعرفة عبر الأنظمة القائمة على المعرفة البيولوجية والطبية ، AAAI .
  • دوغلاس لينات و آر في جوها (1990). بناء أنظمة كبيرة قائمة على المعرفة: التمثيل والاستدلال في مشروع سيك . أديسون ويسلي. ISBN 0-201-51752-3 . 
  • جيمس ماسترز (2002). "دمج مصادر المعرفة المنظمة وتطبيقاتها على دمج المعلومات". في: وقائع المؤتمر الدولي الخامس حول دمج المعلومات . أنابوليس، ماريلاند، يوليو 2002.
  • جيمس ماسترز و ز. جونجوردو (2003). "تكامل مصادر المعرفة المنظمة: تقرير تقدمي" في: تكامل أنظمة متعددة الوكلاء كثيفة المعرفة . كامبريدج، ماساتشوستس، الولايات المتحدة الأمريكية، 2003.
  • سينثيا ماتوزيك وآخرون (2006). "مقدمة إلى بناء الجملة ومحتوى Cyc." في: وقائع ندوة الربيع لعام 2006 للجمعية الأمريكية للذكاء الاصطناعي حول صياغة وتجميع المعرفة الأساسية وتطبيقاتها على تمثيل المعرفة والإجابة على الأسئلة . ستانفورد، 2006
  • سينثيا ماتوزيك وآخرون (2005) "البحث عن الفطرة السليمة: ملء Cyc من الويب". في: وقائع المؤتمر الوطني العشرين للذكاء الاصطناعي . بيتسبرغ، بنسلفانيا، يوليو 2005.
  • توم أوهارا وآخرون (2003). "استنباط معايير لتعيين معجم الأسماء الجماعية باستخدام قاعدة المعرفة Cyc وتوسيعها إلى WordNet". في: وقائع ورشة العمل الدولية الخامسة حول الدلالات الحاسوبية . تيلبورج، 2003.
  • فابريزيو موربيني ولينهارت شوبيرت (2009). "تقييم EPILOG: مُبرر للمنطق العرضي". جامعة روتشستر، مؤتمر Commonsense '09 (يصف مكتبة Cyc التي تضم حوالي 1600 "اختبار من اختبارات Commonsense")
  • كاثي بانتون وآخرون (2002). "تكوين المعرفة والحوار باستخدام مجموعة أدوات KRAKEN". في: المؤتمر الوطني الثامن عشر للذكاء الاصطناعي . إدمونتون، كندا، 2002.
  • ديباك راماشاندران ب. ريجان وك. جولسبي (2005). "دورة البحث المرتبة أولاً: التعبيرية والكفاءة في علم الوجود القائم على الحس السليم" محفوظ في 24 مارس 2014 على موقع واي باك مشين . في: أوراق من ورشة عمل AAAI حول السياقات وعلم الوجود: النظرية والممارسة والتطبيقات . بيتسبرغ، بنسلفانيا، يوليو 2005.
  • ستيفن ريد ود. لينات (2002). "ربط الأنطولوجيات بالشبكة الدلالية". في: ورشة عمل مؤتمر AAAI 2002 حول الأنطولوجيات للشبكة الدلالية . إدمونتون، كندا، يوليو 2002.
  • بنيامين رود وآخرون (2005). "نحو نموذج لاستعادة النمط في البيانات العلائقية". في: وقائع المؤتمر الدولي لعام 2005 حول تحليل الاستخبارات . ماكلين، فيرجينيا، مايو 2005.
  • ديف شنايدر وآخرون (2005). "جمع الحقائق وإدارتها لتحليل الاستخبارات". في: وقائع المؤتمر الدولي لتحليل الاستخبارات لعام 2005. ماكلين، فرجينيا، مايو/أيار 2005.
  • شنايدر، د.، وويتبروك، إم جيه (مايو 2015). "قواعد البناء الدلالي: سد الفجوة بين لغة البرمجة الطبيعية والمنطق" في وقائع المؤتمر الدولي الرابع والعشرين حول شبكة الويب العالمية (ص 673-678).
  • بليك شيبرد وآخرون (2005). "نهج قائم على المعرفة لأمن الشبكات: تطبيق Cyc في مجال تقييم مخاطر الشبكات". في: وقائع المؤتمر السابع عشر للتطبيقات المبتكرة للذكاء الاصطناعي . بيتسبرغ، بنسلفانيا، يوليو 2005.
  • نيك سيجل وآخرون (2004). "Agent Architectures: Combining the Strengths of Software Engineering and Cognitive Systems". في: أوراق من ورشة عمل AAAI حول Intelligent Agent Architectures: Combining the Strengths of Software Engineering and Cognitive Systems . التقرير الفني WS-04-07، ص 74-79. مينلو بارك، كاليفورنيا: مطبعة AAAI، 2004.
  • نيك سيجل وآخرون (2005). توليد الفرضيات وتجميع الأدلة لتحليل الاستخبارات: تطبيق Nooscape من شركة Cycorp". في وقائع المؤتمر الدولي لعام 2005 حول تحليل الاستخبارات، ماكلين، فيرجينيا، مايو/أيار 2005.
  • مايكل ويتبروك وآخرون (2002). "نظام حوار تفاعلي لاكتساب المعرفة في مجال الذكاء الاصطناعي". في: وقائع المؤتمر الدولي المشترك الثامن عشر حول الذكاء الاصطناعي . أكابولكو، المكسيك، 2003.
  • مايكل ويتبروك وآخرون (2004). "التعليق الآلي على OWL بمساعدة قاعدة معرفية كبيرة". في: ملاحظات ورشة العمل لورشة العمل لعام 2004 حول ترميز المعرفة والتعليق الدلالي في المؤتمر الدولي الثالث للويب الدلالي ISWC2004 . هيروشيما، اليابان، نوفمبر 2004، ص 71-80.
  • مايكل ويتبروك وآخرون (2005). "المعرفة تولد المعرفة: خطوات نحو اكتساب المعرفة بمساعدة الغير في مجال الرعاية الصحية". في: أوراق من ندوة الربيع لجمع المعرفة من المساهمين المتطوعين (KCVC) لعام 2005. ص 99-105. ستانفورد، كاليفورنيا، مارس 2005.
  • ويليام جارولد (2001). "التحقق من صحة الاستخبارات في الأنظمة الكبيرة القائمة على القواعد باستخدام الحس السليم". "التحقق من صحة الاستخبارات المستند إلى النماذج: أوراق من ندوة AAAI لعام 2001" (التقرير الفني AAAI SS-01-04).
  • ويليام جارولد. (2003). استخدام علم الوجود لتقييم علم الوجود الكبير القائم على القواعد: النظرية والتطبيق. {\em مقاييس الأداء للأنظمة الذكية PerMIS '03} (الإصدار الخاص للمعهد الوطني للمعايير والتكنولوجيا رقم 1014).
  • موقع شركة سايكورب
Retrieved from "https://en.wikipedia.org/w/index.php?title=Cyc&oldid=1250307789"
Original text
Rate this translation
Your feedback will be used to help improve Google Translate