{"title":"Qualitative, causal reasoning about device behavior","authors":"Y. Iwasaki","doi":"10.1109/AIIA.1988.13267","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13267","url":null,"abstract":"The methods of causal ordering provide an operational means to determine the causal relations among the variables in a model of the equilibrium behavior of a device. The author extends the method to dynamic models as well as mixed models of equilibrium and dynamic equations. He defines self-containment for dynamic and mixed structures and describes causal ordering in such structures. For correct application of the method of causal ordering, the equations comprising the model of a device must be such that each of them comes from an understanding of a conceptually distinct mechanism. To ensure that an equation model satisfies this requirement, an explicit representation of the understanding of mechanisms underlying an equation model was developed. Equations are generated automatically from this representation. An example involving the mixed model of an evaporator is used to illustrate the proposed approach.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115369474","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Metrics in the knowledge bases: a case study (Context ES-Tool)","authors":"S. Petkov","doi":"10.1109/AIIA.1988.13349","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13349","url":null,"abstract":"The author considers the idea of entering a metric in the rule space of knowledge bases. The metric allows, on the basis of a strong taxonomy, a sound mathematical apparatus and search strategies to be included in the rule handling. The relevance of the rule in a given context is directly evaluated through the distance from a given point to a fixed compact set. Dynamic conflict resolution strategies and rule population formation and evaluation are considered on the basis of the metrics. The implementation of this approach in the context of an expert-systems building tool is discussed.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123092060","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A compiler for real-time knowledge-base systems","authors":"M. Ghallab, H. Philippe","doi":"10.1109/AIIA.1988.13323","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13323","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.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116955381","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Empirical and functional knowledge in an expert system for fault diagnosis","authors":"G. Armano, M. Solimano","doi":"10.1109/AIIA.1988.13278","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13278","url":null,"abstract":"An expert system for car fault diagnosis is presented. The expert system's originality lies in the combined use of empirical and functional knowledge about a controlled apparatus. Another salient feature is the knowledge-base organization, which allows the two kinds of knowledge to be represented in a single database, so that the inference engines used (empirical and functional) may share the knowledge about the apparatus, and work together until no more information is found, or a solution is reached. The designer's major effort has been the integration of these two kinds of knowledge.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122867829","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
S. Matsuda, H. Ogi, K. Nishimura, Y. Okataku, S. Tamura
{"title":"Power system voltage control by distributed expert systems","authors":"S. Matsuda, H. Ogi, K. Nishimura, Y. Okataku, S. Tamura","doi":"10.1109/AIIA.1988.13309","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13309","url":null,"abstract":"Voltage control by distributed expert systems has been investigated as a case study of the application of a distributed control scheme to power system control. The combined injection of VAr-compensating devices controlled by distributed expert systems has been proposed as a measure to maintain voltage stability in heavy loading conditions of a power system. A simulation study has been carried out using five workstations which represent a power system and four VAr-compensating devices. The results demonstrate the effectiveness of the proposed system for voltage recovery.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126997662","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
S. Kawakita, M. Saito, Y. Hoshino, Y. Bandai, Y. Kobayashi
{"title":"An integrated AI environment for industrial expert systems","authors":"S. Kawakita, M. Saito, Y. Hoshino, Y. Bandai, Y. Kobayashi","doi":"10.1109/AIIA.1988.13303","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13303","url":null,"abstract":"An integrated artificial intelligence environment for industrial expert systems geared toward practical operations is introduced. In terms of hardware, the AI environment comprises a process computer, an AI processor based on the RISC architecture with hardware extensions for AI languages, and an engineering workstation. Each component plays its part in close cooperation with the whole system. The end results is an ideal AI environment. In terms of software, a compiler-oriented approach is taken for both the expert system development tool and Lisp system. This allows high-speed inference with only a small memory requirement at run time. Performance estimation has revealed that the AI environment provides a sevenfold increase in execution speed over a process computer alone.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115894382","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An expert PID controller","authors":"R. Devanathan, C. C. Keong, T.L. Kin, Y. C. Soon","doi":"10.1109/AIIA.1988.13342","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13342","url":null,"abstract":"The authors report on the development of an expert PID (proportional-integral-differential) controller for industrial processes. It uses the optimal property of a certain region in the P, I, and D parameter space providing minimum integrated (average) error when the required damping is ensured otherwise. The expert system uses an algorithm which basically modifies the settings of a conventional real-time PID controller continually until the parameters enter the optimum region mentioned above. The optimum region for a given process depends on the characterization of that process which is carried out in a simple indentification procedure prior to convergence. The authors describe the theory, the algorithm used, the hardware, and the software aspects of the implementation of the expert system as well as the test results obtained on a simulated process control system.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134116262","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Chip-architecture planning based on expert knowledge","authors":"Karl-Heinz Temme, R. Bruck","doi":"10.1109/AIIA.1988.13291","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13291","url":null,"abstract":"Presents a knowledge-based VLSI design system CHARM (chip architecture maker), which starts with a high-level algorithmic behavioral description of the problem and produces a nontopological chip-architecture plan. Attention is given to the motivation for this approach, a description of the method, the structure of the tool and its environment, the architecture of the expert system, type of knowledge and representation, and problem-solving strategies. Finally, implementation notes and an example are given.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"27 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130714600","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Progress of artificial intelligence in Japan","authors":"M. Nagao","doi":"10.1109/AIIA.1988.13261","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13261","url":null,"abstract":"The different approaches to artificial intelligence in Japan and the United States, as connected with the national characters of these two countries, are examined. The state of the art of information processing in Japan is reviewed, with attention given to character recognition, picture and image processing, robot vision, speech recognition and synthesis, machine translation, and speech translation. Research themes for the development of an automatic speech translation telephone system are considered.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131321878","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An A* algorithm to yield an optimal solution for the channel routing problem in VLSI","authors":"J. Wang, R.C.T. Lee","doi":"10.1109/AIIA.1988.13290","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13290","url":null,"abstract":"An algorithm is proposed to find an optimal solution for the channel-routing problem in VLSI design. The algorithm is an A* algorithm with good heuristics and dominance rules to terminate unnecessary nodes in the searching-tree. Theoretical and experimental results indicate that it behaves quite well in average cases. The authors obtained an optimal solution for the Deutsch difficult case in 5.5 minutes of CPU time, with the algorithm implemented in Pascal and run on a VAX 11/750 computer.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131855338","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}