Formalized Common Knowledge

Home

Projects

FAQ

Documentation

Releases

Installation Instructions for r9b

To access ResearchCyc (a.k.a. "RCyc") releases:

• At a command line:

  $ ftp ftp.cyc.com
  User: 
  Password: 
  ftp> bin
  ftp> cd ResearchCyc
  ftp> get rcyc-r9b.tgz
  ftp> bye
  

• copy the tar file to the directory in which you want to install RCyc, cd to that directory, then type:

  $ tar -xvzf rcyc-r9b.tgz
  

A directory named 'cyc' will be created, which will contain 2 directories, 'run' and 'api'. You need to first run a setup script that prompts you for the license key. After that, you will be able to run cyc. First, type the following two commands:

• $ cd cyc/run/repositories
• $ ./setup.sh

You will be prompted to enter your license key, which is unique to your site. (The same license key may be used on multiple installations within your organization.)

If this process completes successfully, a file named 'default.redbin' will be created in the repositories directory. You will not need to do anything with this file.

You only need to run setup once per installation. Subsequently, you can just run cyc as directed below.

Now you can move to the 'run' directory to run RCyc.

• $ cd ..
• $ ./run-cyc.sh

After cyc starts up, it will reach the CYC(1): prompt. You will see two warning messages on the way toward seeing the 'Cyc(1):' prompt. They will not cause a problem. You can then use the following URL in a browser to access Cyc on the machine cyc is running:

    http://localhost:3602/cgi-bin/cyccgi/cg?cb-start

or on a remote machine, with Cyc running on myserver.mydomain.edu:

    http://myserver.mydomain.edu:3602/cgi-bin/cyccgi/cg?cb-start

• Cyc assumes a trusted environment, so you're responsible for running it from a machine where only authorized users will be able to link to it.

• Use the login name 'CycAdministrator' to login. Then you can create new user accounts by creating new instances of #$HumanCyclist.

Installation Instructions for r9b

To access ResearchCyc releases:

• At a command line:

  $ ftp ftp.cyc.com
  User: 
  Password: 
  ftp> bin
  ftp> cd ResearchCyc
  ftp> get researchcyc-r8b.tgz
  ftp> bye
  

• The file was tarballed using 'tar -cvzf'. Untar it in the directory in which you want to run it, then cd to the cyc/scripts/linux directory and:

  $ ./run-cyc.sh
  

• After cyc starts up, it will reach the CYC(1): prompt. You can then use the following URL in a browser to access Cyc

  on the machine cyc is running:

  http://localhost:3602/cgi-bin/cyccgi/cg?cb-start

  or on a remote machine, with Cyc running on myserver.mydomain.edu:

  http://myserver.mydomain.edu:3602/cgi-bin/cyccgi/cg?cb-start

• Cyc assumes a trusted environment, so you're responsible for running it from a machine where only authorized users will be able to link to it.

• Use the login name 'CycAdministrator' to login. Then you can create new user accounts by creating new instances of #$HumanCyclist.

Release r8b

Release r7b

Last Update: April 12, 2005