Chapter 3
Knowledge Bases
Shows how to work with the current KB, KB files, and snapshot files.
- Introduction
- Contents of a KB
- Items
- System Tables
- Operating the Current KB
- Creating an Empty KB
- Clearing the Current KB
- Starting the Current KB
- Pausing and Resuming the Current KB
- Resetting the Current KB
- Restarting the Current KB
- Determining the Run-State of the Current KB
- The Initial/Reset Run-State
- The Running Run-State
- The Paused Run-State
- Summary of Run-States
- Saving a KB File
- Saving the Current KB to a KB File
- Filenames of KB Files
- Syntax for KB Filenames
- Using Comments and Change Logging
- Saving a Running Current KB
- Saving the State of Workspaces
- Supporting Source-Code Control Systems
- Loading a KB File
- Using the Load KB Dialog
- Loading the KB File
- Using Wildcards in Filenames When Loading a KB
- Selecting Options When Loading a KB File
- Searching for KB Files
- Saving a KB Snapshot File
- Contents of a KB Snapshot File
- Naming Conventions for KB Snapshot Files
- Warmbooting a KB Snapshot File
- Creating Warmboot Procedures
- Non-Modular Warmboot Procedures
- Modular Warmboot Procedures
- Warmbooting With Catch-Up
- Merging a KB File
- Duplicate Items in Merged KBs
- Duplicate Class Definitions in Merged KBs
- Identical Duplicate Definitions
- Nonidentical Duplicate Definitions
- Detecting Conflicting Class Definitions
- Automatically Resolving Conflicting Definitions
- Manually Resolving Conflicting Definitions
- Responding to Conflict Workspaces
- Examples of Manual Conflict Resolution
- Completely New Version of the Same Definition
- Name Conflicts Between Independent Definitions
- Separate Development of Groups of Attributes
- Separate Development of Specific Attribute Values
- Conflict Due to Upgrading to a New G2 Version
- Conflict Between Original and Backup Definitions
- Differences Between Class-Specific Attributes
- Unresolvable Conflicts Between Definitions
Copyright © 1997 Gensym Corporation, Inc.