Method for Semantically Resolving Attribute Constraint Specifications in Frame Structured Knowledge Bases
Original Publication Date: 1981-Jun-01
Included in the Prior Art Database: 2005-Feb-11
Semantic networks and frame-like system shave emerged as powerful tools. A common feature of these systems is the existence of an initial knowledge base which is used to drive a dialog session and produce a number of results, including elaborations and extensions of the knowledge base itself. This knowledge base can be considered a model for the problem domain being addressed, and the solution process can be viewed as a mechanism for resolving general assertions found in the model into the specific values and frame references dictated by the context of the problem at hand. This resolution process appears in several forms, ranging from simple constraint checking to complex pattern matching within the knowledge base to prune search spaces and select candidates for solutions.