发布求助
文献互助 智能选刊 最新文献

Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications最新文献

筛选
英文 中文
Symbolic simulation: a new approach to automated electronic circuit design 符号仿真:一种自动化电子电路设计的新方法
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13296
A. Konczykowska, J. Mulawka, M. Bon
{"title":"Symbolic simulation: a new approach to automated electronic circuit design","authors":"A. Konczykowska, J. Mulawka, M. Bon","doi":"10.1109/AIIA.1988.13296","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13296","url":null,"abstract":"Presents a methodology for the generation of circuit structures using artificial intelligence concepts and symbolic simulation tools. A mixed declarative-algorithmic approach is used for circuit-architecture selection. The usefulness of the declarative languages Prolog, in comparison with classical procedural languages, is pointed out for such an approach. A practical example is given in the domain of mixed analog-digital silicon or gallium arsenide integrated circuits, concerning the generation of integrator building blocks for high frequency applications. This study was executed with SCYMBAL, the symbolic simulator for switched-capacitor networks.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"7 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":"131953678","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
High-level robot task specification 高级机器人任务规范
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13315
N. Abe, S. Sako, S. Tsuji
{"title":"High-level robot task specification","authors":"N. Abe, S. Sako, S. Tsuji","doi":"10.1109/AIIA.1988.13315","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13315","url":null,"abstract":"An experimental task-understanding robotics system is reported that can simulate real assembly operations in an imaginary three-dimensional geometric space. The system is given as input a set of sentences from an instruction manual elucidating mechanical assembly operations. It can be considered that these sentences give a set of subgoals that must be attained among mechanical parts to be assembled. The system must solve them and translate them into more complete command sequences by referring to three-dimensional geometric models of mechanical parts and figures attached to these sentences. The ambiguity of natural language and the assumption that readers have common-sense knowledge about assembly operations make it difficult for the system to obtain a correct sequence of operations.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"463 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":"116161219","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
Concurrent object-oriented diagnostic system 并发面向对象诊断系统
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13352
N. Nishiuchi
{"title":"Concurrent object-oriented diagnostic system","authors":"N. Nishiuchi","doi":"10.1109/AIIA.1988.13352","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13352","url":null,"abstract":"The author describes a diagnostic expert-system shell called CCC, which is based on concurrent object-oriented framework. Since CCC uses high-level, declarative, and structured knowledge representation specialized for diagnosis, the domain experts can easily encode their knowledge by themselves (i.e. without knowledge engineers). The diagnostic knowledge consists of fault classification knowledge, causal knowledge, and check knowledge. The process of diagnosis is divided into two phases, fault classification and causal diagnosis. A novel kind of user interface has been developed to make good use of the inference mechanism. The interface permits the user to semivoluntarily input symptoms in a lumped manner, reducing the user's burden and the time required for diagnosis as a whole.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"9 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":"125315732","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
An automatic nuclear core configuration generator 一个自动核芯配置发生器
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13285
P. Dauboin, J. Lucas
{"title":"An automatic nuclear core configuration generator","authors":"P. Dauboin, J. Lucas","doi":"10.1109/AIIA.1988.13285","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13285","url":null,"abstract":"An automatic nuclear core reload pattern generator has been developed to solve the fuel-shuffling problem. The general problem solver SIREN and a production-rule system of shuffling heuristics are used to find efficient fuel-assembly configurations. The proposed expert system enables experts to check heuristic rules by conjoining a rapid execution time and a declarative approach. This expert system combines the rapid execution time of the Fortran routine and the power of the declarative language GENESIA II. An application to a real case of fuel shuffling demonstrates the capabilities of this expert system to generate satisfactory reload patterns combining modularity and efficiency.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"9 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":"117042085","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
Automated reasoning: a new concept in power system security analysis 自动推理:电力系统安全分析的新概念
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13270
S. Shah, S. M. Shahidehpour
{"title":"Automated reasoning: a new concept in power system security analysis","authors":"S. Shah, S. M. Shahidehpour","doi":"10.1109/AIIA.1988.13270","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13270","url":null,"abstract":"The authors consider a specific application of expert systems for power systems security analysis. Once a severe disruption has occurred in the power network, a series of tasks have to be accomplished before the operator can make any decisions. It is suggested that a computer-driven decision-making mechanism will help the operator to perform his duties with minimum flaws and maximum efficiency. Several aspects of the application of automated reasoning in power system security analysis have been addressed. The adjustments of real and reactive power injections, phase-shifters, and tap changing transformers have been considered as proper corrective actions in establishing the heuristic rules. The implementation of the idea has been tested on a six-bus system, and the results have been compared with those of analytical approaches. The proposed methodology has also been applied to the IEEE 30-bus system, and results are presented.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"52 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":"128857997","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}
引用次数: 8
An embedded expert system for performance monitoring of process stations in a distributed process automation system 分布式过程自动化系统中过程站性能监测的嵌入式专家系统
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13334
K. Kaarela, R. Korhonen, H. Huotari, K. Autio
{"title":"An embedded expert system for performance monitoring of process stations in a distributed process automation system","authors":"K. Kaarela, R. Korhonen, H. Huotari, K. Autio","doi":"10.1109/AIIA.1988.13334","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13334","url":null,"abstract":"An embedded expert system for monitoring the performance of process stations in a distributed process automation system was developed. The system was realized using an expert system compiler that produces a set of C language modules. For small applications these tools seem adequate. This approach also guarantees ease of portability and embeddability and efficient execution. The expert systems at the process stations in this application, work independently and concentrate on only station-level performance problems. Further research is to be executed in the field of diagnosing the system level performance and capacity of the automation system.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"10 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":"124214025","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
Scheplan-a scheduling expert for steel-making process
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13333
M. Numao, S. Morishita
{"title":"Scheplan-a scheduling expert for steel-making process","authors":"M. Numao, S. Morishita","doi":"10.1109/AIIA.1988.13333","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13333","url":null,"abstract":"Scheplan is an expert system kernel that was developed for scheduling steel-making processes. The typical constraints in such processes are a fixed sequence of production stages, no machine conflicts among products, low waiting time, continuous use of some machines, and a resting time requirement for some machines. The approach presented for designing a schedule that satisfies the constraints, is not to obtain an optimal solution, but rather to obtain a feasible solution efficiently. The reason for this is that it is very difficult to define an evaluation function for the optimum, and that a combinatorial explosion may prevent a schedule from being obtained in a reasonable time. A cooperative schedule method is introduced in which the system efficiently generates a candidate schedule by a subscheduling and merging method, and the user evaluates and modifies the candidate schedule by interactive refinement.<<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":"128498395","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}
引用次数: 24
Designing an inference engine: from ontology to control 推理引擎的设计:从本体到控制
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13264
M. Freiling
{"title":"Designing an inference engine: from ontology to control","authors":"M. Freiling","doi":"10.1109/AIIA.1988.13264","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13264","url":null,"abstract":"The author has proposed a method called ontological analysis to help beginning knowledge engineers identify and formalize the core concepts of the task under study. Ontological analysis begins with the construction of a semantic grammar that captures regular features of the expert articulations. From the grammar, a more rigorous analysis proceeds to define the knowledge structures and the primitive fragments of the inference engine using domain equations as a formal notation tool. The author develops a method for proceeding from an identification of the knowledge structures to an inference strategy that exploits these knowledge structures to perform the task at hand. He introduces the techniques of analyzing expert articulations and organizing them into a semantic grammar; shows how this analysis can be formalized into domain equations and discusses the design of inference strategies based on the analysis of expert articulations. The task of trouble shooting an oscilloscope is used as an example to illustrate the methodology.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"735 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":"128038509","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}
引用次数: 6
Development of a knowledge-based dispatch management system for a municipal transit centre 为某市政运输中心开发以知识为基础的调度管理系统
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13338
T. Gomi, A. Griffith, Use Oppacher, R. Stanley, P. Tuân
{"title":"Development of a knowledge-based dispatch management system for a municipal transit centre","authors":"T. Gomi, A. Griffith, Use Oppacher, R. Stanley, P. Tuân","doi":"10.1109/AIIA.1988.13338","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13338","url":null,"abstract":"The Ministry of Transportation of the Ontario Government (MTO) is attempting to determine how suited expert-system technology might be to any of the operational areas within their mandate. To this end, MTO selected an area called 'spare-board' management at a municipal transit dispatch center as a target. In developing the system for the twin cities of Kitchener and Waterloo, the development team adopted a set of 'real-world AI system' criteria, and designed and refined the system accordingly. The use of commercial expert-system shells was abandoned early in the development cycle due to the inability of these products to comply with the selection criteria. Several phases of prototyping resulted in the emergence of a system which has recently been adopted into daily use. While most of the goals set at the outset of the project have been attained, development is still underway to incorporate other features, including a voice interface.<<ETX>>","PeriodicalId":112397,"journal":{"name":"Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications","volume":"112 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":"128080604","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
Using problem-solving methods to impose structure on knowledge 使用解决问题的方法对知识进行结构化
Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications Pub Date : 1988-05-25 DOI: 10.1109/AIIA.1988.13262
J. McDermott
{"title":"Using problem-solving methods to impose structure on knowledge","authors":"J. McDermott","doi":"10.1109/AIIA.1988.13262","DOIUrl":"https://doi.org/10.1109/AIIA.1988.13262","url":null,"abstract":"The author outlines a taxonomy of methods that identifies some of the discriminating characteristics of the kinds of methods expert systems use and that suggests how methods can be mapped onto tasks. It is suggested that half-weak methods are an important class of methods because they can have a quite broad scope of applicability, but provide substantially more help than the weak methods do in specifying what task-implementation knowledge needs to be collected to perform a particular task and how that knowledge is appropriately represented. It is claimed that it should be possible to devise a set of inference engines (half-weak methods), each of which defines the roles that the task-implementation knowledge it requires must play and the form in which that knowledge is to be encoded. Two half-weak methods, MOLE and SALT, are considered in support of these points.<<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":"130399381","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}
引用次数: 12
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信