Proceedings Eighth Conference on Artificial Intelligence for Applications最新文献

筛选
英文 中文
The synthesis of simulation programs used in CCD design 综合仿真程序用于CCD的设计
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200042
T. Tatsumi, T. Usuki, Y. Kagawa
{"title":"The synthesis of simulation programs used in CCD design","authors":"T. Tatsumi, T. Usuki, Y. Kagawa","doi":"10.1109/CAIA.1992.200042","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200042","url":null,"abstract":"XAS, an expert system that automatically synthesizes charge coupled device (CCD) simulation programs, has knowledge about the characteristics of CCD chips and the way to write simulation programs. The authors discuss the problems of writing simulation programs and justify the use of an expert system to solve these problems. They describe the module structure of XAS and the type and usage of knowledge that every module has. Using this knowledge, together with mask data and process data which have been entered by the designer, XAS divides regions appropriately and then extracts functions for every region. By merely selecting the purpose of this simulation, the system automatically synthesizes a simulation program with relevant parameters. Currently, 70 to 80% of the CCD chips manufactured by the Sony Corporation are designed with the help of XAS. By using XAS, the design time has been cut to one third of the original.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132379873","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
Automated diagnosis for the time of flight scintillation array: development of a structural and behavioral reasoning system 飞行时间闪烁阵列的自动诊断:结构和行为推理系统的开发
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200013
R. Paasch, A. Agogino
{"title":"Automated diagnosis for the time of flight scintillation array: development of a structural and behavioral reasoning system","authors":"R. Paasch, A. Agogino","doi":"10.1109/CAIA.1992.200013","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200013","url":null,"abstract":"The development and implementation are described of the time of flight validation system, a system for the automated diagnosis of a large-scale nuclear physics detector. The diagnostic system is multi-leveled, combining a single monitoring level based on statistical methods with two model-based diagnostic levels, one operating on structural information and the other using both structural and behavioral models. The later diagnostic level uses a qualitative data model of the detector to provide evidence that is mapped on a continuous basis from observation values to belief in component failure hypotheses. The general architecture is scalable.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123015215","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
GRAIL: an integrated artificial intelligence system for gene recognition and interpretation GRAIL:用于基因识别和解释的集成人工智能系统
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200004
X. Guan, R. Mural, J. Einstein, R. Mann, E. Uberbacher
{"title":"GRAIL: an integrated artificial intelligence system for gene recognition and interpretation","authors":"X. Guan, R. Mural, J. Einstein, R. Mann, E. Uberbacher","doi":"10.1109/CAIA.1992.200004","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200004","url":null,"abstract":"The development of an integrated artificial intelligence system, GRAIL (gene recognition and analysis Internet link) is described. This system uses a combination of a multi-sensor/neural network, expert system, and parallel search tools to recognize and interpret genes in DNA sequences. A simple electronic mail (E-mail) interface makes the system accessible through Internet. The strength of the system in recognizing and interpreting genes in DNA sequences and the simple E-mail interface have already attracted more than 150 users. The success of the system is largely due to the multi-sensor/neural network approach and the integration of several AI tools. The modular development and flexible framework have made it easier to incorporate new knowledge and tools into the existing system.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125093495","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}
引用次数: 11
Representation and control of knowledge bases for support of multiple tasks 支持多任务的知识库的表示和控制
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200010
Y.-T. Park, D. C. Wilkins
{"title":"Representation and control of knowledge bases for support of multiple tasks","authors":"Y.-T. Park, D. C. Wilkins","doi":"10.1109/CAIA.1992.200010","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200010","url":null,"abstract":"The goal was to develop a use-independent knowledge structure at the domain and strategy level and to enable a knowledge-based system to exhibit diverse dimensions of expertise, such as problem-solving, explanation, and learning, using the knowledge base. The authors show the functional capabilities of such advanced generic expert systems with respect to representation and control of problem solving strategy knowledge. In this approach, domain and meta level knowledge is represented in a declarative, explicit, and modular way. This improved representation at the strategy and domain level enables the performance system, MINERVA, and the learning program, ODYSSEUS, to use the same knowledge base. Explicit representation of schedular knowledge enables MINERVA to solve a problem opportunistically and to generate multi-level explanations of its own problem-solving.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117266744","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
An expert system for the generation of digital frequency discriminator multiplexes 数字鉴频复用器生成专家系统
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200022
D. Landon
{"title":"An expert system for the generation of digital frequency discriminator multiplexes","authors":"D. Landon","doi":"10.1109/CAIA.1992.200022","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200022","url":null,"abstract":"An equipment configuration expert system was developed to enable non-engineers to generate configurations, called multiplexes, for a digital frequency discriminator. Analysis of the multiplex generation problem indicated that a rule-based, goal-driven expert system using scoring functions as a measure of multiplex performance would provide an automated way of generating new multiplexes. The multiplex generation system has been developed and allows non-engineers to automatically generate a new multiplex in 5-10 minutes. The multiplex generation system is being used as an in-house tool, thereby releasing the design engineers for more productive work, in addition to being marketed as a standard product.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127480248","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 transaction model for multiagent production systems 多智能体生产系统的事务模型
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200043
T. Ishida
{"title":"A transaction model for multiagent production systems","authors":"T. Ishida","doi":"10.1109/CAIA.1992.200043","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200043","url":null,"abstract":"A transaction model for multiagent production systems communicating through shared working memory is proposed. To realize arbitrary interleaved rule firings of multiple agents, each transaction is formed when a rule is selected for firing. An efficient concurrency control protocol, called the lazy lock protocol, is introduced to guarantee the serializability of rule firings. As a result of allowing interleaved rule firings, however, ensuring the serializability becomes no longer enough to guarantee the consistency of the shared working memory. A logical dependency model and its maintenance mechanisms are thus introduced to overcome this problem.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122268177","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
Extending the indexing vocabulary of case based reasoning with task specific features 用任务特定的特征扩展基于案例推理的索引词汇表
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200034
O. Fischer, J.W. Smith, P. Smith
{"title":"Extending the indexing vocabulary of case based reasoning with task specific features","authors":"O. Fischer, J.W. Smith, P. Smith","doi":"10.1109/CAIA.1992.200034","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200034","url":null,"abstract":"One of the central issues in case-based reasoning is the choice of an indexical vocabulary that allows for efficient retrieval of experiential knowledge from memory. The authors propose a new indexical vocabulary based on features of abstract problem types. The rationale for such a vocabulary was supported by empirical data gathered in the domain of alloantibody identification, and by the interpretation of this data in terms of the computational complexity of abductive reasoning. A case-based reasoning model of abduction is proposed that integrates both a domain and a problem type specific indexical vocabulary. The advantages of this model in terms of memory retrieval, case adaptation and problem solving are discussed.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115012252","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
Uncertainty representation in practical decision support systems for the field service of large systems 大型系统现场服务决策支持系统中的不确定性表示
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200009
N. Gupta
{"title":"Uncertainty representation in practical decision support systems for the field service of large systems","authors":"N. Gupta","doi":"10.1109/CAIA.1992.200009","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200009","url":null,"abstract":"The application of probabilistic reasoning in building a practical decision support system for servicing large physical systems is described. Certainty factors (CFs) with probabilistic semantics reduce both the representational and the computational complexities of probabilistic reasoning. When the modularity assumption is violated, however, their use results in counterintuitive beliefs. To overcome this problem, context-dependent CFs must be computed. Qualitative conditions that context-dependent CFs should satisfy are derived. These derivations assume a sub-synergistic influence of causes on effects, which is typical in physical systems. These qualitative conditions admit many solutions of context-dependent CFs; therefore, the choice of an exact solution is arbitrary. Experimental results show improvement in the quality of updated beliefs with respect to the modularity assumption.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128836945","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
Knowledge acquisition support environment (KASE) 知识获取支持环境(KASE)
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200024
P. Reddy, D. Simmons
{"title":"Knowledge acquisition support environment (KASE)","authors":"P. Reddy, D. Simmons","doi":"10.1109/CAIA.1992.200024","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200024","url":null,"abstract":"A knowledge acquisition support environment (KASE) is described that assists the knowledge engineer from the initial elicitation of domain expert knowledge through the actual prototyping of a working knowledge-based system (KBS). The KASE system is based on the commercially available KMS hypermedia system. Salient aspects of KASE include a collaborative environment, an easy to use interface, hierarchically structured templates to record knowledge, extensive validation capabilities, and creation of facts, rules and properties in an intermediate knowledge canonical form to allow prototyping. KASE had been successfully used to acquire knowledge for a complex expert system.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131018710","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 expert system to perform functional diagnosis of a bus subsystem 对总线子系统进行功能诊断的专家系统
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200015
C. Preist, D. Allred, A. Gupta
{"title":"An expert system to perform functional diagnosis of a bus subsystem","authors":"C. Preist, D. Allred, A. Gupta","doi":"10.1109/CAIA.1992.200015","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200015","url":null,"abstract":"AGATHA is an expert system designed to assist in the test and diagnosis of Hewlett-Packard PA-RISC processor boards during manufacturing. It consists of several smaller cooperating expert systems, called slices, capable of diagnosing different parts of a circuit board. The authors focus on the slice responsible for diagnosing the cachebus subsystem, outlining its design and performance. This slice diagnoses failures on an electronic bus by processing a large quantity of test data. Rather than using heuristics, it uses a causal rule-based approach, and it is able to handle intermittent faults and also most situations involving multiple faults. Updating the system to handle new boards is made easier by separating board-specific knowledge from test-specific knowledge and the process is now automated. The system has been deployed and is in regular use at three sites.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131143898","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
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学术官方微信