دورة

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

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

تاريخ

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

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

توسّع نطاق أنطولوجيا Cyc ليضمّ حوالي 100,000 مصطلح في عام 1994، ووصل إلى حوالي 1,500,000 مصطلح بحلول عام 2017. وقد أُنشئت قاعدة معارف Cyc التي تتضمن المصطلحات الأنطولوجية بشكل كبير عن طريق كتابة البديهيات يدويًا؛ حيث بلغ عدد مصطلحاتها حوالي مليون مصطلح في عام 1994، ووصل إلى حوالي 24.5 مليون مصطلح بحلول عام 2017.

بحلول عام 2002، وُصفت Cyc بأنها "استهلكت 60 مليون دولار و600 سنة عمل من المبرمجين والفلاسفة وغيرهم - المعروفين مجتمعين باسم Cyclists - الذين كانوا يقومون بتقنين ما يسميه لينات "الواقع المتفق عليه" وإدخاله في قاعدة بيانات ضخمة." [ 7 ]

في عام 2008، تم ربط موارد Cyc بالعديد من مقالات ويكيبيديا . [ 8 ]

في عام 2014، قال لينات: "لقد حافظنا على مستوى منخفض للغاية من الظهور، وكان ذلك في الغالب عن قصد"، بدون استثمارات خارجية ولا ديون. [ 9 ]

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

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

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

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

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

محرك الاستدلال هو برنامج حاسوبي يحاول استخلاص الإجابات من قاعدة معرفية. يقوم محرك الاستدلال Cyc بالاستنتاج المنطقي العام . [ 10 ] كما يقوم بالاستدلال الاستقرائي ، والتعلم الآلي الإحصائي ، والتعلم الآلي الرمزي ، والاستدلال الاستنباطي . [ 11 ] [ 12 ]

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

الإصدارات

أوبن سايكل

صدرت النسخة الأولى من OpenCyc في ربيع عام 2002، وكانت تحتوي على 6000 مفهوم و60000 معلومة فقط. نُشرت قاعدة المعرفة بموجب ترخيص أباتشي . وأعلنت شركة Cycorp عن نيتها نشر OpenCyc بتراخيص موازية غير مقيدة لتلبية احتياجات مستخدميها. أُتيح برنامج CycL وSubL (الذي يسمح للمستخدمين بتصفح قاعدة البيانات وتعديلها واستخلاص النتائج) مجانًا، ولكن كملف تنفيذي فقط، دون شفرة مصدرية . وكان متاحًا لأنظمة Linux و Microsoft Windows . أصدر مشروع Texai مفتوح المصدر [ 13 ] المحتوى المتوافق مع RDF والمستخرج من OpenCyc. [ 14 ] وكانت واجهة المستخدم مكتوبة بلغة Java 6.

كانت شركة Cycorp مشاركة في مجموعة عمل الويب الدلالي، مجموعة عمل الأنطولوجيا العليا القياسية ، والتي كانت نشطة من عام 2001 إلى عام 2003. [ 15 ]

كان إصدار الويب الدلالي من OpenCyc متاحًا بدءًا من عام 2008، ولكنه انتهى في وقت ما بعد عام 2016. [ 16 ]

تم إصدار OpenCyc 4.0 في يونيو 2012. [ 17 ] احتوى OpenCyc 4.0 على 239000 مفهوم و2093000 حقيقة؛ ومع ذلك، فإن هذه في الغالب تأكيدات تصنيفية .

كان الإصدار 4.0 هو آخر إصدار تم إصداره، وفي حوالي مارس 2017، تم إيقاف OpenCyc للسبب المزعوم وهو أن "هذا "التجزئة" أدى إلى تباين، وأدى إلى ارتباك بين مستخدميه، واعتقد المجتمع التقني عمومًا أن تجزئة OpenCyc هي Cyc". [ 18 ]

ResearchCyc

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

التطبيقات

في عام ٢٠٠١، موّلت شركة جلاكسو سميث كلاين برنامج Cyc، وإن كان ذلك لتطبيقات غير معروفة. [ ١٩ ] في عام ٢٠٠٧، استخدمت عيادة كليفلاند برنامج Cyc لتطوير واجهة استعلام باللغة الطبيعية لمعلومات طبية حيوية حول جراحات القلب والصدر . [ ٢٠ ] يُحلل الاستعلام إلى مجموعة من أجزاء CycL مع متغيرات مفتوحة. [ ٢١ ] كانت قاعدة معارف الإرهاب تطبيقًا لبرنامج Cyc سعى إلى احتواء معارف حول أوصاف متعلقة بـ "الإرهاب". تُخزن هذه المعارف على شكل عبارات في منطق رياضي. استمر المشروع من عام ٢٠٠٤ إلى عام ٢٠٠٨. [ ٢٢ ] [ ٢٣ ] استخدمت شركة Lycos برنامج Cyc لإزالة الغموض عن مصطلحات البحث، لكنها توقفت عن استخدامه في عام ٢٠٠١. [ ٢٤ ] أُنتج برنامج CycSecure في عام ٢٠٠٢، [ ٢٥ ] وهو أداة لتقييم ثغرات الشبكة تعتمد على برنامج Cyc، وقد أُجريت تجارب عليه في فريق الاستجابة للطوارئ الحاسوبية التابع للقيادة الاستراتيجية الأمريكية (STRATCOM) . [ 26 ]

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

الانتقادات

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

قال غاري ماركوس ، عالم الإدراك والمؤسس المشارك لشركة الذكاء الاصطناعي "جيومتريك إنتليجنس"، في عام 2016: "إنها تمثل نهجًا مختلفًا تمامًا عن كل ما يتعلق بالتعلم العميق الذي انتشر في الأخبار". [ 32 ] ويتفق هذا مع رأي دوغ لينات القائل بأن " مظهر الذكاء وحده لا يكفي أحيانًا". [ 33 ]

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

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

انظر أيضاً

مراجع

  1. 1 2 3 لينات، دوغلاس ب.؛ غوها، آر في (1989). بناء أنظمة معرفية كبيرة؛ التمثيل والاستدلال في مشروع سايك (  الطبعة الأولى). بوسطن، ماساتشوستس، الولايات المتحدة الأمريكية: شركة أديسون-ويسلي لونغمان للنشر. ISBN 978-0201517521.
  2. لينات، دوغلاس . "إرث هال: حاسوب 2001 كحلم وواقع. من 2001 إلى 2001: الحس السليم وعقل هال" (ملف PDF) . شركة سايكورب. مؤرشف (ملف PDF) من الأصل بتاريخ 9 ديسمبر 2019. تم الاطلاع عليه بتاريخ 26 سبتمبر 2006 .
  3. وود، لامونت (2002). "العالم في صندوق". مجلة ساينتفك أمريكان . 286 (1): 18-19 . Bibcode : 2002SciAm.286a..18W . doi : 10.1038/scientificamerican0102-18 .
  4. "لغة تمثيلية" . www.aaai.org . تم الاطلاع عليه بتاريخ 27-11-2017 .
  5. راسل، غرينر (أكتوبر 1980). RLL-1: لغة تمثيلية (تقرير). مؤرشف من الأصل في 8 فبراير 2015.
  6. 1 2 لينات، دوغلاس ب.؛ غوها، ر. ف. (يونيو 1991). "تطور لغة تمثيل CycL". نشرة ACM SIGART . 2 (3): 84-87 . doi : 10.1145/122296.122308 . ISSN 0163-5719 . S2CID 10306053 .  
  7. ليزلي، ميتشل (1 مارس 2002). "استيقظي أيتها الآلة الغبية" . stanfordmag.org . تم الاطلاع عليه بتاريخ 24 سبتمبر 2025 .
  8. "دمج Cyc وويكيبيديا: التصنيف الشعبي يلتقي بالفطرة السليمة المحددة بدقة" (ملف PDF) . تم الاطلاع عليه بتاريخ 10-05-2013 .
  9. لوف، ديلان (2 يوليو 2014). "أكثر مشاريع الذكاء الاصطناعي طموحًا في العالم يعمل في سرية تامة منذ 30 عامًا" . بزنس إنسايدر . تاريخ الاسترجاع: 15 أبريل 2026 .
  10. "محرك استدلال cyc" . مؤرشف من الأصل بتاريخ 2019-12-09 . تم الاطلاع عليه بتاريخ 2015-06-04 .
  11. "المنصة - الدورة" . 12-04-2021 . تم الاسترجاع في 25-04-2026 .
  12. لينات، ماركوس، دوغ، غاري (31 يوليو 2023). "الانتقال من الذكاء الاصطناعي التوليدي إلى الذكاء الاصطناعي الجدير بالثقة: ما يمكن أن تتعلمه نماذج التعلم المعزز من Cyc" .{{cite web}}: صيانة CS1: أسماء متعددة: قائمة المؤلفين ( رابط )
  13. "مشروع Texai مفتوح المصدر" . مؤرشف من الأصل بتاريخ 16-02-2009.
  14. "ملفات مشروع Texai SourceForge" .
  15. "مجموعة عمل علم الوجود العلوي القياسي (SUO WG) - الصفحة الرئيسية" . 15 يناير 2013. مؤرشف من الأصل في 15 يناير 2013. تم الاطلاع عليه بتاريخ 16 ديسمبر 2024 .
  16. "OpenCyc للويب الدلالي" . مؤرشف من الأصل في 21 أغسطس 2008. تم الاطلاع عليه بتاريخ 16 ديسمبر 2024 .
  17. "OpenCyc.org" . 23-06-2012. مؤرشف من الأصل في 23 يونيو 2012. تم الاطلاع عليه بتاريخ 16-12-2024 .
  18. "OpenCyc" . مؤرشف من الأصل بتاريخ 22 أبريل 2017. تم الاطلاع عليه بتاريخ 16 ديسمبر 2024 .
  19. هيلتزيك، مايكل أ. (21 يونيو 2001). "ميلاد آلة مفكرة" . لوس أنجلوس تايمز . الرقم الدولي الموحد للدوريات 0458-3035 . مؤرشف من الأصل في 13 ديسمبر 2019. تم الاطلاع عليه في 29 نوفمبر 2017 . 
  20. "دراسة حالة: مستودع محتوى الويب الدلالي للبحوث السريرية" . www.w3.org . تاريخ الاسترجاع: 28 فبراير 2018 .
  21. لينات، دوغلاس؛ ويتبروك، مايكل؛ باكستر، ديفيد؛ بلاكستون، يوجين؛ ديتون، كريس؛ شنايدر، ديف؛ سكوت، جيري؛ شيبارد، بليك (28 يوليو 2010). "تسخير Cyc للإجابة على استفسارات الباحثين السريريين المخصصة" . مجلة الذكاء الاصطناعي . 31 (3): 13. doi : 10.1609/aimag.v31i3.2299 . ISSN 0738-4602 . 
  22. كريس ديتون؛ بليك شيبارد؛ تشارلز كلاين؛ كورين مايانز؛ بريت سامرز؛ أنطوان بروسو؛ مايكل ويتبروك؛ دوغ لينات (2005). " قاعدة المعرفة الشاملة للإرهاب في Cyc" . وقائع المؤتمر الدولي لتحليل الاستخبارات لعام 2005. CiteSeerX 10.1.1.70.9247 . 
  23. دوغلاس ب. لينات؛ كريس ديتون (أبريل 2008). التقرير الفني النهائي لقاعدة معارف الإرهاب (تقرير فني). موقع روما للأبحاث، روما، نيويورك : مديرية المعلومات التابعة لمختبر أبحاث القوات الجوية . AFRL-RI-RS-TR-2008-125.
  24. "هل سينقذ الحاسوب العالم؟" 5 سبتمبر 2015. مؤرشف من الأصل في 5 سبتمبر 2015. تم الاطلاع عليه بتاريخ 15 ديسمبر 2024 .
  25. "Cyc قيد الاستخدام" . Computerworld . 8 أبريل 2002. تم الاسترجاع في 15 ديسمبر 2024 .
  26. شيبارد، بليك؛ ماتوسزيك، سينثيا؛ فريزر، سي. بروس؛ ويشتنهايزر، ويليام؛ كرابي، ديفيد؛ غونغوردو، زلال؛ جانتوس، جون؛ هيوز، تود؛ ليفكوفيتز، لاري؛ ويتبروك، مايكل؛ لينات، دوغ؛ لارسون، إريك (9 يوليو/تموز 2005). "نهج قائم على المعرفة لأمن الشبكات: تطبيق Cyc في مجال تقييم مخاطر الشبكات" . وقائع المؤتمر السابع عشر حول التطبيقات المبتكرة للذكاء الاصطناعي - المجلد 3. IAAI'05. بيتسبرغ، بنسلفانيا: مطبعة AAAI: 1563-1568 . ISBN 978-1-57735-236-5.
  27. لينات، دوغلاس ب.؛ دورلاش، باولا ج. (2014-09-01). "تعزيز المعرفة الرياضية من خلال إشراك الطلاب في تجربة تعليمية محاكاة" . المجلة الدولية للذكاء الاصطناعي في التعليم . 24 (3): 216-250 . doi : 10.1007/s40593-014-0016-x . ISSN 1560-4292 . 
  28. "Mathcraft by Cycorp" . www.mathcraft.ai . تم الاطلاع عليه بتاريخ 29-11-2017 .
  29. ^ بيرتينو، بييرو وزاريا 2001 ، ص. 275 
  30. هافاسي، كاثرين (9 أغسطس 2014). "من يستخدم التفكير المنطقي ولماذا هو مهم؟" . تيك كرانش . تم الاطلاع عليه بتاريخ 29 نوفمبر 2017 .
  31. دومينغوس، بيدرو (2015). الخوارزمية الرئيسية: كيف سيعيد البحث عن آلة التعلم المثالية تشكيل عالمنا . دار بيسيك بوكس. رقم ISBN 978-0465065707.
  32. نايت، ويل (14 مارس 2016). "ذكاء اصطناعي أمضى 30 عامًا في تعلم بعض الحس السليم جاهز للعمل" . مجلة إم آي تي ​​للتكنولوجيا . تاريخ الاسترجاع: 29 نوفمبر 2017 .
  33. دوغ لينات (15 مايو 2017). "أحيانًا لا يكفي مظهر الذكاء الخارجي" . كوج وورلد . تم الاطلاع عليه بتاريخ 29 نوفمبر 2017 .

للمزيد من القراءة

  • آلان بيلاسكو وآخرون (2004). "تمثيل فجوات المعرفة بفعالية" . في: د. كاراغيانيس، يو. رايمر (محرران): الجوانب العملية لإدارة المعرفة، وقائع مؤتمر PAKM 2004، فيينا، النمسا، 2-3 ديسمبر 2004. سبرينغر-فيرلاغ، برلين هايدلبرغ.
  • بيرتينو، إليسا ؛ بييرو، جيان؛ زاريا، بي سي (2001). أنظمة قواعد البيانات الذكية . أديسون-ويسلي بروفيشنال.
  • جون كابرال وآخرون (2005). "تحويل المعرفة الفوقية الدلالية إلى تحيز استقرائي" . في: وقائع المؤتمر الدولي الخامس عشر حول البرمجة المنطقية الاستقرائية . بون، ألمانيا، أغسطس 2005.
  • جون كورتيس وآخرون (2005). "حول الاستخدام الفعال لـ Cyc في نظام الإجابة على الأسئلة" . في: أوراق من ورشة عمل IJCAI حول المعرفة والاستدلال للإجابة على الأسئلة . إدنبرة، اسكتلندا: 2005.
  • كريس ديتون وآخرون (2005). "قاعدة المعرفة الشاملة للإرهاب في Cyc" . في: وقائع المؤتمر الدولي لتحليل الاستخبارات لعام 2005، ماكلين، فيرجينيا، مايو 2005.
  • كينيث فوربوس وآخرون (2005). "دمج القياس، واسترجاع المعلومات الذكي، وتكامل المعرفة للتحليل: تقرير أولي" . في: وقائع المؤتمر الدولي لتحليل الاستخبارات لعام 2005 ، ماكلين، فيرجينيا، مايو 2005.
  • دوغلاس فوكسفوغ (2010)، "سايك". في: نظرية وتطبيقات الأنطولوجيا: تطبيقات الحاسوب. مؤرشف في 12-11-2018 على موقع Wayback Machine ، سبرينغر .
  • فريتز ليمان ود. فوكسفوغ (1998)، " إضفاء الحيوية على العظام: القضايا التي تنشأ في إنشاء قواعد المعرفة التشريحية ذات الهياكل العلائقية الغنية ". في: مشاركة المعرفة عبر أنظمة المعرفة البيولوجية والطبية ، AAAI .
  • دوغلاس لينات و آر في غوها (1990). بناء أنظمة معرفية واسعة النطاق: التمثيل والاستدلال في مشروع سايك . أديسون-ويسلي. ISBN 0-201-51752-3.
  • دوغلاس لينات وغاري ماركوس ، " الانتقال من الذكاء الاصطناعي التوليدي إلى الذكاء الاصطناعي الجدير بالثقة: ما يمكن أن تتعلمه نماذج التعلم المعزز من Cyc "، 31 يوليو 2023
  • جيمس ماسترز (2002). "تكامل مصادر المعرفة المهيكلة وتطبيقاتها في دمج المعلومات" . في: وقائع المؤتمر الدولي الخامس حول دمج المعلومات . أنابوليس، ماريلاند، يوليو 2002.
  • جيمس ماسترز وز. غونغوردو (2003). "تكامل مصادر المعرفة المنظمة: تقرير مرحلي" في: تكامل أنظمة الوكلاء المتعددين كثيفة المعرفة . كامبريدج، ماساتشوستس، الولايات المتحدة الأمريكية، 2003.
  • سينثيا ماتوسزيك وآخرون (2006). "مقدمة في بناء جملة ومحتوى لغة Cyc" . في: وقائع ندوة AAAI الربيعية لعام 2006 حول صياغة وتجميع المعرفة الأساسية وتطبيقاتها في تمثيل المعرفة والإجابة على الأسئلة . ستانفورد، 2006
  • سينثيا ماتوزيك وآخرون (2005). "البحث عن الحس السليم: ملء قاعدة بيانات Cyc من الويب" . في: وقائع المؤتمر الوطني العشرين حول الذكاء الاصطناعي . بيتسبرغ، بنسلفانيا، يوليو 2005.
  • توم أوهارا وآخرون (2003). "استنباط معايير لربط الأسماء غير المعجمية باستخدام قاعدة معارف Cyc وامتدادها إلى WordNet" . في: وقائع ورشة العمل الدولية الخامسة حول الدلالات الحاسوبية . تيلبورغ، 2003.
  • فابريزيو موربيني ولينهارت شوبرت (2009). "تقييم برنامج EPILOG: برنامج استدلال للمنطق العرضي" . جامعة روتشستر، مؤتمر Commonsense '09 (يصف مكتبة Cyc التي تضم حوالي 1600 "اختبارًا منطقيًا").
  • كاثي بانتون وآخرون (2002). "تكوين المعرفة والحوار باستخدام مجموعة أدوات KRAKEN" . في: المؤتمر الوطني الثامن عشر حول الذكاء الاصطناعي . إدمونتون، كندا، 2002.
  • ديباك راماتشاندران، بي. ريغان، وك. غولزبي (2005). "دورة البحث من الدرجة الأولى: التعبيرية والكفاءة في أنطولوجيا الحس السليم". مؤرشف بتاريخ 24 مارس 2014 على موقع Wayback Machine . ضمن: أوراق من ورشة عمل AAAI حول السياقات والأنطولوجيات: النظرية والممارسة والتطبيقات . بيتسبرغ، بنسلفانيا، يوليو 2005.
  • ستيفن ريد ود. لينات (2002). "رسم خرائط الأنطولوجيات في Cyc" . في: ورشة عمل مؤتمر AAAI 2002 حول الأنطولوجيات للويب الدلالي . إدمونتون، كندا، يوليو 2002.
  • بنيامين رود وآخرون (2005). "نحو نموذج لاستعادة الأنماط في البيانات العلائقية" . في: وقائع المؤتمر الدولي لتحليل المعلومات الاستخباراتية لعام 2005. ماكلين، فيرجينيا، مايو 2005.
  • ديف شنايدر وآخرون (2005). "جمع وإدارة الحقائق لتحليل المعلومات الاستخباراتية" . في: وقائع المؤتمر الدولي لتحليل المعلومات الاستخباراتية لعام 2005. ماكلين، فيرجينيا، مايو 2005.
  • شنايدر، د.، وويتبروك، م.ج. (مايو 2015). "قواعد البناء الدلالي: سد الفجوة بين اللغة الطبيعية والمنطق" في وقائع المؤتمر الدولي الرابع والعشرين حول شبكة الويب العالمية (ص  673-678).
  • بليك شيبارد وآخرون (2005). "نهج قائم على المعرفة لأمن الشبكات: تطبيق Cyc في مجال تقييم مخاطر الشبكات" . في: وقائع المؤتمر السابع عشر للتطبيقات المبتكرة للذكاء الاصطناعي . بيتسبرغ، بنسلفانيا، يوليو 2005.
  • نيك سيجل وآخرون (2004). "بنى الوكلاء: الجمع بين نقاط قوة هندسة البرمجيات والأنظمة المعرفية" . في: أوراق من ورشة عمل AAAI حول بنى الوكلاء الأذكياء: الجمع بين نقاط قوة هندسة البرمجيات والأنظمة المعرفية . التقرير الفني WS-04-07، الصفحات  74-79. مينلو بارك، كاليفورنيا: مطبعة AAAI، 2004.
  • نيك سيجل وآخرون (2005). توليد الفرضيات وتجميع الأدلة لتحليل المعلومات الاستخباراتية: تطبيق نوسكيب من شركة سايكورب . في وقائع المؤتمر الدولي لتحليل المعلومات الاستخباراتية لعام 2005، ماكلين، فيرجينيا، مايو 2005.
  • مايكل ويتبروك وآخرون (2002). "نظام حوار تفاعلي لاكتساب المعرفة في لغة البرمجة Cyc" . في: وقائع المؤتمر الدولي المشترك الثامن عشر حول الذكاء الاصطناعي . أكابولكو، المكسيك، 2003.
  • مايكل ويتبروك وآخرون (2004). "التعليق التلقائي على لغة OWL بمساعدة قاعدة معرفية ضخمة" . في: وقائع ورشة عمل 2004 حول ترميز المعرفة والتعليق الدلالي في المؤتمر الدولي الثالث للويب الدلالي ISWC2004 . هيروشيما، اليابان، نوفمبر 2004، الصفحات  71-80.
  • مايكل ويتبروك وآخرون (2005). "المعرفة تولد المعرفة: خطوات نحو اكتساب المعرفة بمساعدة الحاسوب في مجال الحوسبة السحابية" . في: أوراق من ندوة الربيع لعام 2005 التابعة للجمعية الأمريكية للذكاء الاصطناعي حول جمع المعرفة من المساهمين المتطوعين (KCVC) . الصفحات  99-105. ستانفورد، كاليفورنيا، مارس 2005.
  • ويليام جارولد (2001). "التحقق من صحة الذكاء في الأنظمة الكبيرة القائمة على القواعد باستخدام الحس السليم" . "التحقق من صحة الذكاء القائم على النموذج: أوراق من ندوة AAAI لعام 2001" (التقرير الفني AAAI SS-01-04).
  • ويليام جارولد. (2003). استخدام الأنطولوجيا لتقييم أنطولوجيا كبيرة قائمة على القواعد: النظرية والتطبيق . {\em مقاييس الأداء للأنظمة الذكية PerMIS '03} (منشور خاص رقم 1014 من المعهد الوطني للمعايير والتكنولوجيا).