{"title":"实时知识库系统的编译器","authors":"M. Ghallab, H. Philippe","doi":"10.1109/AIIA.1988.13323","DOIUrl":null,"url":null,"abstract":"The KHEOPS system's main component is a compiler that transforms a set of monotonic propositional rules into an optimized deterministic decision network. The formalism and class of problems to which the proposed compiler can be applied are described. The authors develop and analyze the principles and compiling algorithms used. They also illustrate the usefulness and performance of the proposed tools through two large real-time industrial applications: an onboard monitoring and diagnosis expert system, and a process-control system.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"5 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"31","resultStr":"{\"title\":\"A compiler for real-time knowledge-base systems\",\"authors\":\"M. Ghallab, H. Philippe\",\"doi\":\"10.1109/AIIA.1988.13323\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The KHEOPS system's main component is a compiler that transforms a set of monotonic propositional rules into an optimized deterministic decision network. The formalism and class of problems to which the proposed compiler can be applied are described. The authors develop and analyze the principles and compiling algorithms used. They also illustrate the usefulness and performance of the proposed tools through two large real-time industrial applications: an onboard monitoring and diagnosis expert system, and a process-control system.<<ETX>>\",\"PeriodicalId\":112397,\"journal\":{\"name\":\"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications\",\"volume\":\"5 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1988-05-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"31\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/AIIA.1988.13323\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/AIIA.1988.13323","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The KHEOPS system's main component is a compiler that transforms a set of monotonic propositional rules into an optimized deterministic decision network. The formalism and class of problems to which the proposed compiler can be applied are described. The authors develop and analyze the principles and compiling algorithms used. They also illustrate the usefulness and performance of the proposed tools through two large real-time industrial applications: an onboard monitoring and diagnosis expert system, and a process-control system.<>