How do they input common sense ?
The Cyc team’s basic knowledge browsing and editing tools consist of an extensive and growing set of HTML pages. This scheme provides maximal standardization and portability across platforms. In effect, this means that anyone with access to a WWW browser, the correct URL, and security clearance can, from anywhere in the world, browse in or edit the Cyc knowledge base. These tools allow the user to view assertions in the knowledge base and perform a variety of operations, including adding assertions, removing assertions, creating new constants, killing constants, renaming constants, setting inference performance parameters (e.g., forward or backward propagation for rules), asking for conclusions to be derived (if possible), and viewing the inference chains that resulted in particular conclusions. As these tools are for inhouse development, there is no public World Wide Web site available. There currently is some discussion of providing a subset of the Cyc database on an example Web site