DocumentCode
3278724
Title
Validating knowledge systems: a scheduling example
Author
Kunz, John C. ; Husain, Nizwer
Author_Institution
IntelliCorp, Mt. View, CA, USA
fYear
1991
fDate
9-11 Apr 1991
Firstpage
2780
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Robotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on
Conference_Location
Sacramento, CA
Print_ISBN
0-8186-2163-X
Type
conf
DOI
10.1109/ROBOT.1991.132053
Filename
132053
Link To Document