Baza danych – tzw. baza wiedzy (ang. Knowledge base – KB) – jest napisana w języku CycL, który trochę przypomina język Lisp. Programiści CycL nazywani są z angielska "cyclists". Podstawowymi elementami składowymi bazy danych są tzw. stałe (ang. constants). Można je podzielić na kilka podstawowych grup: elementy indywidualne – koncepty (np. #$Poland, #$HomerSimpson), kolekcje (np. #$Tree-ThePlant – jako kolekcja wszystkich drzew), operatory logiczne (np. #$and, #$implies), kwantyfikatory (np. #$forAll), predykaty (np. #$isa, #$genls) i funkcje (np. #$FruitFn). Wszystkie stałe są połączone z innymi stałymi przez predykaty i należą do tzw. mikro-teorii, które muszą być wewnętrznie niesprzeczne. Każda mikro-teoria jest identyfikowana przez stałą.
Cyc obecnie jest dostępny za darmo w okrojonej wersji nazwanej OpenCyc. Dodatkowo dostępna jest również wersja ResearchCyc, która jest udostępniana naukowcom i instytucjom badawczym, również za darmo.
Linki zewnętrzne Oficjalna strona Cycorp, Inc. – do pobrania wersje dla Linux i Windows – prowadzony przez dr Douga Lenata (google video).
Kategoria:Zastosowania sztucznej inteligencji Kategoria:Bazy danych Kategoria:Ontologia (informatyka)