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

[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91最新文献

筛选
英文 中文
Parallel sampling in Bayesian networks 贝叶斯网络中的并行抽样
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167077
V. Rego, A. Schulz
{"title":"Parallel sampling in Bayesian networks","authors":"V. Rego, A. Schulz","doi":"10.1109/TAI.1991.167077","DOIUrl":"https://doi.org/10.1109/TAI.1991.167077","url":null,"abstract":"An easily parallelized version of the Pearl sequential algorithm is presented, along with experimental results utilizing an Ncube/1, hypercube and a Sequent shared memory multiprocessor. Pearl's concurrent simulation algorithm is briefly reviewed, and three modifications to this algorithm are proposed. These modifications, known as stack, phase, and parallel simulations, show considerable speedup in experiments performed on the hypercube.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115150648","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
Algorithmic support for intelligent fire-code checking 算法支持智能消防代码检查
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167107
E. Delis, A. Delis
{"title":"Algorithmic support for intelligent fire-code checking","authors":"E. Delis, A. Delis","doi":"10.1109/TAI.1991.167107","DOIUrl":"https://doi.org/10.1109/TAI.1991.167107","url":null,"abstract":"Automatic intelligent fire-code checking is examined. A general approach is considered, wherein engineering code requirements are encoded in a knowledge-based expert system which evaluates a design for overall conformance. The system consists of a frame system, a rule system and a set of geometric algorithms. It identifies code violations and generates a report listing them. A number of the supporting algorithms for eliciting knowledge are discussed.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126012597","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
HEXPERT: an expert system building tool HEXPERT:专家系统构建工具
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167037
S. Yoo, I. Kim, Chang-Hoon Park, Hea J. Chang, Tae Gwon Kim, Mee K. Min
{"title":"HEXPERT: an expert system building tool","authors":"S. Yoo, I. Kim, Chang-Hoon Park, Hea J. Chang, Tae Gwon Kim, Mee K. Min","doi":"10.1109/TAI.1991.167037","DOIUrl":"https://doi.org/10.1109/TAI.1991.167037","url":null,"abstract":"A tool, called HEXPERT, is presented for building expert systems. HEXPERT has been developed by integrating several techniques and ideas known to relax the difficulty of development of expert systems and to enhance their performance. It provides an environment where the knowledge base is formulated from several subknowledge bases each of which is represented using a object-oriented programming technology and processed in any of three inferring directions, the forward, the backward, and the mixed direction. It also provides two browsers. To transfer data between expert systems and database management systems, HEXPERT can communicate to the INGRES database management system.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129044764","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
Toward a general methodology for specifying expert systems 朝向指定专家系统的一般方法
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167103
Jonathan Lee, J. Yen
{"title":"Toward a general methodology for specifying expert systems","authors":"Jonathan Lee, J. Yen","doi":"10.1109/TAI.1991.167103","DOIUrl":"https://doi.org/10.1109/TAI.1991.167103","url":null,"abstract":"A general methodology for specifying both the model and the process knowledge of an expert system at different abstraction levels is proposed. Specifications are acquired and organized around the general notion of a task. The model specification of a task describes a partial model of the application domain and a partial model of the problem solving states relevant to the task. The process specification of a task describes states before, during, and after the task as well as task state expression to describe the behavior. A piece of abstract specification can be refined to a more detailed specification. Specifications at different abstraction levels can be verified for their consistency and completeness.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128560583","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
DT: a classification problem solver with tabular-knowledge acquisition DT:一个具有表知识获取的分类问题解决器
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167084
Y. Koseki, Y. Nakakuki, Midori Tanaka
{"title":"DT: a classification problem solver with tabular-knowledge acquisition","authors":"Y. Koseki, Y. Nakakuki, Midori Tanaka","doi":"10.1109/TAI.1991.167084","DOIUrl":"https://doi.org/10.1109/TAI.1991.167084","url":null,"abstract":"An approach is described to integrating a classification problem solving function and an interactive knowledge acquisition function on a tabular knowledge representation. A tabular knowledge base presents concept functions in DNF (disjunctive normal form), which handles disjunctive concepts with multiple-value attributes. Because of the peculiar knowledge-base construction, which represents concept functions with positive and negative disjuncts, the knowledge refinement procedures are kept simple, and changes in the knowledge base are comprehensible to users. Based on the approach, a system called DT was developed.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126445298","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}
引用次数: 5
ObjTrans: an intelligent tool for knowledge-object transformation ObjTrans:用于知识对象转换的智能工具
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167120
H.-S. Park, Y.-T. Su
{"title":"ObjTrans: an intelligent tool for knowledge-object transformation","authors":"H.-S. Park, Y.-T. Su","doi":"10.1109/TAI.1991.167120","DOIUrl":"https://doi.org/10.1109/TAI.1991.167120","url":null,"abstract":"A description is presented of a prototype called ObjTrans which was developed to automate the process of transforming the object structure of object-oriented logic programs called KOs. ObjTrans allows the user to abstract the specification of application KOs, perform a series of primitive operators on the abstracted specification interactively and heuristically, and incrementally reconstruct the specification of KOs resulting from object transformation. ObjTrans is implemented in Smalltalk/V-Prolog/V which does not allow multiple inheritance.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131271321","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
Model management and the automation of computer system operations 模型管理和计算机系统操作自动化
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167038
A. Finkel, S. Calo, D. A. Klein
{"title":"Model management and the automation of computer system operations","authors":"A. Finkel, S. Calo, D. A. Klein","doi":"10.1109/TAI.1991.167038","DOIUrl":"https://doi.org/10.1109/TAI.1991.167038","url":null,"abstract":"A report is presented on efforts to develop and manage a model of a real-time computer system. The computer systems of interest are large-scale, IBM mainframe computers that run the MVS operating system. The model interacts with both the computer system itself, and with heterogeneous software modules designed to control and manage the computer system. The work indicates that even in rule-based environments, an object-oriented status-model manager provides valuable functionality.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"97 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132708193","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
A new approach to rule induction and pruning 规则归纳与剪枝的新方法
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167051
D. Fensel, Jörg Klein
{"title":"A new approach to rule induction and pruning","authors":"D. Fensel, Jörg Klein","doi":"10.1109/TAI.1991.167051","DOIUrl":"https://doi.org/10.1109/TAI.1991.167051","url":null,"abstract":"The authors regard the rule induction problem as a search in the lattice of possible rules. Two kinds of search directions (top=generalization and down=specialization) and therefore two different kinds of algorithms exist. They propose the algorithms RELAX and its heuristical modification H-RELAX, which both use generalization as the search direction and therefore can be used for rule induction and rule pruning. They produce a minimal set of rules or a set of rules which allow object recognition with minimal costs. Both algorithms also allow an incremental and knowledge-based search process and can be combined with other algorithms.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"2015 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131334654","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
Representing real world phenomena through HDPTN 通过HDPTN呈现现实世界现象
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167049
A. Poggi, G. Adorni
{"title":"Representing real world phenomena through HDPTN","authors":"A. Poggi, G. Adorni","doi":"10.1109/TAI.1991.167049","DOIUrl":"https://doi.org/10.1109/TAI.1991.167049","url":null,"abstract":"The authors present a model, called HDPTN (hierarchical and distributed process transition network), for the representation of real world phenomena. This model is based on two types of entities: circumstances and episodes. A circumstance is an elementary entity which can take on a set of discrete values over time, while an episode is a compound entity whose parts are a circumstance and/or other episodes acting concurrently. In particular, the hierarchical and distributed structure of the episode seems to be suitable for the modeling of systems which need real-time performance and the integration of representations and reasoning at different levels of detail.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130685977","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
Dempster-Shafer reasoning for medical image recognition 医学图像识别的邓普斯特-谢弗推理
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167029
Wei-Chung Lin, S. Chen, Chin-Tu Chen
{"title":"Dempster-Shafer reasoning for medical image recognition","authors":"Wei-Chung Lin, S. Chen, Chin-Tu Chen","doi":"10.1109/TAI.1991.167029","DOIUrl":"https://doi.org/10.1109/TAI.1991.167029","url":null,"abstract":"A medical image recognition system is described whose reasoning module uses the features of the Dempster-Shafer (D-S) theory such as compatible frames and multivariate belief functions. The proposed expert system, which is based on the blackboard architecture, is capable of mimicking the reasoning process of a human expert in dividing a set of correlated X-ray CT and T-1 and T2-weighted MR images into semantically meaningful entities. In the blackboard-oriented system, different kinds of evidence provided by various knowledge sources form a hierarchy of evidential space to which D-S theory is applied. Several experimental results are given to illustrate the performance of the proposed system.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132748160","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
首页 上一页 下一页 尾页
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学术官方微信