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

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

筛选
英文 中文
Model-based diagnosis using qualitative causal model and set-covering 基于定性因果模型和集覆盖的模型诊断
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200011
M. Iwamasa, J. Suzuki, S. Mochiji, N. Sueda
{"title":"Model-based diagnosis using qualitative causal model and set-covering","authors":"M. Iwamasa, J. Suzuki, S. Mochiji, N. Sueda","doi":"10.1109/CAIA.1992.200011","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200011","url":null,"abstract":"A model-based diagnostic system is proposed for continuous physical devices such as a thermal power plant. The aim of model-based diagnosis is to find faulty components in the model from observations. Set-covering is an approach to diagnosis when the causal relations between symptoms and disorders are clearly defined. The new method combines the model-based approach and set-covering approach. The authors introduce the qualitative causal model (QCM) and define symptoms and qualitative disorders in QCM. The system has two submodules to calculate diagnosis from symptoms. The qualitative propagation module calculates the causal relations between the symptoms and the qualitative disorders. The BIPARTITE module based on set-covering generates all the diagnoses using these relations. The proposed method is proved to realize the diagnosis from first principles in the continuous physical domain.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"25 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":"121673665","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
Intelligent document generation system for construction planning 施工规划智能文件生成系统
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200005
T. Kitazawa, M. Hayata, M. Matsuda, S. Kaji
{"title":"Intelligent document generation system for construction planning","authors":"T. Kitazawa, M. Hayata, M. Matsuda, S. Kaji","doi":"10.1109/CAIA.1992.200005","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200005","url":null,"abstract":"A computer-based system for generating construction plan documents using expert systems is described. The system is composed of multiple expert systems, a CAD system, databases and a word-processing system which binds the expert and CAD systems. Each expert system includes information for an element of construction planning, such as method and machine selection, scheduling and cost estimation. These expert systems can be directly called from within a page of the document displayed on the screen and the results inferred by the expert systems are automatically incorporated back into the document. The system includes a consistency check procedure that checks contradictions between results inferred by several expert systems and provides the user with information to maintain consistency throughout the document.<<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":"122260543","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
KITSS-a functional software testing system using a hybrid domain model 一个使用混合领域模型的功能软件测试系统
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200021
Uwe Nonnenmann, J. K. Eddy
{"title":"KITSS-a functional software testing system using a hybrid domain model","authors":"Uwe Nonnenmann, J. K. Eddy","doi":"10.1109/CAIA.1992.200021","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200021","url":null,"abstract":"The knowledge-based interactive test script system (KITSS) automates functional testing in the domain of telephone switching software. KITSS uses novel approaches to achieving several desirable goals. Telephone features can be specified in English by using a statistical parser that is trained in the domains's technical dialect. KITSS will then convert these specifications into a formal representation that is audited for coverage and sanity. To accomplish this, a theorem-prover-based inference mechanism is used, along with a hybrid domain model represented in both a static terminological logic and a dynamic temporal logic. The corrected test is translated into a test language that is run against the switch on a test harness.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"34 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":"133294354","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}
引用次数: 21
Integrating model-based and heuristic features in a real-time expert system for power distribution networks 基于模型和启发式特征的配电网实时专家系统集成
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200046
M. Pfau-Wagenbauer, W. Nejdl
{"title":"Integrating model-based and heuristic features in a real-time expert system for power distribution networks","authors":"M. Pfau-Wagenbauer, W. Nejdl","doi":"10.1109/CAIA.1992.200046","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200046","url":null,"abstract":"An intelligent alarm processing expert system which is integrated in a large supervisory control and data acquisition system for power distribution networks is described. The expert system works as an operator support tool by diagnosing network disturbances and device malfunctions. The expert system covers online processing of real-time data and intelligent alarm processing, as well as the automatic creation and update of the knowledge base. It consists of approximately 25,000 units and 190 rules. The system runs on SUN workstations and was integrated with the supervisory control and data acquisition system via a LAN. The expert system was implemented for the Public Utilities Board Singapore for controlling its 22-kV distribution network and has been online since November 1990.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"42 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":"128298292","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
Action selection in interactive model-based diagnosis 交互式模型诊断中的动作选择
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200012
J.-S. Chen, S. Srihari
{"title":"Action selection in interactive model-based diagnosis","authors":"J.-S. Chen, S. Srihari","doi":"10.1109/CAIA.1992.200012","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200012","url":null,"abstract":"The authors developed a probabilistic diagnosis theory that incorporates probabilistic reasoning into model-based diagnosis. In addition to the structural and functional information normally used in model-based diagnosis, probabilities of component failure are also used to solve the two major subtasks of interactive model-based diagnosis: hypothesis generation and action selection. The authors describe the action selection strategy based on this probabilistic theory. The major contributions are the incorporation of probabilistic reasoning into model-based diagnosis and the integration of repair as a part of diagnosis.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":" 22","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133121416","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
SPOTLIGHT: a data explanation system 聚光灯:一个数据解释系统
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200003
T. Anand, Gary S. Kahn
{"title":"SPOTLIGHT: a data explanation system","authors":"T. Anand, Gary S. Kahn","doi":"10.1109/CAIA.1992.200003","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200003","url":null,"abstract":"SPOTLIGHT is a knowledge-based product that makes it possible to extract information from large databases of point-of-scale scanner data. SPOTLIGHT can be classified as a data explanation system. Compared to simpler data interpretation systems, in data explanation systems large bodies of data are analytically relevant; explanation models are complex, regarding the causal interrelation of events over time; and user needs in terms of both analysis and presentation are heterogeneous. The authors illuminate some of the design challenges these systems face by discussing the requirements, functionality, and system architecture of SPOTLIGHT. These challenges include the need to accommodate a broad spectrum of tasks and user roles; to represent generic knowledge while allowing user-specific customization; to integrate with third party software; and to achieve effective use of centralized mainframe and distributed PC computing resources.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"130 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":"123073325","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}
引用次数: 30
Combining constraint satisfaction and local improvement algorithms to construct anaesthetists' rotas 结合约束满足和局部改进算法构建麻醉师轮换表
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200017
B. Smith, S. Bennett
{"title":"Combining constraint satisfaction and local improvement algorithms to construct anaesthetists' rotas","authors":"B. Smith, S. Bennett","doi":"10.1109/CAIA.1992.200017","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200017","url":null,"abstract":"A system for compiling weekly rotas for anaesthetists in a large hospital is described. The rota compilation problem is an optimization problem where the number of tasks which cannot be assigned to an anaesthetist must be minimized and is formulated as a constraint satisfaction problem (CSP). The forward checking algorithm is used to find a feasible rota, but, because of the size of the problem, it cannot find an optimal solution in an acceptable time. Instead, an algorithm is devised which makes local improvements to a feasible solution. The algorithm makes use of the constraints as expressed in the CSP to ensure that feasibility is maintained, and it produces very good rotas which are being used by the hospital involved in the project.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"75 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":"115909512","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
Constraint propagation over ordered domains 有序域上的约束传播
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200008
B. Li, E. Burke, D. Elliman
{"title":"Constraint propagation over ordered domains","authors":"B. Li, E. Burke, D. Elliman","doi":"10.1109/CAIA.1992.200008","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200008","url":null,"abstract":"A new algorithm is described for propagating constraints over ordered domains. The method is particularly suitable for applications where variables may be restricted to a sequence of contiguous values within a domain. By describing the characteristics of the domains, and adding variables and constraints, it is possible to specify a wide variety of problems in a simple and intuitive way. The algorithm may then be invoked to limit the solution space. It is particularly suitable for interactive use, with the user modifying the ranges of variables and then invoking constraint propagation to establish all consequences.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"109 3 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":"130630274","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
Multilingual natural language processing environments 多语言自然语言处理环境
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200028
R. F. Walters, C. Zhang
{"title":"Multilingual natural language processing environments","authors":"R. F. Walters, C. Zhang","doi":"10.1109/CAIA.1992.200028","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200028","url":null,"abstract":"The authors describe the need for multilingual natural language processing and review previous work relating to the field. They present a proposal for a multilingual natural language processing environment, providing an overview of the total plan and describing specific components that have been implemented or are nearing the final design stage. Examples of several application areas are included in which this approach would be an effective tool for research and development.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"38 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":"114382398","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
Learning to predict DNA hydration patterns 学习预测DNA水合模式
Proceedings Eighth Conference on Artificial Intelligence for Applications Pub Date : 1992-03-02 DOI: 10.1109/CAIA.1992.200031
D. Cohen, C. Kulikowski, B. Schneider, H. Berman
{"title":"Learning to predict DNA hydration patterns","authors":"D. Cohen, C. Kulikowski, B. Schneider, H. Berman","doi":"10.1109/CAIA.1992.200031","DOIUrl":"https://doi.org/10.1109/CAIA.1992.200031","url":null,"abstract":"The authors examine the problem of learning to predict hydration patterns around DNA molecules. It is assumed that there is a limited, but so far unknown, set of hydration patterns, and that there is a set of features of a DNA molecule which determines its pattern. Since the patterns for the DNA molecules in the database were not known a priori, most traditional classifier learners cannot be applied directly. The authors have combined cluster analysis with a decision tree learner to develop classifiers, even though training examples were not initially labeled with classes. Some empirical results of this learning are presented, and it is shown how the learned decision trees are being used to gain insight into the domain of DNA crystallography.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"5 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":"114911521","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
首页 上一页 下一页 尾页
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学术官方微信