NOTE: On a newly installed copy of OpenCyc, you need to log in first as CycAdministrator. Then, while logged in, you can go back to the login screen and enter a new name to log in as. A new contstant will be created using the new name, and it will be asserted to be an instance of HumanCyclist.
The first thing to do when you’ve started up a new OpenCyc image is to log in. To do this, click on the “Login” link in the Toolbar (the top frame of the KB Browser). In the window, enter the Cyc constant that refers to you (e.g., #$Fred). This is not (necessarily) the same as any site login (e.g., LINUX filesystem) that may be implemented. If the appropriate Cyc constant does not yet exist, you’ll be asked if you want Cyc to create one for you.
For more detailed information on logging in, see the Login Help.
The “Cyc Agenda” handles operations to the KB. When you first start up Cyc, the agenda will be halted. After logging in, the next thing to do is to start up the Cyc Agenda. To do this, click on the “Agenda” link in the Agenda Status Bar (the bottom frame of the KB Browser), which will bring up the Agenda Process Control. Press the [Start Agenda] button to start the Cyc Agenda.
For more detailed information on starting the Agenda, see the Agenda Process Control Help
For detailed help on the Cyc Agenda, read the Cyc Agenda Documentation
Now that the Cyc Agenda is running, you should tell it how to handle any errors it may encounter. The default error handling mode is to Halt and Display Reason, which means that errors will cause the Agenda to halt, and will be displayed on the Agenda Process Control page. If this is the desired behavior, ignore this section and continue on. To change to a different mode, click on the “Agenda” link in the Agenda Status Bar (the bottom frame of the KB Browser), which will bring up the Agenda Process Control. Click on a new error handling mode and press the [Submit New Mode] button.
For more detailed information on setting a new error handling mode, see the Agenda Process Control Help. For detailed help on the Cyc Agenda, read the Cyc Agenda Documentation.
NOTE: There is no Master Transcript Server with OpenCyc. Synching knowledge with remote OpenCyc installations will be a challenging undertaking that will require several partial solutions. Several partial-solution candidates exist and will be discussed on the OpenCyc forums.
Even though the Cyc Agenda is running, it will not receive or send any operations perfomed on the KB (like creating constants, asserting or unasserting, etc.) unless the communication status is set so as to allow this. The default setting is “Storing Only”, which means that operations performed locally will be stored for possible sending to the Master Transcript later, but no operations are read from the Master Transcript. If this is the desired behavior, ignore this section and continue on. To change the communication status, click on the “Comm” link in the Agenda Status Bar (the bottom frame of the KB Browser), which will bring up the Communication Status Area. Make changes to the settings press the relevant [Submit] button.
For more detailed information on setting the communication status, see the Communication Status Area Help. For detailed help on Communication Status, read the Cyc Communication Status Documentation.
The OpenCyc KB Browser includes a number of tools to assist with knowledge entry and browsing. To see a list of these tools, click on the “Tools” link in the Toolbar (the top frame of the KB Browser). Clicking on the name of a tool will take you there. However, it’s often useful to have frequently used tools just a single click away. To this end, it’s possible to add desired tools to the Toolbar. Simply click on the “Tools” link as before, but instead of clicking on the tool name, click the box to the left of the name, and then press the [Update Toolbar] button. Any tools you have selected will now appear as links in the Toolbar.
For more detailed information on various tools, see the Browser Tools Help.
In addition to customizing your Toolbar, there may be other options that you wish to set initially. To do this, go to the Browser Options tool by clicking on the “Options” link on either the Browser Tools page, or in the Toolbar (if you’ve added it there). If you can’t find the link, look in the section above, Updating the Toolbar (Gaining Access to Tools). The options on this page are set to defaults that are figured to be most useful to the common user, and therefore won’t usually need to be modified. However, there may be one or two options which you’ll want to change before you start browsing the KB:
Server Update Interval: Look at the Agenda Status Bar. When the communication mode is set, the Agenda is started or halts, or the Agenda processes operations, the Agenda Status Bar is not automatically updated. Instead, you’ll need to click on the “Update” link. To have everything updated automatically, enter a number into the Server Update Interval window of the Browser Options Page, press the [Change Options] button, and click on the “Update” link one final time. Every X seconds, the information will be updated. A recommended interval is 15 seconds.
For more detailed information on the Agenda Status Bar, see the Agenda Status Bar Help.
Default Content: When you display a constant in the KB Browser, a certain set of assertions comes up automatically. This is the Default Content. The default setting for this is to display up to 30 assertions. If you would prefer to see a different kind of information initially displayed with the constant, choose one of the other 3 options in the Default Content section of the Browser Option page, and then press the [Change Options] button. You can also increase or decrease the number of assertions displayed if you choose to keep the default option.
For more detailed information about the kinds of assertions, see the Index Categories section of the Term Index Help.
Wrap Assertions: When you display assertions in the KB Browser, the default is for each assertion to be allotted a single line in the KB. This maximizes the number of assertions that can be displayed at any one time. However, a few very long axioms may go off the edge of the screen as a result. While it’s still possible to view the assertion by enlarging the window or displaying the assertion in detail by clicking on the colored ball, many users prefer to set the Wrap Assertions option. Setting this option causes assertions to be displayed entirely on the screen, though it allows for fewer assertions to be seen at any given time.
For more detailed information about the different browser options, see the Browser Options Help.