Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2最新文献
{"title":"Artificial intelligence in the treatment of ventricular tachycardia","authors":"E. D. Huthnance, D. DiLorenzo","doi":"10.1145/98894.98912","DOIUrl":"https://doi.org/10.1145/98894.98912","url":null,"abstract":"This paper describes the development of an expert system to aid physicians in locating the origin of Ventricular Tachycardia (VT). The system combines a traditional rule based system with digital signal processing routines which provide the input for the rule based system.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"19 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":"127787316","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 parallel logic programming approach to combinatorial optimization in design","authors":"J. Butler, H. Ohtsubo","doi":"10.1145/98894.98938","DOIUrl":"https://doi.org/10.1145/98894.98938","url":null,"abstract":"An approach to the solution of combinatorial optimization problems using parallel logic programming is presented. The solution space is divided with a separate process (worker process) assigned to search each subspace. In order to have information regarding the most recent optimal combination available to all worker processes, a tree of manager processes is established to relay discoveries at a given worker process to other worker processes. The performance of this method is tested through the application to a structural design problem. The execution time was measured while varying the number of processors and super-linear speed-up was attained.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"70 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":"133599416","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 knowledge-based approach for power system dynamic security assessment","authors":"B. Jeyasurya, S. Venkata","doi":"10.1145/98894.98908","DOIUrl":"https://doi.org/10.1145/98894.98908","url":null,"abstract":"This paper presents a knowledge-based method for predicting the robustness of a power system to severe disturbances. The method builds decision trees using the attributes which are closely related to the stability of the power system. A simple power system is used to illustrate the important features of the proposed method.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"17 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":"126765305","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":"Application of machine learning to the maintenance of knowledge-based performance","authors":"L. Holder","doi":"10.1145/98894.99112","DOIUrl":"https://doi.org/10.1145/98894.99112","url":null,"abstract":"Integration of machine learning methods into knowledge-based systems requires greater control over the application of the learning methods. Recent research in machine learning has shown that isolated and unconstrained application of learning methods can eventually degrade performance. This paper presents an approach called performance-driven knowledge transformation for controlling the application of learning methods. The primary guidance for the control is performance of the knowledge base. The approach is implemented in the PEAK system. Two experiments with PEAK illustrate how the knowledge base is transformed using different learning methods to maintain performance goals. Results demonstrate the ability of performance-driven knowledge transformation to control the application of learning methods and maintain knowledge base performance.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"64 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":"115704846","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 multiple perspective printed circuit board design guide: expert system prototype","authors":"W. A. Smith, J. C. Sutton, J. Liau","doi":"10.1145/98894.98927","DOIUrl":"https://doi.org/10.1145/98894.98927","url":null,"abstract":"An expert system prototype was developed to provide a merit rating for design options selected by a printed circuit board (PCB) designer. Experts in design, manufacturing, test and procurement from three companies were used to develop the knowledge base using a preselected PCB as a prototype. The system is designed to act as a guide toward accepted practice and to encourage consideration of manufacturing engineering, component selection, and test perspectives as well as product design orientation. The process involved team consensus building and problem solving among cross disciplinary functions within each company while capturing quantitative and qualitative design information in a structured transferable format. An internal and external knowledge base were created to promote flexibility in use for different products and varied company standards. The internal knowledge base contains system structure, chaining strategy, knowledge confirmation and calculation methodology. The external knowledge base contains issue weights, options, values, and descriptions. The user can modify and update the external knowledge base without depending on a system professional. Any or all of the overlapping frame-based issues may be selected when evaluating the design. Special attention is given to issues relevant to several branch and design options. AI TOPIC: Configuration and Design DOMAIN AREA: Printed Circuit Board Design LANGUAGE TOOL: Personal Consultant Plus STATUS: Working Prototype, Proposal Pending for Developed System EFFORT: Two Person Years IMPACT: This printed circuit board design guide promotes problem solving among the cross disciplinary functions of design, test, procurement, and manufacturing.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"62 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":"124760443","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 application of machine learning to the problem of parameter setting in non-destructive testing","authors":"J. C. Royer, A. Merle, C. Marie","doi":"10.1145/98894.99107","DOIUrl":"https://doi.org/10.1145/98894.99107","url":null,"abstract":"This article presents an aid system for the setting of non-destructive testing instruments. Some problems inherent in this field are briefly discussed, before showing how they led us to introduce machine learning techniques into the system. The approach uses learning from examples. The goal of the learning module is to determine dependencies between parameters of different experiments in order to automatically generate a set of rules. A prototype, called MANDRIN, has been implemented and is being evaluated on a real application: an x-ray tomograph. The first results are presented in the last section.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"43 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":"131836583","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 knowledge representation for use of catalyst activity patterns","authors":"S. Kito, T. Hattori, Y. Murakami","doi":"10.1145/98894.98905","DOIUrl":"https://doi.org/10.1145/98894.98905","url":null,"abstract":"This paper presents a knowledge representation for the use of a fuzzy and qualitative data called activity pattern. The data is very often used in a catalyst design which is one of subfields in chemistry. A significant characteristic of the activity pattern is as follows. That is, the human knowledge for using it is very complicated and the cognitive process cannot be represented/simulated by a sequential symbolic computation which is a basis of Artificial Intelligence. In this work, a knowledge representation scheme for making good use of the activity patterns is developed by constructing a cognitive model of the catalyst chemists' activity. A prototype expert system for a catalyst design, INCAP, is developed by using the knowledge representation scheme, and the overview of it is also mentioned.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"58 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":"133598834","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}
Franco Torquati, Massimo Paltrinieri, A. Momigliano
{"title":"A constraint satisfaction approach to operative management of aircraft routing","authors":"Franco Torquati, Massimo Paltrinieri, A. Momigliano","doi":"10.1145/98894.99140","DOIUrl":"https://doi.org/10.1145/98894.99140","url":null,"abstract":"This paper describes the solution to the problem of predictive and reactive aircraft routing developed in OMAR (Operative Management of Aircraft Routing), a system implemented by Bull HN in collaboration with Alitalia. The basic philosophy is to look at aircraft routing as a Constraint Satisfaction Problem (CSP) and to employ the most effective CSP techniques to solve it under the severe time constraints required by the customer.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"224 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":"133547668","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":"Optimal path analysis using a predator-prey neural network model","authors":"S. M. Huse","doi":"10.1145/98894.99122","DOIUrl":"https://doi.org/10.1145/98894.99122","url":null,"abstract":"A neural network research effort is currently underway at Rome Air Development Center, the Intelligence and Reconnaissance Division (RADC/IR). Griffiss Air Force Base. The purpose of this research is to solve computationally difficult intelligence exploitation problems that have eluded conventional techniques, e.g., target recognition, battlefield multi-sensor correlation and fusion, and intelligence situation assessment. This paper describes the use of a predator-prey neural network paradigm for path analysis. A proof-of-concept simulation is developed and successfully utilized to map optimal/near-optimal paths from given starting points to given destinations through a field of obstacles. The worst-case computational complexity for this algorithm, when implemented on a parallel architecture, is in order of &Ogr;(n), where n is equal to the number of nodes in the network. Serial implementations are in order of &Ogr;(n1.5). This is noteworthy because fast and reasonable solutions to complex problems are often preferable to an ideal optimal solution that typically requires specialized hardware and/or too much time and money to generate. Potential applications for this model include trafficability analysis and route prediction. This model could also serve as a pre-search tool to set search bounds for heuristic search algorithms such as A*. Application of this paradigm to the Enhanced Terrain Perspective Viewer is also discussed.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"89 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":"131224118","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":"The event calculus and consistency maintenance","authors":"Stephen G. Pimentel, J. Cuadrado","doi":"10.1145/98894.99146","DOIUrl":"https://doi.org/10.1145/98894.99146","url":null,"abstract":"The relationship between nonmonotonic formalisms and the problem of temporal projection has long been recognized, though not well understood. The straightforward application of various nonmonotonic formalisms (circumscription, default logic, etc.) has been blocked by the multiple-extension problem [Hanks and McDermott 87], where a seemingly intuitive set of axioms gives rise to extensions (or minimal models, depending on the formalism) other than the one desired. However, recent work in the semantics of logic programs has gone a long way toward clarifying this situation. In particular, a class of logic programs (called the stratified logic programs) has been identified in which nonmonotonic reasoning can be carried out in a well-defined fashion [Przymusinski 88]. This paper presents a system, based on the Event Calculus [Kowalski and Sergot 86], for temporal reasoning in a deductive database context. The axioms used to perform temporal projection are constructed to satisfy the stratification property, so that nonmonotonic inference can be performed safely. The system employs a caching mechanism which stores conclusions drawn from the axioms along with justifications. The cache is managed using truth maintenance techniques which faithfully reflect the nonmonotonic semantics of the system.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"80 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":"116372411","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}