ไซค
(ตามเข็มนาฬิกา)โลโก้สำหรับฐานความรู้ เครื่องมืออนุมาน ผลลัพธ์ที่นำไปปฏิบัติได้ และการเลือกข้อมูลอัจฉริยะของ Cyc
ผู้เขียนต้นฉบับ	ดักลาส เลนัต
นักพัฒนา	บริษัทไซคอร์ป อิงค์
ปล่อย	1984 ( 1984 )
เวอร์ชันเสถียร	6.1 / 27 พฤศจิกายน 2560 ( 27 พฤศจิกายน 2017 )
เขียนเป็น	ลิสป์ , ไซเคิล , ซับเคิล
พิมพ์	ภาษาสำหรับการแสดงความรู้ และ กลไกการอนุมาน
เว็บไซต์	www.cyc.com​​

Cyc (ออกเสียงว่า/ ˈsaɪk / SYKE ) เป็น โครงการปัญญาประดิษฐ์ (AI) ระยะยาว ที่มีเป้าหมายในการรวบรวมออ นโทโลยีและฐานความรู้ที่ครอบคลุมแนวคิดพื้นฐานและกฎเกณฑ์เกี่ยวกับวิธีการทำงานของโลก โดยหวังที่จะรวบรวมความรู้สามัญสำนึก Cyc จึงมุ่งเน้นไปที่ความรู้โดย นัย โครงการนี้เริ่มต้นในเดือนกรกฎาคม พ.ศ. 2527 ที่MCCและได้รับการพัฒนาต่อโดยบริษัท Cycorp ในภายหลัง

ชื่อ "Cyc" (จาก "encyclopedia") เป็นเครื่องหมายการค้าจดทะเบียนที่เป็นกรรมสิทธิ์ของ Cycorp CycLมีข้อกำหนดที่เผยแพร่สู่สาธารณะ และโมดูล HL (Heuristic Level) หลายสิบโมดูลได้รับการอธิบายไว้ในตำราเรียนของ Lenat และ Guha ^{[ 1 ]}แต่รหัสเอ็นจิ้นการอนุมานของ Cyc และรายการโมดูล HL ทั้งหมดเป็นกรรมสิทธิ์ของ Cycorp ^{[ 2 ]}

โครงการนี้เริ่มต้นในเดือนกรกฎาคม พ.ศ. 2527 โดยDouglas Lenatที่Microelectronics and Computer Technology Corporation (MCC) ซึ่งเป็นกลุ่มวิจัยที่ก่อตั้งโดยบริษัทในสหรัฐอเมริกา 2 แห่ง "เพื่อต่อต้านความพยายามของญี่ปุ่นที่น่าหวาดหวั่นในขณะนั้นในด้าน AI ซึ่งเรียกว่าโครงการ ' รุ่นที่ 5 '" ^{[ 3 ]} ตั้งแต่เดือนมกราคม พ.ศ. 2538 เป็นต้นมา โครงการนี้ได้รับการพัฒนาอย่างต่อเนื่องโดย Cycorp ซึ่ง Douglas Lenat เป็นCEO

ภาษา ตัวแทน CycLเริ่มต้นจากการขยาย RLL ^{[ 4 ] [ 5 ]} (ภาษาตัวแทน ซึ่งพัฒนาขึ้นในปี 1979–1980 โดย Lenat และRussell Greiner นักศึกษาปริญญาโทของเขา ที่มหาวิทยาลัยสแตนฟอร์ด ) ในปี 1989 ^{[ 6 ]} CycL ได้ขยายขีดความสามารถในการแสดงออกไปสู่ตรรกะลำดับสูง (HOL)

ระบบความรู้ของ Cyc เติบโตขึ้นจนมีคำศัพท์ประมาณ 100,000 คำในปี 1994 และในปี 2017 มีคำศัพท์ประมาณ 1,500,000 คำ ฐานความรู้ของ Cyc ที่เกี่ยวข้องกับคำศัพท์ทางออนโทโลยีส่วนใหญ่สร้างขึ้นโดยการเขียนสัจพจน์ด้วยมือ โดยมีจำนวนประมาณ 1 ล้านคำในปี 1994 และในปี 2017 มีจำนวนประมาณ 24.5 ล้านคำ

ภายในปี 2545 มีการอธิบายว่า Cyc ได้ "ใช้เงินไป 60 ล้านดอลลาร์และใช้เวลาทำงาน 600 ปีจากโปรแกรมเมอร์ นักปรัชญา และคนอื่นๆ ซึ่งรวมเรียกว่า Cyclists ซึ่งได้กำหนดรหัสสิ่งที่ Lenat เรียกว่า 'ความเป็นจริงที่เป็นฉันทามติ' และป้อนลงในฐานข้อมูลขนาดใหญ่" ^{[ 7 ]}

ในปี พ.ศ. 2551 ทรัพยากร Cyc ได้ถูกแมปไปยังบทความWikipedia จำนวนมาก ^{[ 8 ]}

ในปี 2014 Lenat กล่าวว่า "เราได้รักษาภาพลักษณ์ที่เงียบเชียบมาก ซึ่งส่วนใหญ่เป็นไปโดยตั้งใจ" โดยไม่มีการลงทุนจากภายนอกและไม่มีหนี้สิน^{[ 9 ]}

ฐานความรู้ถูกแบ่งออกเป็นทฤษฎีย่อย ซึ่งแตกต่างจากฐานความรู้โดยรวม ทฤษฎีย่อยแต่ละทฤษฎีจะต้องปราศจากความขัดแย้งแบบโมโนโทนิก ทฤษฎีย่อยแต่ละทฤษฎีเป็นวัตถุชั้นหนึ่งในออนโทโลยี Cyc โดยมีชื่อที่เป็นค่าคงที่ปกติ ชื่อแนวคิดใน Cyc คือคำศัพท์หรือค่าคงที่ของ CycL ^{[ 6 ]}ค่าคงที่เริ่มต้นด้วยตัวเลือก#$และคำนึงถึงตัวพิมพ์ใหญ่-เล็ก มีค่าคงที่สำหรับ:

• สิ่งของแต่ละชิ้นที่เรียกว่า " สิ่งของแต่ละ ชิ้น " เช่น#$BillClintonหรือ#$France
• คอลเลกชันเช่น#$Tree-ThePlant(ประกอบด้วยต้นไม้ทั้งหมด) หรือ (ประกอบด้วย ความสัมพันธ์สมมูล#$EquivalenceRelationทั้งหมด) สมาชิกของคอลเลกชันเรียกว่าอินสแตนซ์ของคอลเลกชันนั้น^{[ 1 ]}
• ฟังก์ชันคือฟังก์ชันที่สร้างคำศัพท์ใหม่จากคำศัพท์ที่กำหนดให้ ตัวอย่างเช่น#$FruitFnฟังก์ชัน `get_terms_name` เมื่อได้รับอาร์กิวเมนต์ที่อธิบายประเภท (หรือกลุ่ม) ของพืช ฟังก์ชันจะส่งคืนกลุ่มของผลไม้ของพืชชนิดนั้น ตามธรรมเนียมแล้ว ค่าคงที่ของฟังก์ชันจะเริ่มต้นด้วยตัวอักษรพิมพ์ใหญ่และลงท้ายด้วยสตริง ` Fn.`
• ฟังก์ชันความจริงคือฟังก์ชันที่สามารถนำไปใช้กับแนวคิดอื่น ๆ หนึ่งอย่างหรือมากกว่า และส่งคืนค่าจริงหรือเท็จ ตัวอย่างเช่น ฟังก์ชันความจริง #$siblingsคือความสัมพันธ์ระหว่างพี่น้อง ซึ่งจะเป็นจริงถ้าตัวแปรทั้งสองเป็นพี่น้องกันตามธรรมเนียมแล้ว ค่าคงที่ของฟังก์ชันความจริงจะเริ่มต้นด้วยตัวอักษรพิมพ์เล็ก

สำหรับตัวอย่างแต่ละตัวอย่างของคอลเลกชัน#$ChordataPhylum(เช่น สำหรับสัตว์มีกระดูกสันหลัง ทุกชนิด ) จะมีสัตว์เพศเมีย (ตัวอย่างของ#$FemaleAnimal) ซึ่งเป็นแม่ของมัน (อธิบายโดยภาคแสดง#$biologicalMother) ^{[ 1 ]}

เอนจินการอนุมาน คือโปรแกรมคอมพิวเตอร์ที่พยายามหาคำตอบจากฐานความรู้ เอนจิ นการอนุมาน Cyc ทำการอนุมานเชิงตรรกะ ทั่วไป ^{[ 10 ]}นอกจากนี้ยังทำการอนุมานเชิงอุปมานการเรียนรู้ของเครื่องเชิงสถิติและการเรียนรู้ของเครื่องเชิงสัญลักษณ์และ การอนุมาน เชิงอนุมาน^{[ 11 ] [ 12 ]}

กลไกการอนุมาน Cyc แยก ปัญหา เชิงญาณวิทยา ออก จาก ปัญหาเชิงฮิวริสติก สำหรับปัญหา เชิงฮิวริสติก Cyc ใช้ สถาปัตยกรรม แบบชุมชนของเอเจนต์โดยที่โมดูลเฉพาะทางแต่ละโมดูลซึ่งมีอัลกอริทึมของตนเองจะได้รับการจัดลำดับความสำคัญหากสามารถสร้างความคืบหน้าในปัญหาย่อยได้

OpenCyc เวอร์ชันแรกเปิดตัวในฤดูใบไม้ผลิปี 2545 โดยมีแนวคิดเพียง 6,000 รายการและข้อเท็จจริง 60,000 รายการ ฐานความรู้ได้รับการเผยแพร่ภายใต้Apache License Cycorp ระบุเจตนารมณ์ที่จะเผยแพร่ OpenCyc ภายใต้ใบอนุญาตคู่ขนานที่ไม่จำกัด เพื่อตอบสนองความต้องการของผู้ใช้ ตัวแปล CycLและ SubL (โปรแกรมที่อนุญาตให้ผู้ใช้เรียกดูและแก้ไขฐานข้อมูล รวมถึงการอนุมาน) ได้รับการเผยแพร่ฟรี แต่เป็นเพียงไบนารีเท่านั้น โดยไม่มีซอร์สโค้ดมีให้ใช้งานสำหรับLinuxและMicrosoft Windowsโครงการโอเพนซอร์ส Texai ^{[ 13 ]} ได้เผยแพร่เนื้อหาที่เข้ากันได้กับ RDFที่สกัดจาก OpenCyc ^{[ 14 ]}อินเทอร์เฟซผู้ใช้เขียนด้วย Java 6

Cycorp เป็นผู้มีส่วนร่วมในกลุ่มทำงานสำหรับ Semantic Web, Standard Upper Ontology Working Group ซึ่งดำเนินงานตั้งแต่ปี 2001 ถึง 2003 ^{[ 15 ]}

OpenCyc เวอร์ชันSemantic Webมีให้บริการตั้งแต่ปี 2008 แต่สิ้นสุดลงหลังจากปี 2016 ^{[ 16 ]}

OpenCyc 4.0 เปิดตัวในเดือนมิถุนายน พ.ศ. 2555 ^{[ 17 ]} OpenCyc 4.0 ประกอบด้วยแนวคิด 239,000 รายการและข้อเท็จจริง 2,093,000 รายการ อย่างไรก็ตาม สิ่งเหล่านี้ส่วนใหญ่เป็นการยืนยัน ทางอนุกรมวิธาน

4.0 เป็นเวอร์ชันสุดท้ายที่วางจำหน่าย และประมาณเดือนมีนาคม พ.ศ. 2560 OpenCyc ก็ถูกปิดตัวลงด้วยเหตุผลที่ว่า "เนื่องจาก 'การแบ่งส่วน' ดังกล่าวทำให้เกิดความแตกต่าง และทำให้เกิดความสับสนในหมู่ผู้ใช้ และชุมชนทางเทคนิคโดยทั่วไปคิดว่า OpenCyc fragment คือ Cyc" ^{[ 18 ]}

ในเดือนกรกฎาคม พ.ศ. 2549 บริษัท Cycorp ได้เผยแพร่ไฟล์ปฏิบัติการของ ResearchCyc 1.0 ซึ่งเป็นเวอร์ชันของ Cyc ที่มุ่งเป้าไปที่ชุมชนวิจัย โดยไม่คิดค่าใช้จ่าย (ResearchCyc อยู่ในขั้นตอนการพัฒนาเบต้าตลอดปี พ.ศ. 2547 และเวอร์ชันเบต้าได้รับการเผยแพร่ในเดือนกุมภาพันธ์ พ.ศ. 2548) นอกเหนือจากข้อมูลด้านอนุกรมวิธานแล้ว ResearchCyc ยังรวมถึงความรู้เชิงความหมายเพิ่มเติม นอกจากนี้ยังมีพจนานุกรมขนาดใหญ่ เครื่องมือวิเคราะห์และสร้างประโยคภาษา อังกฤษและ อินเทอร์เฟซที่ใช้ Javaสำหรับการแก้ไขและสอบถามความรู้ และยังมีระบบสำหรับการบูรณาการข้อมูลตามหลักออน โทโลยี อีก ด้วย

ในปี 2544 GlaxoSmithKlineได้ให้ทุนสนับสนุน Cyc แม้ว่าจะยังไม่ทราบวัตถุประสงค์การใช้งานก็ตาม^{[ 19 ]}ในปี 2550 Cleveland Clinicได้ใช้ Cyc เพื่อพัฒนาอินเทอร์เฟซการสอบถามข้อมูลชีวการแพทย์เกี่ยวกับการผ่าตัดหัวใจและทรวงอกด้วยภาษาธรรมชาติ^{[ 20 ]}การสอบถามจะถูกแยกวิเคราะห์เป็นชุดของ ส่วนย่อย CycLที่มีตัวแปรแบบเปิด^{[ 21 ]}ฐานความรู้เกี่ยวกับการก่อการร้ายเป็นแอปพลิเคชันของ Cyc ที่พยายามรวบรวมความรู้เกี่ยวกับคำอธิบายที่เกี่ยวข้องกับ "ผู้ก่อการร้าย" ความรู้นี้ถูกจัดเก็บเป็นข้อความในตรรกะทางคณิตศาสตร์ โครงการนี้ดำเนินมาตั้งแต่ปี 2004 ถึง 2008 ^{[ 22 ] [ 23 ]} Lycosใช้ Cyc สำหรับการแยกความหมายของคำค้นหา แต่หยุดไปในปี 2001 ^{[ 24 ]} CycSecure ผลิตขึ้นในปี 2002 ^{[ 25 ]} ซึ่งเป็นเครื่องมือประเมินช่องโหว่ของเครือข่ายที่ใช้ Cyc เป็นพื้นฐาน โดยมีการทดลองใช้งานที่ ทีมตอบสนองเหตุฉุกเฉินทางคอมพิวเตอร์ของ US STRATCOM ^{[ 26 ]}

แอปพลิเคชัน Cyc หนึ่งตัวมีเป้าหมายที่ระบุไว้เพื่อช่วยเหลือนักเรียนที่กำลังเรียนคณิตศาสตร์ในระดับชั้นประถมศึกษาปีที่ 6 ^{[ 27 ]}แอปพลิเคชันดังกล่าวมีชื่อว่า MathCraft ^{[ 28 ]}ซึ่งควรจะทำหน้าที่เป็นเพื่อนนักเรียนที่สับสนเกี่ยวกับวิชานี้มากกว่าผู้ใช้เล็กน้อย เมื่อผู้ใช้ให้คำแนะนำที่ดี Cyc จะช่วยให้ตัวละครเสมือนทำผิดพลาดน้อยลง

โครงการ Cyc ได้รับการอธิบายว่าเป็น "หนึ่งในความพยายามที่ก่อให้เกิดข้อถกเถียงมากที่สุดในประวัติศาสตร์ปัญญาประดิษฐ์" ^{[ 29 ]} Catherine Havasiซีอีโอของ Luminoso กล่าวว่า Cyc เป็นโครงการต้นแบบของWatson ของ IBM ^{[ 30 ]} Pedro Domingosนักวิทยาศาสตร์ด้านการเรียนรู้ของเครื่องกล่าวถึงโครงการนี้ว่าเป็น "ความล้มเหลวครั้งใหญ่" เนื่องจากปริมาณข้อมูลที่ไม่มีที่สิ้นสุดที่จำเป็นในการสร้างผลลัพธ์ที่ใช้งานได้ และความไม่สามารถของ Cyc ที่จะพัฒนาด้วยตนเอง^{[ 31 ]}

แกรี่ มาร์คัสนักวิทยาศาสตร์ด้านความรู้ความเข้าใจและผู้ร่วมก่อตั้งบริษัท AI ชื่อ Geometric Intelligence กล่าวในปี 2016 ว่า "มันแสดงถึงแนวทางที่แตกต่างอย่างมากจากเรื่องการเรียนรู้เชิงลึกทั้งหมดที่ปรากฏในข่าว" ^{[ 32 ]}ซึ่งสอดคล้องกับจุดยืนของดั๊ก เลนัตที่ว่า "บางครั้งเปลือกนอกของความฉลาดก็ไม่เพียงพอ" ^{[ 33 ]}

นี่คือรายชื่อบุคคลสำคัญบางส่วนที่ทำงานหรือเคยทำงานในโครงการ Cyc ไม่ว่าจะเป็นขณะที่โครงการนี้อยู่ที่ MCC (ซึ่งเป็นที่ที่ Cyc เริ่มต้นขึ้นครั้งแรก) หรือที่ Cycorp

• Alan Belasco และคณะ (2004). "การนำเสนอช่องว่างความรู้ได้อย่างมีประสิทธิภาพ"ใน: D. Karagiannis, U. Reimer (บรรณาธิการ): แง่มุมเชิงปฏิบัติของการจัดการความรู้, รายงานการประชุม PAKM 2004, เวียนนา, ออสเตรีย, 2-3 ธันวาคม 2004. Springer-Verlag, เบอร์ลิน ไฮเดลเบิร์ก.
• เบอร์ติโน, เอลิซา ; ปิเอโร, จิอัน; ซาร์เรีย, บีซี (2001). ระบบฐานข้อมูลอัจฉริยะ . แอดดิสัน-เวสลีย์ โปรเฟสชันแนล.
• John Cabral และคณะ (2005). "การแปลงความรู้เชิงอภิปรัชญาทางความหมายให้เป็นอคติเชิงอุปนัย"ใน: รายงานการประชุมนานาชาติว่าด้วยการเขียนโปรแกรมเชิงตรรกะแบบอุปนัย ครั้งที่ 15บอนน์ ประเทศเยอรมนี สิงหาคม 2005
• Jon Curtis และคณะ (2005). "เกี่ยวกับการใช้ Cyc อย่างมีประสิทธิภาพในระบบตอบคำถาม"ใน: เอกสารจากการประชุมเชิงปฏิบัติการ IJCAI เรื่องความรู้และการให้เหตุผลสำหรับการตอบคำถามเอดินบะระ สก็อตแลนด์: 2005
• Chris Deaton และคณะ (2005). "ฐานข้อมูลความรู้ด้านการก่อการร้ายที่ครอบคลุมใน Cyc"ใน: รายงานการประชุมนานาชาติว่าด้วยการวิเคราะห์ข่าวกรอง ประจำปี 2005, McLean, Virginia, พฤษภาคม 2005
• เคนเนธ ฟอร์บัส และคณะ (2005) “การผสมผสานการเปรียบเทียบ การค้นหาข้อมูลอัจฉริยะ และการบูรณาการความรู้เพื่อการวิเคราะห์: รายงานเบื้องต้น”ใน: รายงานการประชุมนานาชาติว่าด้วยการวิเคราะห์ข่าวกรอง ประจำปี 2005แมคลีน รัฐเวอร์จิเนีย พฤษภาคม 2005
• Douglas Foxvog (2010), "Cyc". ใน: ทฤษฎีและการประยุกต์ใช้ออนโทโลยี: การประยุกต์ใช้คอมพิวเตอร์เก็บถาวรเมื่อ 2018-11-12 ที่Wayback Machine , Springer
• Fritz Lehmann และ d. foxvog (1998), " การเติมเต็มรายละเอียดให้กับโครงสร้างความรู้: ประเด็นที่เกิดขึ้นในการสร้างฐานความรู้ทางกายวิภาคที่มีโครงสร้างเชิงสัมพันธ์ที่สมบูรณ์ " ใน: การแบ่งปันความรู้ในระบบฐานความรู้ทางชีววิทยาและการแพทย์, AAAI
• Douglas Lenatและ RV Guha (1990). การสร้างระบบฐานความรู้ขนาดใหญ่: การนำเสนอและการอนุมานในโครงการ Cyc . Addison-Wesley. ISBN 0-201-51752-3.
• Douglas Lenat และGary Marcus , " การเปลี่ยนจาก AI แบบสร้างสรรค์ไปสู่ ​​AI ที่น่าเชื่อถือ: สิ่งที่ LLM อาจเรียนรู้ได้จาก Cyc ", 31 กรกฎาคม 2023
• เจมส์ มาสเตอร์ส (2002). "การบูรณาการแหล่งความรู้เชิงโครงสร้างและการประยุกต์ใช้กับการหลอมรวมข้อมูล"ใน: รายงานการประชุมนานาชาติว่าด้วยการหลอมรวมข้อมูล ครั้งที่ 5แอนนาโพลิส รัฐแมริแลนด์ กรกฎาคม 2002
• James Masters และ Z. Güngördü (2003). "การบูรณาการแหล่งความรู้ที่มีโครงสร้าง: รายงานความคืบหน้า" ใน: การบูรณาการระบบหลายเอเจนต์ที่เน้นความรู้ . เคมบริดจ์, แมสซาชูเซตส์, สหรัฐอเมริกา, 2003.
• Cynthia Matuszek และคณะ (2006). "บทนำเกี่ยวกับไวยากรณ์และเนื้อหาของ Cyc."ใน: รายงานการประชุมสัมมนาฤดูใบไม้ผลิ AAAI ปี 2006 เรื่องการจัดระเบียบและรวบรวมความรู้พื้นฐานและการประยุกต์ใช้กับการนำเสนอความรู้และการตอบคำถามสแตนฟอร์ด, 2006
• Cynthia Matuszek และคณะ (2005) "การค้นหาสามัญสำนึก: การเติมข้อมูลลงใน Cyc จากเว็บ"ใน: รายงานการประชุมระดับชาติครั้งที่ 20 ว่าด้วยปัญญาประดิษฐ์พิตต์สเบิร์ก รัฐเพนซิลเวเนีย กรกฎาคม 2005
• Tom O'Hara และคณะ (2003). "การกำหนดเกณฑ์สำหรับการจับคู่คำศัพท์ของคำนามนับไม่ได้โดยใช้ฐานความรู้ Cyc และส่วนขยายไปยัง WordNet"ใน: รายงานการประชุมเชิงปฏิบัติการนานาชาติครั้งที่ 5 ว่าด้วยความหมายเชิงคำนวณทิลเบิร์ก, 2003
• Fabrizio Morbini และ Lenhart Schubert (2009). "การประเมิน EPILOG: เครื่องมือให้เหตุผลสำหรับตรรกะเหตุการณ์"มหาวิทยาลัยโรเชสเตอร์ การประชุม Commonsense '09 (อธิบายถึงคลัง 'แบบทดสอบสามัญสำนึก' ประมาณ 1600 รายการของ Cyc)
• Kathy Panton และคณะ (2002). "การสร้างองค์ความรู้และการสนทนาโดยใช้ชุดเครื่องมือ KRAKEN"ใน: การประชุมระดับชาติครั้งที่สิบแปดว่าด้วยปัญญาประดิษฐ์เอดมันตัน ประเทศแคนาดา 2002
• Deepak Ramachandran P. Reagan & K. Goolsbey (2005). "First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology" เก็บถาวรเมื่อ 2014-03-24 ที่Wayback Machineใน: เอกสารจากการประชุมเชิงปฏิบัติการ AAAI ว่าด้วยบริบทและออนโทโลยี: ทฤษฎี การปฏิบัติ และการประยุกต์ใช้พิตต์สเบิร์ก รัฐเพนซิลเวเนีย กรกฎาคม 2005
• Stephen Reed และ D. Lenat (2002). "การแมปออนโทโลยีลงใน Cyc"ใน: การประชุมเชิงปฏิบัติการเรื่องออนโทโลยีสำหรับเว็บเชิงความหมาย AAAI 2002เอดมันตัน ประเทศแคนาดา กรกฎาคม 2002
• เบนจามิน โรด และคณะ (2005). "สู่แบบจำลองการกู้คืนรูปแบบในข้อมูลเชิงสัมพันธ์"ใน: รายงานการประชุมนานาชาติว่าด้วยการวิเคราะห์ข่าวกรอง ประจำปี 2005แม็คลีน รัฐเวอร์จิเนีย พฤษภาคม 2005
• เดฟ ชไนเดอร์ และคณะ (2005). "การรวบรวมและจัดการข้อเท็จจริงสำหรับการวิเคราะห์ข่าวกรอง"ใน: รายงานการประชุมนานาชาติว่าด้วยการวิเคราะห์ข่าวกรอง ประจำปี 2005แม็คลีน รัฐเวอร์จิเนีย พฤษภาคม 2005
• Schneider, D. และ Witbrock, MJ (พฤษภาคม 2015). "ไวยากรณ์โครงสร้างเชิงความหมาย: การเชื่อมช่องว่างระหว่างภาษาธรรมชาติและตรรกศาสตร์"ในรายงานการประชุมนานาชาติว่าด้วยเวิลด์ไวด์เว็บครั้งที่ 24 (หน้า 673–678)
• Blake Shepard และคณะ (2005). "แนวทางที่ใช้ความรู้เป็นพื้นฐานในการรักษาความปลอดภัยเครือข่าย: การประยุกต์ใช้ Cyc ในด้านการประเมินความเสี่ยงของเครือข่าย"ใน: รายงานการประชุม Innovative Applications of Artificial Intelligence ครั้งที่ 17พิตต์สเบิร์ก รัฐเพนซิลเวเนีย กรกฎาคม 2005
• Nick Siegel และคณะ (2004). "สถาปัตยกรรมเอเจนต์: การผสมผสานจุดแข็งของวิศวกรรมซอฟต์แวร์และระบบการรับรู้"ใน: เอกสารจากการประชุมเชิงปฏิบัติการ AAAI เรื่องสถาปัตยกรรมเอเจนต์อัจฉริยะ: การผสมผสานจุดแข็งของวิศวกรรมซอฟต์แวร์และระบบการรับรู้รายงานทางเทคนิค WS-04-07, หน้า 74–79. เมนโลพาร์ค รัฐแคลิฟอร์เนีย: สำนักพิมพ์ AAAI, 2004.
• Nick Siegel และคณะ (2005). การสร้างสมมติฐานและการรวบรวมหลักฐานสำหรับการวิเคราะห์ข่าวกรอง: แอปพลิเคชัน Nooscape ของ Cycorp”ในรายงานการประชุมนานาชาติว่าด้วยการวิเคราะห์ข่าวกรองประจำปี 2005 ณ เมืองแมคลีน รัฐเวอร์จิเนีย เดือนพฤษภาคม 2005
• Michael Witbrock และคณะ (2002). "ระบบสนทนาโต้ตอบเพื่อการได้มาซึ่งความรู้ใน Cyc"ใน: รายงานการประชุมนานาชาติร่วมครั้งที่สิบแปดว่าด้วยปัญญาประดิษฐ์อะคาปุลโก เม็กซิโก 2003
• Michael Witbrock และคณะ (2004). "การใส่คำอธิบายประกอบ OWL อัตโนมัติโดยอาศัยฐานความรู้ขนาดใหญ่"ใน: บันทึกการประชุมเชิงปฏิบัติการเรื่องการทำเครื่องหมายความรู้และการใส่คำอธิบายประกอบเชิงความหมายประจำปี 2004 ในการประชุมเว็บเชิงความหมายนานาชาติครั้งที่ 3 ISWC2004ฮิโรชิม่า ประเทศญี่ปุ่น พฤศจิกายน 2004 หน้า 71–80
• Michael Witbrock และคณะ (2005). "ความรู้ก่อให้เกิดความรู้: ขั้นตอนสู่การได้มาซึ่งความรู้โดยความช่วยเหลือใน Cyc"ใน: เอกสารจากการประชุมสัมมนาฤดูใบไม้ผลิ AAAI ปี 2005 เรื่องการรวบรวมความรู้จากผู้ร่วมให้ข้อมูลอาสาสมัคร (KCVC)หน้า 99–105 สแตนฟอร์ด แคลิฟอร์เนีย มีนาคม 2005
• William Jarrold (2001). "การตรวจสอบความถูกต้องของสติปัญญาในระบบขนาดใหญ่ที่ใช้กฎเกณฑ์ด้วยสามัญสำนึก" . "การตรวจสอบความถูกต้องของสติปัญญาโดยใช้แบบจำลอง: เอกสารจากงานสัมมนา AAAI ปี 2001" (รายงานทางเทคนิค AAAI SS-01-04)
• William Jarrold. (2003). การใช้ออนโทโลยีเพื่อประเมินออนโทโลยีแบบใช้กฎขนาดใหญ่: ทฤษฎีและการปฏิบัติ {\em ตัวชี้วัดประสิทธิภาพสำหรับระบบอัจฉริยะ PerMIS '03} (เอกสารพิเศษของ NIST หมายเลข 1014)

• เว็บไซต์ Cycorp
• Cyc: บทไว้อาลัยแด่อนุสรณ์สถานอันยิ่งใหญ่ที่สุดของปัญญาประดิษฐ์ทั่วไปเชิงตรรกะบทความโดย Yuxi Liu (UC Berkeley), 2025