[Up: imhofaq] [Robot Wisdom home page]

Cyc resources on the Web

(the name derives from encyclopedia, not an acronym, so it's 'Cyc' not 'CYC')

Official website of Cycorp

Intros: Barger, Whitten FAQ, About.com; Lenat 1999; Lenat 1990; Turing; U Maryland; ART; Kalamazoo; Johns Hopkins; 1994 U Florida; Stanford short; PostScript; slideshow; [crashes Mac Netscape!?!]

Journalism: 1997 Houston; 1995 Sci Am; Time 1996; Time 1998; Forbes 1998; Wired 1998 very short; 1997 Business Week; Wired 1997 part; 1991 Austin

Critiques: 1994 hands-on with question-suite; polemical; 1997 logicist; 1997 maillist; philosophical long, ditto; McCarthy short

Evolution: 1984-1996 [multipage]; prehistory; 1990 multipage; 1991 popular

Ontology: official site; hyper-ToC; comparative; 1994 update

Specialised: tech reports; 1991 application ideas; CycL syntax; modality; Teknowledge; problem-statement; ACM pdfs; open source utilities; ontological engineering; game AI; Web representation

Bibliography: 1994

Passim: Dennett

tidbit

Lycos

1950: born in Philadelphia, family owned soda-bottling business

grew up in Wilmington, Delaware

1961: discovers Isaac Asimov

1963: father dies a few months before bar mitzvah

1967: finalist in an International Science Fair (closed form definition of the Nth prime number)

1968: University of Pennsylvania (physics and math)

1971: course in AI from John W. Carr III

1972: Stanford

1976: AM (Automated Mathematician) 'discovers' mathematical theorems [concise] [multipage] examples

1981: Eurisko wins Traveller game tournament [Drexler chapter] [application to markets?]

1982: Eurisko wins Traveller game tournament again

1983: Eurisko effectively banned from Traveller tournament

1984: starts Cyc project

1996: High-Performance Knowledgebase Project [overview]

1997: RealAudio interview

1998: Dimensions of Context-Space HTML txt

1999: Dec interview [mirror]

overview, bio, [French], Kalamazoo; U Pitt; MIT

interprets 2001 and HAL

eponymous unit of bogosity

Bibliography: offline

[homepage] cv

1964? born Ramanathan

1986: BS in mechanical engineering from the Indian Institute of Technology in Madras, India

1987: MS in mechanical engineering from the University of California at Berkeley

1987-94: Cyc project

1989: co-author with Lenat of Building Large Knowledge-Based Systems

1991: Ph.D. in computer science from Stanford [PostScript thesis]

1995: startup for database-integration engine (sold)

1995-97 moves to Apple, works on HotSauce [1997 update]

1996? meta-content paper

1997: moves to Netscape, works on Aurora [1998 preview]

1997: June: proposes RDF [CNet]

1997: Web-innovator Award profile

1999: leaves Netscape?

1999: co-founds Epinions.com with Jakob Nielsen and others [PR] [user page]

2000: Technical Advisor to Abra Inc., Antarcti.ca and Geocast Networks, Hopelink and Dress Central.

Interviews: 1999 RDF with Marc Andreessen

Bibliography: offline

Comparable systems: multi; multi; ThoughtTreasure; Loom; KA2; CODE4