Interface Overview

Login

The Login Area allows CYC® users to login to their CYC® image, as well as lists what users are currently logged in to the image.

1. To access the Login Area, click on the Login link in the Toolbar frame at the top of the screen.  The first line of the login page shows what your current login is.  If you have just started up the image, this will either say "Guest" or the name of the default login constant; likewise if this is the first time you are accessing from your machine an image that someone else has started up elsewhere.

2. To change identities (including from or to #$Guest), enter the name of your CYC® constant in the type-in pane provided (minus the "#$"), then press the (Submit) button. For example, the user Fred Smith might be represented in the KB as #$FredSmith. To login, Fred would type "FredSmith" in the input window.

3.  Click Submit

Parts of the Screen

The KB Browser Interface is divided into four frames :

1. The Tools Frame: Also known as “The Toolbar Frame,” this frame allows the user to do three things:
· Search for constants using the Completion Box.
· Navigate around the KB Browser via the "Tools" and "Navigator" links.
· Access the user login facility via the "Login" link.

2. The Index Frame: This frame is used to display information about a selected constant in the KB. It contains a list of operations that can be performed on the displayed constant, as well as an index of assertion types involving the constant. The options available in this frame will vary with each constant, as well as with different versions of the CYC® System.

3. The Assertion Display Frame:  This frame contains the actual assertions about a selected constant.  Its contents are determined by the term that is selected in the Index Frame.

4. The Systems Information Frame: Also known as “The Agenda Status Bar,” this frame provides information to the user about the current state of the CYC® Agenda. This information can be updated manually, by clicking on the "Update" link, or it can be set to update automatically ("Server Update Interval") via the Browser Options page.

Assertion Display Frame

To see the full assertion and the bookkeeping information on a given assertion, click on the ball.  Once the full assertion is displayed, you can edit it, delete it, or make a similar assertion.

White ball = Monotonically True
Yellow ball = Default True
Blue ball = Forward Rule
Purple ball = Backward Rule
Red ball = Negated
Green ball = Inferred

Arguments

Information is organized in the display window by what argument position the concept fills for any assertion. These examples show the concept as it fits into the Argument3 slot, the Argument4 slot, etc.

Other Tools
  • Clicking on a green plus sign next to a constant in the Index Frame does an ask.  For example, (#$isa #$SewingNeedle ?ARG2).
  • Clicking on a red diamond next to a constant brings you to the hierarchy browser.
Searching for Terms: Completion Box and “Show”

There are several ways to look for a term in Cyc.  Using the completion box is just one.  To do this, type the CycL term into the completion box and click on the “Show” button (or hit the “Enter” key on your keyboard).

NOTE: THE PICTURE ABOVE IS DATED. YOU WILL NOT SEE A COMPLETE BUTTON OR A GREP BUTTON, AND THE SHOW BUTTON HAS BEEN CHANGED TO A SEARCH BUTTON.

 

Searching for Terms: Completion Box and “Complete”

If you don’t type the full term into the completion box, you can begin to type the name of a constant and click on the “Complete” button.  A box containing all known completions will appear on your screen.  Select the term that you seek.

NOTE: THE PICTURE ABOVE IS DATED. YOU WILL NOT SEE A COMPLETE BUTTON OR A GREP BUTTON, AND THE SHOW BUTTON HAS BEEN CHANGED TO A SEARCH BUTTON. INSTEAD OF THE COMPLETE BUTTON, YOU CAN TYPE A PARTIAL TERM NAME FOLLOWED BY AN ASTERISK CHARACTER '*', THE CLICK SEARCH OR HIT RETURN.

Searching for Terms: Wildcard Search

Type a partial name along with the wildcard (*) before or after or around it to look for terms containing that string.

Searching for Terms: Use English

Search for terms by typing them the way you would in English into the Completion box.

Systems Information Frame: Agenda

Click the “Agenda” link in the System Info area to access this screen.  On this page you can see the operation that is currently being processed.

Systems Information Frame: Remote Operations

This is where you can see others’ operations being processed on your local image.  The higher number in the lower screenshot reflects the number of operations that have been processed since the the upper screenshot was taken.

The Toolbar

 To customize your working toolbar:
1)  Click on “Tools” to view the available tools to work with.
2)  Select the check boxes to make these tools appear on your toolbar.  Some of the most useful tools are:
•Ask
•Assert
•Create
3)  Click on “Update Toolbar”

“Assert Similar” Tool

You can use the “Assert Similar” tool in order to use an existing assertion as a template for a new assertion.

To access this tool, click on the ball next to any assertion.

On the “Cyc Assertion” screen, click on the “Assert Similar” link.

On the “Assert Similar Formula” screen, be sure to change the Mt to the most appropriate one for your new assertion and make the assertion.

Ask

When performing an “Ask” you can type in your query without the necessary “#$” symbols.  Then click on the “Cyclify” button to automatically add in the “#$” symbols.  The lower screenshot shows the result of clicking on this button.

Slide 16

Click the “Comm”link in the System Info area to access this screen, the Communication Status Area.  This is where you specify whether you wish to receive operations.

Log Out

  In order to logout of the Cyc Browser :
1)  Click on “Login” in the Tool bar.
2)  Click on the link “here” in the sentence “Click here to logout now.”