The Correctness of a Knowledge Representation Model for Decision-Support Expert Systems

摘要

Tools (methods and algorithms) for verifying the correctness of table-type production models for knowledge representation (decision models), oriented toward processing models both at the stage of model construction as well as at the decision-making stage proper, are described. The tools are intended for use in decision-support expert systems that function in variable problem domains and in real time.