Title :
Validating knowledge systems: a scheduling example
Author :
Kunz, John C. ; Husain, Nizwer
Author_Institution :
IntelliCorp, Mt. View, CA, USA
Abstract :
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
Keywords :
knowledge based systems; knowledge representation; manufacturing data processing; scheduling; knowledge representation; knowledge system validation; scheduling; symbolic model based systems; Buildings; Computational modeling; Computer aided software engineering; Knowledge based systems; Predictive models; Process design; Process planning; Processor scheduling; Production facilities; System testing;
Conference_Titel :
Robotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on
Conference_Location :
Sacramento, CA
Print_ISBN :
0-8186-2163-X
DOI :
10.1109/ROBOT.1991.132053
