Cyc

Cyc (uitgespreek /ˈsaɪk/ SYKE) is 'n langtermyn kunsmatige intelligensie-projek wat daarop gemik is om 'n omvattende ontologie en kennisbasis saam te stel wat die basiese konsepte en reëls oor hoe die wêreld werk, omvat. In die hoop om gesonde verstand kennis vas te vang, fokus Cyc op implisiete kennis (onbewuste kennis). Die projek het in Julie 1984 by Microelectronics and Computer Technology Corporation (MCC) begin en is later deur die Cycorp-maatskappy ontwikkel.

Die naam "Cyc" (van "ensiklopedie" in Engels, “encyclopedia”) is 'n geregistreerde handelsmerk wat deur Cycorp besit word. CycL het 'n publiek-vrygestelde spesifikasie, en dosyne HL (Heuristiese Vlak)-modules is beskryf in Lenat en Guha se handboek, maar die Cyc-inferensie-enjinkode en die volledige lys HL-modules is Cycorp-eiendom.

Geskiedenis
Die projek het in Julie 1984 deur Douglas Lenat begin as 'n projek van die Microelectronics and Computer Technology Corporation (MCC), 'n navorsingskonsortium wat deur twee korporasies in die Verenigde State begin is "om 'n destydse onheilspellende Japannese poging in KI, die sogenaamde 'vyfdegenerasie'-projek, teë te werk."   Die VSA het die Nasionale Koöperatiewe Navorsingswet van 1984 goedgekeur, wat vir die eerste keer VSA maatskappye toegelaat het om te "saamspan" oor langtermynnavorsing. Sedert Januarie 1995 is die projek onder aktiewe ontwikkeling deur Cycorp, waar Douglas Lenat die HUB was.

Die CycL verteenwoordigingstaal het begin as 'n uitbreiding van RLL (die Representation Language Language, ontwikkel in 1979–1980 deur Lenat en sy nagraadse student Russell Greiner terwyl hulle aan Stanford-universiteit was). In 1989 het CycL uitgebrei in uitdrukkingskrag na hoër-orde logika (HOL).

Cyc se ontologie het in 1994 tot ongeveer 100 000 terme gegroei, en vanaf 2017 het dit ongeveer 1 500 000 terme bevat. Die Cyc-kennisbasis wat ontologiese terme behels, is grootliks geskep deur hand-aksioma-skryf; dit was op ongeveer 1 miljoen in 1994, en vanaf 2017 is dit op ongeveer 24,5 miljoen.

In 2008 is Cyc-bronne na baie Wikipedia-artikels gekarteer. Cyc is tans aan Wikidata gekoppel.

Kennisbasis
Die kennisbasis word in mikroteorieë verdeel. Anders as die kennisbasis as geheel, moet elke mikroteorie vry wees van monotoniese teenstrydighede. Elke mikroteorie is 'n eersteklas objek in die Cyc-ontologie; dit het 'n naam wat 'n gereelde konstante is. Die konsepname in Cyc is CycL terme of konstantes. Konstante begin met 'n opsionele #$ en is hooflettergevoelig. Daar is konstantes vir:

 Individuele items bekend as individue, soos #$BillClinton of #$France.
Versamelings, soos #$Tree-ThePlant (wat alle bome bevat) of #$EquivalenceRelation (wat alle ekwivalensieverhoudings bevat). 'n Lid van 'n versameling word 'n instansie van daardie versameling genoem.
 Funksies wat nuwe terme uit gegewe terme produseer. Byvoorbeeld, #$FruitFn, wanneer voorsien word van 'n argument wat 'n tipe (of versameling) plante beskryf, sal die versameling van sy vrugte terugstuur. Volgens konvensie begin funksiekonstantes met 'n hoofletter en eindig met die stringFn.
Waarheidsfunksies, wat op een of meer ander konsepte van toepassing kan wees en waar of onwaar kan teruggee. Byvoorbeeld, #$siblings is die broer en suster, waar as die twee argumente broers en susters is. Volgens konvensie begin waarheidsfunksiekonstantes met 'n kleinletter.

Vir elke instansie van die versameling #$ChordataPhylum (d.w.s. vir elke chordaat), bestaan daar 'n vroulike dier (instansie van #$FemaleAnimal), wat sy moeder is (beskryf deur die predikaat #$biologicalMother).

Inferensie-enjin
‘n Inferensie-enjin is 'n rekenaarprogram wat antwoorde uit 'n kennisbasis probeer aflei. Die Cyc inferensie-enjin voer algemene logiese afleiding uit. Dit voer ook induktiewe redenering, statistiese masjienleer en simboliese masjienleer, en abduktiewe redenering uit.

Die Cyc-inferensie-enjin skei die epistemologiese probleem van die heuristiese probleem. Vir laasgenoemde het Cyc 'n gemeenskap-van-agente-argitektuur gebruik waarin gespesialiseerde modules, elk met sy eie algoritme, geprioritiseer is as hulle vordering met die subprobleem kon maak.

Vrystellings
OpenCyc
Die eerste weergawe van OpenCyc is in die lente van 2002 vrygestel en het slegs 6 000 konsepte en 60 000 feite bevat. Die kennisbasis is vrygestel onder die Apache-lisensie. Cycorp het sy voorneme verklaar om OpenCyc onder parallelle, onbeperkte lisensies vry te stel om aan die behoeftes van sy gebruikers te voldoen. Die CycL- en SubL-tolk (die program wat gebruikers toelaat om deur die databasis te blaai en te redigeer asook om afleidings te maak) is gratis vrygestel, maar slegs as 'n binêre, sonder bronkode. Dit is beskikbaar gestel vir Linux en Microsoft Windows. Die oopbron Texai-projek het die RDF-versoenbare inhoud vrygestel wat uit OpenCyc onttrek is. Die gebruikerskoppelvlak was in Java 6.
Cycorp was 'n deelnemer van 'n werkgroep vir die Semantiese Web, Standard Upper Ontology Working Group, wat van 2001 tot 2003 aktief was.

'n Semantiese webweergawe van OpenCyc was beskikbaar vanaf 2008, maar eindig iewers na 2016.

OpenCyc 4.0 is in Junie 2012 vrygestel. OpenCyc 4.0 het 239 000 konsepte en 2 093 000 feite bevat; dit is egter hoofsaaklik taksonomiese bewerings. 4.0 was die laaste vrygestelde weergawe, en rondom Maart van 2017 is OpenCyc gesluit vir die beweerde rede dat "omdat sulke "fragmentering" gelei het tot divergensie, en gelei het tot verwarring onder sy gebruikers en die tegniese gemeenskap in die algemeen dat daardie OpenCyc-fragment Cyc was.

ResearchCyc
In Julie 2006 het Cycorp die uitvoerbare van ResearchCyc 1.0 vrygestel, 'n weergawe van Cyc wat op die navorsingsgemeenskap gemik is, gratis. (ResearchCyc was in beta-stadium van ontwikkeling gedurende die hele 2004; 'n beta-weergawe is in Februarie 2005 vrygestel.) Benewens die taksonomiese inligting, sluit ResearchCyc meer semantiese kennis in; dit sluit ook 'n groot leksikon, Engelse ontleed- en genereringshulpmiddels en Java-gebaseerde koppelvlakke vir kennisredigering en navrae in. Dit bevat 'n stelsel vir ontologie-gebaseerde data-integrasie.

Toepassings
In 2001 het GlaxoSmithKline die Cyc befonds, maar vir onbekende toepassings. In 2007 het die Cleveland Clinic Cyc gebruik om 'n natuurlike-taalnavraag-koppelvlak van biomediese inligting oor kardiotorakse operasies te ontwikkel.  'n Navraag word in 'n stel CycL-fragmente met oop veranderlikes ontleed.  Die Terrorism Knowledge Base was 'n toepassing van Cyc wat probeer het om kennis oor "terroriste"-verwante beskrywings te bevat. Die kennis word as stellings in wiskundige logika gestoor. Die projek het van 2004 tot 2008 geduur.AFRL-RI-RS-TR-2008-125, April 2008 .Terrorism Knowledge Base (TKB) Final Technical Report. https://www.researchgate.net/publication/235042082_Terrorism_Knowledge_Base_TKB, Douglas B. Lenat Chris Deaton, Air Force Research Laboratory Information Directorate, Rome Research Site, Rome, New York Lycos het Cyc gebruik vir soekterm ondubbelsinning, maar het in 2001 opgehou.  CycSecure is in 2002 vervaardig, 'n netwerkkwesbaarheid-assesseringsinstrument gebaseer op Cyc, met proewe by die US STRATCOM Computer Emergency Response Team.

One Cyc-toepassing het die verklaarde doel om studente te help om wiskunde op 'n graad 6-vlak te doen.  Die toepassing, genaamd MathCraft, was veronderstel om die rol te speel van 'n medestudent wat effens meer verward is as die gebruiker oor die vak. Aangesien die gebruiker goeie raad gee, laat Cyc die avatar toe om minder foute te maak.

Kritiek
Die Cyc-projek is beskryf as "een van die mees omstrede pogings van die kunsmatige intelligensie-geskiedenis". Catherine Havasi, uitvoerende hoof van Luminoso, sê dat Cyc die voorloperprojek vir IBM se Watson is. Masjienleer wetenskaplike Pedro Domingos verwys na die projek as 'n "katastrofiese mislukking" vir die oneindige hoeveelheid data wat nodig is om enige lewensvatbare resultate te produseer en die onvermoë vir Cyc om op sy eie te ontwikkel.

Gary Marcus, 'n kognitiewe wetenskaplike en die medestigter van 'n KI-maatskappy genaamd Geometric Intelligence, sê "dit verteenwoordig 'n benadering wat baie verskil van al die diepleer dinge wat in die nuus was." Dit stem ooreen met Doug Lenat se standpunt dat "Soms is die fineer van intelligensie nie genoeg nie".

Bekende werknemers
Hierdie is 'n lys van 'n paar van die noemenswaardige mense wat werk of gewerk het op Cyc óf terwyl dit 'n projek by MCC was (waar Cyc die eerste keer begin is) of Cycorp.
Douglas Lenat
Michael Witbrock
Pat Hayes
Ramanathan V. Guha
Stuart J. Russell
Srinija Srinivasan
Jared Friedman
John McCarthy

 Verwysings 

Kategorie:Amerikaanse maatskappye
Kategorie:Rekenaars
Kategorie:kunsmatige intelligensie