Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2最新文献

筛选
英文 中文
The consistency problem of knowledge bases 知识库的一致性问题
Shensheng Zhao, S. Shen
{"title":"The consistency problem of knowledge bases","authors":"Shensheng Zhao, S. Shen","doi":"10.1145/98894.98924","DOIUrl":"https://doi.org/10.1145/98894.98924","url":null,"abstract":"To check and analyze the effectiveness of knowledge base system is a very important issue for implementing the promises of AI technology. This issue has been largely ignored by researchers in this field. This paper will focus on and present the consistency problem, which is a important aspect of knowledge base effectiveness analysis, of knowledge base systems. The 'classical' definition for consistency of a formal system is inadequate for many cases under knowledge base system context. The earlier work by others have roughly defined the consistency problem of knowledge base systems, and given some simplified results. We will develop a qualitative model for the knowledge base systems, and investigate some properties of the rule set of the knowledge base. This model can be used for specification and analysis of the behaviors of the knowledge base systems. Based on this model, we will further identify and clarify the consistency problem of knowledge base system and propose a model-based methodology used for checking and analyzing the consistency of a given knowledge base system. This model-based checking methodology may help for the design and implementation of the knowledge base systems in many applications.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"4 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":"131133673","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
Netman: a learning network traffic controller Netman:一个学习型网络流量控制器
B. Silver
{"title":"Netman: a learning network traffic controller","authors":"B. Silver","doi":"10.1145/98894.99101","DOIUrl":"https://doi.org/10.1145/98894.99101","url":null,"abstract":"One of the goals of Machine Learning is the production of software that can improve itself. Such software can learn from experience and adapt to changing situations and requirements. In addition, such software can refine its knowledge-base, perhaps leading to a level of expertise beyond that of human experts. This paper describes NETMAN, a knowledge-based program that uses a machine learning technique, Knowledge-based Learning, in the domain of Network Traffic Control. NETMAN's task is to maximize call completion in a circuit-switched telecommunications network. NETMAN learns from its own experiences and by observing the actions of other agents. NETMAN is one of the components of ILS (Integrated Learning System), which contains implementations of several learning paradigms working together to improve problem-solving performance. NETMAN combines two machine learning paradigms: Explanation-Based Learning and Empirical Learning.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"22 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113981802","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}
引用次数: 17
CHECKER: an efficient algorithm for knowledge base verification CHECKER:一种高效的知识库验证算法
X. Yu, Gautam Biswas
{"title":"CHECKER: an efficient algorithm for knowledge base verification","authors":"X. Yu, Gautam Biswas","doi":"10.1145/98894.98923","DOIUrl":"https://doi.org/10.1145/98894.98923","url":null,"abstract":"MIDST (Mixed Inferencing Dempster Shafer Tool) is a rule-based expert system shell that incorporates mixed-initiative reasoning and uncertain reasoning based on the Dempster Shafer evidence combination scheme. This paper discusses the CHECKER program, a subcomponent of MIDST, which makes use of the existing rule network structure to check the consistency and completeness of the MIDST knowledge base in a efficient manner.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"21 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":"131585226","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
Knowledge system applications in large business communication operations 知识系统在大型企业通信操作中的应用
N. Chu
{"title":"Knowledge system applications in large business communication operations","authors":"N. Chu","doi":"10.1145/98894.98918","DOIUrl":"https://doi.org/10.1145/98894.98918","url":null,"abstract":"A knowledge-based system prototype called Operations Manager (OpMan) is designed to aid the optimization of resources and productivity in a Transaction Call Management Center. The architecture of the prototype is explained. Multiple knowledge sources based on user's organizational structures are incorporated.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"1 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":"130556001","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
The design and implementation of an analytical chemistry expert system 分析化学专家系统的设计与实现
M. Bleyberg, Tieren Zhou, T. Isenhour, J. C. Marshall
{"title":"The design and implementation of an analytical chemistry expert system","authors":"M. Bleyberg, Tieren Zhou, T. Isenhour, J. C. Marshall","doi":"10.1145/98894.99126","DOIUrl":"https://doi.org/10.1145/98894.99126","url":null,"abstract":"An expert system is described that controls a standard laboratory robotic system. A conceptual model of the domain is introduced to integrate every aspect of the design and execution of a laboratory procedure with robot's movements. Constructs of the conceptual model are used to define a Standard Robotic Methods system for volumetric, gravimetric, and spectrophotometric analyses.","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":"124609030","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
ESTO: a practical environment for industrial diagnostics systems ESTO:工业诊断系统的实用环境
Y. Miyabe, O. Dairiki, E. Minami
{"title":"ESTO: a practical environment for industrial diagnostics systems","authors":"Y. Miyabe, O. Dairiki, E. Minami","doi":"10.1145/98894.98916","DOIUrl":"https://doi.org/10.1145/98894.98916","url":null,"abstract":"This paper describes an integrated environment for industrial diagnostic expert system development.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"78 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":"132349570","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
Safety management of civil structures using knowledge based systems 基于知识系统的土木结构安全管理
Mauro Cadei, Marco Lazzari, P. Salvaneschi
{"title":"Safety management of civil structures using knowledge based systems","authors":"Mauro Cadei, Marco Lazzari, P. Salvaneschi","doi":"10.1145/98894.98906","DOIUrl":"https://doi.org/10.1145/98894.98906","url":null,"abstract":"With regard to the problems of safety of civil engineering structures, the technology of knowledge-based systems can provide new tools to manage the problem complexity and to assist safety experts and operators. The approach of the so called second-generation or deep-knowledge expert systems extends the idea of numerical modelling. It proposes the construction of software systems which implement complex models (with quantitative and qualitative attributes) and functions able to reason about the model structure and behaviour. These models and reasoning functions can support human activities like the fusion of information, diagnosis, explanation and forecasting. The aim of such systems is not to substitute the expert, but to extend the expert's ability to deal quickly and efficiently with complex problems. In this paper, a family of knowledge-based systems is presented, whose members share the same conceptual reference framework to deal with seismic risk evaluation of masonry buildings and safety assessment of concrete dams.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"1 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":"129695474","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
PAL: an intelligent help system PAL:智能帮助系统
J. Silber
{"title":"PAL: an intelligent help system","authors":"J. Silber","doi":"10.1145/98894.98903","DOIUrl":"https://doi.org/10.1145/98894.98903","url":null,"abstract":"Computer programs are becoming increasingly complex and are often accompanied by an unwieldy amount of documentation. At the same time, the user community is expanding to include users at all levels of expertise. Most users, especially casual users, have neither the time nor inclination to forage through bulky manuals for a specific command, or to see if ‘there’s a better way to do this.’ Although tutorial programs and on-line manuals are commonplace in today’s software, there is a need for additional support for the user, namely, an intelligent heip system [6,8,11,16,21]. PAL is an intelligent help system currently under development at the System Research & Development Institute, Teijin Limited. PAL differs from traditional help systems in two important aspects. These are the ability to provide","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"34 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":"126160776","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
Personal computer (PC) thermal analyzer 个人电脑热分析仪
J. Vaccaro, Douglas J. Holzhauer
{"title":"Personal computer (PC) thermal analyzer","authors":"J. Vaccaro, Douglas J. Holzhauer","doi":"10.1145/98894.98928","DOIUrl":"https://doi.org/10.1145/98894.98928","url":null,"abstract":"Abstract : Rome Air Development Center (RADC) has developed an expert system based design verification tool to increase the efficiency of calculating device junction temperatures on printed circuit boards (PCBs). This tool, the Personal Computer (PC) Thermal Analyzer, was developed for reliability and electronic design engineers for use during the computer-aided design (CAD) phase. The PC thermal Analyzer was developed through the combination of two technical areas, thermal analysis and expert systems. This intelligent analyzer is a more effective verification tool because traditional tools require much time and knowledge of thermal analysis, while the PC Thermal Analyzer is quick, requires no expertise in thermal anlaysis, and provides useful results during the CAD phase. Keywords: Finite element analysis; Finite difference theory; Automatic modeling preprocessors.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128086216","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
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学术文献互助群
群 号:604180095
Book学术官方微信