{"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}
{"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}
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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}