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 m... View More