Validating knowledge systems: a scheduling example

摘要

The models discussed are symbolic, explicitly describing concepts, parameters, and relations among concepts and parameters. They are formal in that they represent the design of the business and its processes as described by professional decision-makers. A methodology is presented for building such model-based systems, and some of the practical issues of building and validating models are discussed.