Cyc (pronunciat/ˈsaɪk/syke) és un projected'intel·ligència artificial a llarg termini que té com a objectiu reunir unaontologia integral iuna base de coneixement que abasta els conceptes bàsics i les regles sobre com funciona el món. Amb l'esperança de captarel coneixement de sentit comú, Cyc se centra enel coneixement implícit. El projecte va començar el juliol de 1984 aMCC i va ser desenvolupat més tard per l'empresaCycorp.
El nom "Cyc" (de "enciclopèdia") és una marca registrada propietat de Cycorp.CycL té una especificació publicada públicament, i desenes de mòduls HL (nivell heurístic) es van descriure al llibre de text de Lenat i Guha,[1] però el codi del motor d'inferència de Cyc i la llista completa de mòduls HL són propietaris de Cycorp.[2]
El projecte va començar el juliol de 1984 perDouglas Lenat com un projecte de laMicroelectronics and Computer Technology Corporation (MCC), un consorci de recerca iniciat per dues corporacions amb seu als Estats Units "per contrarestar un esforç japonès aleshores nefast en IA, l'anomenat " projecte decinquena generació ".[3] Els Estats Units van aprovar laNational Cooperative Research Act de 1984, que per primera vegada va permetre a les empresesnord-americanes "connir" en recerca a llarg termini. Des de gener de 1995, el projecte ha estat desenvolupat actiu per Cycorp, on Douglas Lenat n'era elconseller delegat.
El llenguatge de representacióCycL va començar com una extensió de RLL[4] (el llenguatge de representació, desenvolupat entre 1979 – 1980 per Lenat i el seu estudiant de postgrauRussell Greiner mentre estava ala Universitat de Stanford). El 1989,[5] Cycle s'havia expandit enpoder expressiu ala lògica d'ordre superior (HOL).
L'ontologia de Cyc va créixer a uns 100.000 termes el 1994 i, a partir del 2017, contenia uns 1.500.000 termes. La base de coneixement Cyc que implica termes ontològics es va crear en gran part mitjançant l'escriptura manual d'axiomes; era al voltant d'1 milió el 1994 i, a partir del 2017, és d'uns 24,5 milions.
El 2008, els recursos de Cyc es van assignar a molts articlesde la Viquipèdia.[6] Cyc està connectat actualment aWikidata.
Labase de coneixement es divideix enmicroteories. A diferència de la base de coneixement en el seu conjunt, cada microteoria ha d'estar lliure de contradiccions monòtones. Cada microteoria és un objecte de primera classe en la Cyc ontologia; té un nom que és una constant regular. Els noms de concepte a Cyc sóntermes oconstants de Cycle.[7] Les constants comencen amb un#$ opcional i distingeixen entre majúscules i minúscules. Hi ha constants per a:
#$BillClinton o#$France.#$Tree-ThePlant (que conté tots els arbres) o#$EquivalenceRelation (que conté totesles relacions d'equivalència). Un membre d'una col·lecció s'anomenainstància d'aquesta col·lecció.[8]#$FruitFn, quan es proporciona un argument que descriu un tipus (o col·lecció) de plantes, retornarà la col·lecció dels seus fruits. Per convenció, les constants de funció comencen amb una lletra majúscula i acaben amb la cadenaFn.#$siblings és la relació de germans, cert si els dos arguments sóngermans. Per convenció, les constants de la funció de veritat comencen amb una lletra minúscula.Per a cada instància de la col·lecció#$ChordataPhylum (és a dir, per a cadacordat), existeix un animal femení (instància de#$FemaleAnimal ), que és la seva mare (descrita pel predicat#$biologicalMother).[9]
Unmotor d'inferència és un programa informàtic que intenta obtenir respostes a partir d'una base de coneixement. El motor d'inferència Cyc realitzauna deducció lògica general.[10] També realitzaraonament inductiu,aprenentatge automàtic estadístic iaprenentatge automàtic simbòlic iraonament abductiu.
El motor d'inferència Cyc separa el problemaepistemològic del problemaheurístic. Per a aquest últim, Cyc va utilitzar una arquitectura decomunitat d'agents en què els mòduls especialitzats, cadascun amb el seu propi algorisme, es prioritzaven si podien avançar en el subproblema.
Durant més d'una dècada,Glaxo ha utilitzat Cyc per integrar de manera semiautomàtica els granstesaurus de termes de la indústria farmacèutica. Anteriorment, utilitzaven personal per fer-ho manualment. LaCleveland Clinic ha utilitzat Cyc per desenvolupar una interfície deconsulta en llenguatge natural d'informació biomèdica sobrecirurgies cardiotoràciques.[11] Una consulta s'analitza en un conjunt de fragmentsCycL amb variables obertes.[12] TheTerrorism Knowledge Base era una aplicació de Cyc que intentava contenir coneixements sobre descripcions relacionades amb els "terroristes". El coneixement s'emmagatzema com a enunciats en la lògica matemàtica.[13]
Una aplicació Cyc té l'objectiu declarat d'ajudar els estudiants a fer matemàtiques a un nivell de 6è.[14] L'aplicació, anomenada MathCraft,[15] havia de fer el paper d'un company d'estudiant que està una mica més confós que l'usuari sobre el tema. Com que l'usuari dóna bons consells, Cyc permet que l'avatar cometi menys errors.