Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2最新文献

筛选
英文 中文
Pipelined OR-parallelism architecture for parallel execution of Prolog 用于并行执行Prolog的流水线或并行架构
D. Sarma, C. Wu
{"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}
引用次数: 0
Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2 第三届人工智能和专家系统工业和工程应用国际会议论文集-第2卷
M. Matthews
{"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}
引用次数: 1
A fast learning automaton solution to the keyboard optimization problem 一个快速学习自动化解决键盘优化问题
B. Oommen, R. Valiveti, J. R. Zgierski
{"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}
引用次数: 3
A built-in test language for PROLOG to validate knowledge-based systems PROLOG的内置测试语言,用于验证基于知识的系统
F. Belli, I. Camara, Alfred Schmidt
{"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}
引用次数: 0
A prototype for KYBAS: the Kentucky Bridge Analysis System KYBAS的原型:肯塔基大桥分析系统
M. Cassaro, N. N. Athavale, R. Ragade, T. Fenske
{"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}
引用次数: 3
Continuous learning: a design methodology for fault-tolerant neural networks 持续学习:一种容错神经网络的设计方法
V. Piuri
{"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}
引用次数: 2
A new shell for the development of alarm pattern recognition expert systems 报警模式识别专家系统开发的新外壳
J. Arellano, Yalu Galicia, E. Dominguez
{"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}
引用次数: 2
DPRL: a language for representation of operation and safety maintenance procedures of nuclear power plants 表示核电站运行和安全维护程序的语言
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}
引用次数: 7
Verification of heuristic diagnostic knowledge by comparison with a causal/qualitative model 通过与因果/定性模型的比较验证启发式诊断知识
G. Forsyth, Michael E. Larkin, Glen A. Wallace
{"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}
引用次数: 4
An integrated framework for intelligent computer aided design of chemical processes 化工过程智能计算机辅助设计的集成框架
M. S. Gandikota, N. Narayanan, J. Maroldt
{"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}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信