Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2最新文献
{"title":"Pipelined OR-parallelism architecture for parallel execution of Prolog","authors":"D. Sarma, C. Wu","doi":"10.1145/98894.98940","DOIUrl":"https://doi.org/10.1145/98894.98940","url":null,"abstract":"This paper describes a parallel architecture to implement PROLOG. The architecture considered here takes advantage of the OR-parallelism inherent in the language. In usual OR-parallelism architecture, multiprocessors are used to work on a relation of the database at the same time. In the pipeline OR-parallelism, a relation of the database is processed by only one of the multiprocessors at one time. As soon as a solution is found, the resolution goes forward and works on the goal down the goal tree. A hardware model is derived based on the concept and simulation studies were carried out for different numbers of processor configurations. It has been found that from the results of the simulation optimum processor configurations can be derived to meet the cost performance requirements.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"345 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132740310","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":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","authors":"M. Matthews","doi":"10.1145/98894","DOIUrl":"https://doi.org/10.1145/98894","url":null,"abstract":"","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115580717","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 fast learning automaton solution to the keyboard optimization problem","authors":"B. Oommen, R. Valiveti, J. R. Zgierski","doi":"10.1145/98894.99108","DOIUrl":"https://doi.org/10.1145/98894.99108","url":null,"abstract":"Let A be a finite alphabet, and H be a finite dictionary of words formed from the letters of this alphabet. In a conventional keyboard typically each key of the keyboard is assigned a unique symbol chosen from the alphabet. We consider the problem of assigning more than one symbol of the alphabet A to the same key on the keyboard. Let Ci be a subset of A. Every time a character in Ci is to be represented, the keyboard represents it using the digit (i.e. the index) 'i'. In a keyboard of this form, since multiple symbols of the alphabet A have the same representation, the representations of all the (distinct) words in the dictionary H need not be unique. A useful measure of the effectiveness of a particular keyboard is the number of words of H which are mapped to the same encoded form (i.e. they collide). This metric will be termed the ambiguity associated with the keyboard. The problem we study is one of optimally assigning the symbols of the alphabet to the keys of a given keyboard with a view to minimize the resulting ambiguity. The problem as stated above is proven to be NP-hard. This naturally leads us to seek fast and approximate solutions to the optimization problem on hand. After presenting the only reported solution to the problem, we report a fast learning automaton-based solution to this problem. Experimental results demonstrating the power of this solution have also been presented.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114721017","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 built-in test language for PROLOG to validate knowledge-based systems","authors":"F. Belli, I. Camara, Alfred Schmidt","doi":"10.1145/98894.98922","DOIUrl":"https://doi.org/10.1145/98894.98922","url":null,"abstract":"This paper refines and completes the results of our previous work represented in /3/. Our present work concentrates on the implementation of a uniform, white-box test environment PROTest (PROLOG Test Environment). PROTest supports the development of object-oriented, rule and knowledge-based expert systems which will be implemented in PROLOG. PROTest assists the programmer - as well as the quality engineer - in particular to generate test cases, to exercise his or her programs by means of these test cases, to produce test reports after the test execution etc (Testing in the Large). The special feature of PROTest as a novelty in the field stems from its built-in object-oriented logic test language (TL) which is being used. The major benefit of this approach is given through the high adaptability potential of the test procedures whenever the functional part of the programs has been changed.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124901293","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 prototype for KYBAS: the Kentucky Bridge Analysis System","authors":"M. Cassaro, N. N. Athavale, R. Ragade, T. Fenske","doi":"10.1145/98894.98931","DOIUrl":"https://doi.org/10.1145/98894.98931","url":null,"abstract":"KYBAS is a prototype to examine the use of expert systems in the area of engineering design. KYBAS is developed particularly for highway bridge design and analysis. It addresses the static load analysis of highway bridges in particular. The knowledge in KYBAS represents various materials and structural types used in the design process. The rules make the finite element modeling decisions. These decisions are used by numeric modules to generate a finite element model for the design in process. The numeric modules are coupled with the expert system to perform design and analysis in the heterogeneous code. This paper examines certain issues in expert system development and its integration with the numeric code. Issues in controlling the size of the mesh are also addressed.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129563301","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":"Continuous learning: a design methodology for fault-tolerant neural networks","authors":"V. Piuri","doi":"10.1145/98894.99116","DOIUrl":"https://doi.org/10.1145/98894.99116","url":null,"abstract":"Fault tolerance in artificial neural networks is an important feature, in particular when the application is critical or when maintenance is difficult. This paper presents a general design methodology for designing fault-tolerant architectures, starting from the behavioral description of the nominal network and from the nominal algorithm. The behavioral level is considered to detect errors due to hardware faults, while system survival is guaranteed by the reactivation of learning mechanisms of the nominal network. An example of the use of this methodology is presented and evaluated.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130661495","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 new shell for the development of alarm pattern recognition expert systems","authors":"J. Arellano, Yalu Galicia, E. Dominguez","doi":"10.1145/98894.98919","DOIUrl":"https://doi.org/10.1145/98894.98919","url":null,"abstract":"This paper presents the first version of GENESIS, an expert system shell suitable for the development of alarm pattern recognition expert systems (APRES). GENESIS Includes a series of algorithms and procedures especially designed for a rapid and systematic construction of APRES. The Inputs required by GENESIS are the fault trees of the system under analysis, the probability of occurrence of each fault in the trees, and the set of symptoms (alarms and measurements) associated to the occurrence of each individual fault. With this Information, GENESIS generates a set of production rules which relates faults and symptoms. The shell uses these rules and the probability of occurrence of each of the faults In order to generate optimal alarm pattern recognition strategies (algorithm of the Inference engine). A strategy helps the operator to recognize which alarm pattern is occurring without having to search the entire set of patterns. All the alarm pattern recognition strategies are generated off-line, as a consequence, the response of the system will be very fast. This feature makes GENESIS a powerful tool for the development of real-time APRES.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"154 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116181206","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}
R. Bhatnagar, Don W. Miller, B. Hajek, B. Chandrasekaran
{"title":"DPRL: a language for representation of operation and safety maintenance procedures of nuclear power plants","authors":"R. Bhatnagar, Don W. Miller, B. Hajek, B. Chandrasekaran","doi":"10.1145/98894.98899","DOIUrl":"https://doi.org/10.1145/98894.98899","url":null,"abstract":"1.0 Introduction The task of operation and safety maintenance performed by the reactor operator in a nuclear power plant is a complex knowledge based task and has to be done within given time constraints. The two essential tasks in the overall task are: (1) monitoring plant data to detect abnormal functioning of the plant, and (2) identifying and executing procedures to restore normal operation while maintaining plant safety. The knowledge required for both these tasks is available from the plant operating manuals, and the plant operators’ training and experience. Our objective in this paper is to describe the knowledge representation scheme developed for the second task. The objective of the first task is to detect known malfunction states by monitoring the plant conditions. The second task is initiated after the first task, i.e. after the known malfunction states have been detected. The objective of second task is to execute control procedures to: (1) restore normal plant operation, and (2) maintain plant safety. The plant environment on which the control procedures operate is dynamic and unpredictable and given the time limitations, it is not always possible to restore the normal operation and maintain safety simultaneously. It is for this reason that the plant safety of a nuclear power plant is defined independent of normal operation. The plant safety can be maintained if certain critical parameters remain within prescribed limits, whether or not the plant is producing power at its normal ratings. Because of the independence of safety and operation the actions required to","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127026403","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":"Verification of heuristic diagnostic knowledge by comparison with a causal/qualitative model","authors":"G. Forsyth, Michael E. Larkin, Glen A. Wallace","doi":"10.1145/98894.98925","DOIUrl":"https://doi.org/10.1145/98894.98925","url":null,"abstract":"An approach to verify the knowledge base of a diagnostic expert system is described. An heuristic knowledge base collected from domain experts by interviews was analysed and the reasons for changes between versions were noted. The knowledge base was then compared with a small causal qualitative model of the device covered by the heuristic knowledge. Conclusions are drawn regarding the quality of the heuristic knowledge and indicate how it is planned to use the comparison of heuristic and causal knowledge in further development of the knowledge base.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128200799","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 integrated framework for intelligent computer aided design of chemical processes","authors":"M. S. Gandikota, N. Narayanan, J. Maroldt","doi":"10.1145/98894.98933","DOIUrl":"https://doi.org/10.1145/98894.98933","url":null,"abstract":"In this paper we develop an integrated framework for intelligent computer aided design of chemical processes. First we propose a task-structure for design. The task-structure for a problem solving activity characterizes it in terms of various information processing tasks which underlie that activity and methods that can accomplish those tasks (Chandrasekaran, 1989a). The task-structure for process design is a hierarchy consisting of ten tasks and subtasks, and reasoning methods to accomplish them. The framework for process design is based on this task-structure and it integrates the various tasks delineated in the task-structure by specifying the control flow among them. By making the structure of knowledge and inference required for process design explicit, this framework facilitates the design and development of automated process design systems. We also propose an information structure called a Design History to record all design choices made during a design episode and their justifications. The generation of the Design History within the framework and its utility are described. The design of a process for ethanol production is used as an example to illustrate the framework's applicability.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"228 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124185771","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}