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

[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence最新文献

筛选
英文 中文
Special purpose array processor implementation of neural networks 专用阵列处理器实现的神经网络
[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence Pub Date : 1990-11-06 DOI: 10.1109/TAI.1990.130322
S. Kung, J. Vlontzos
{"title":"Special purpose array processor implementation of neural networks","authors":"S. Kung, J. Vlontzos","doi":"10.1109/TAI.1990.130322","DOIUrl":"https://doi.org/10.1109/TAI.1990.130322","url":null,"abstract":"A universal digital VLSI design for implementing artificial neural networks is proposed. The design is based on a unified iterative neural network model. An implementation based on a combination of custom-built and commercially available chips is presented. In addition, a software environment for the array processor is discussed.<<ETX>>","PeriodicalId":366276,"journal":{"name":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116847054","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
Constraint driven computations in evolving object databases 演化对象数据库中的约束驱动计算
[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence Pub Date : 1990-11-06 DOI: 10.1109/TAI.1990.130328
Pierre Berlandier
{"title":"Constraint driven computations in evolving object databases","authors":"Pierre Berlandier","doi":"10.1109/TAI.1990.130328","DOIUrl":"https://doi.org/10.1109/TAI.1990.130328","url":null,"abstract":"PROSE, a generic package for maintaining the consistency of object databases using constraint driven computations is discussed. Two original contributions of the package which arose from the meeting of objects and constraints are described. First, due to its reflective implementation, PROSE makes it possible keep consistency not only for the database entities but also for the constraint networks it builds. Second, it provides the user with temporal constraints that help supervise the evolution of the entities between arbitrary time events. A validation of this approach is shown by describing an instantiation of PROSE for an expert system shell.<<ETX>>","PeriodicalId":366276,"journal":{"name":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114343669","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
An improved register allocation algorithm for the WAM model 一种改进的WAM模型寄存器分配算法
[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence Pub Date : 1990-11-06 DOI: 10.1109/TAI.1990.130415
Hu Ziang, Xiang Rong Ci
{"title":"An improved register allocation algorithm for the WAM model","authors":"Hu Ziang, Xiang Rong Ci","doi":"10.1109/TAI.1990.130415","DOIUrl":"https://doi.org/10.1109/TAI.1990.130415","url":null,"abstract":"An improved adaptable unification order algorithm is presented. It is used in register allocation for a Warren abstract machine (WAM) Prolog implementation. The algorithm is based on the division of a clause into chunks. The purpose is to generate better Prolog codes for programs so that they have fewer instructions and data movements in execution. It is realized by a good conflict handling algorithm and by an adaptable processing order method of compound arguments. The method has been proved to be efficient in practice.<<ETX>>","PeriodicalId":366276,"journal":{"name":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114761511","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
Scaffolding the RETE network 搭建RETE网络
[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence Pub Date : 1990-11-06 DOI: 10.1109/TAI.1990.130367
M. Perlin
{"title":"Scaffolding the RETE network","authors":"M. Perlin","doi":"10.1109/TAI.1990.130367","DOIUrl":"https://doi.org/10.1109/TAI.1990.130367","url":null,"abstract":"Scaffolding is a novel method for improving conjunctive match efficiency that incorporates a TMS (truth maintenance system) into an RETE matcher, thereby exploiting match redundancy between separate runs. The resulting inactivations are reactivations of the data dependencies replace expensive RETE testing with simpler, less costly NETL-like propagations. Experimental results obtained by profiling with a non-toy expert system substantiate scaffolding's between-trial transfer capability. The experiments demonstrate that there can be significant transfer of match knowledge between runs on different, homologous problems. The construction and retrieval of these matches are efficiently built into the algorithm. Scaffolding's utility and relation to other artificial-intelligence methods are discussed.<<ETX>>","PeriodicalId":366276,"journal":{"name":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125320958","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
ASLANN: a tool for the design of composite neural systems 一个设计复合神经系统的工具
[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence Pub Date : 1990-11-06 DOI: 10.1109/TAI.1990.130321
A. Green, P. Noakes
{"title":"ASLANN: a tool for the design of composite neural systems","authors":"A. Green, P. Noakes","doi":"10.1109/TAI.1990.130321","DOIUrl":"https://doi.org/10.1109/TAI.1990.130321","url":null,"abstract":"A suite of software, ASLANN, which facilitates the generation and simulation of composite neural systems formed from assemblies of neural and nonneural modules is described. Novel models for leaf modules and dedicated specialist display routines can be readily incorporated into the simulation of a neural system by linking with the simulator appropriate routines written in C. The tool has been used to produce a composite artificial neural system which performs the function of an integrated circuit channel router.<<ETX>>","PeriodicalId":366276,"journal":{"name":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132234480","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
Regularity: generalizing inheritance to arbitrary hierarchies 规律性:将继承一般化到任意层次结构
[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence Pub Date : 1990-11-06 DOI: 10.1109/TAI.1990.130410
H. Mili, R. Rada
{"title":"Regularity: generalizing inheritance to arbitrary hierarchies","authors":"H. Mili, R. Rada","doi":"10.1109/TAI.1990.130410","DOIUrl":"https://doi.org/10.1109/TAI.1990.130410","url":null,"abstract":"Regularity is formalized from the general observation that hierarchical relationships between concepts reflect relationships between the concepts' properties, and vice-versa. A procedure called expansion is utilized to compute property values when those are not known, based on the patterns of regularity. Inheriting property values in taxonomies is a special case of expansion. Expansion may fail in tangled hierarchies in the same way that multiple inheritance may lead to conflicting inferences in taxonomies. The definition of regularity and the expansion procedure have been extended to fuzzy sets. The fuzzy sets framework takes into account the normative nature of property values and handles cases where expansion fails. A procedure parametrically enlarges sets of property values so that expansion does not fail. A theorem describes the effect of the choice of the enlargement parameter on the reliability of expansion. Applications of regularity and expansion to the building and maintenance of hierarchies are discussed.<<ETX>>","PeriodicalId":366276,"journal":{"name":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114571208","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
Decomposition of belief function in hierarchical hypotheses space 层次假设空间中信念函数的分解
[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence Pub Date : 1990-11-06 DOI: 10.1109/TAI.1990.130427
H. Hau
{"title":"Decomposition of belief function in hierarchical hypotheses space","authors":"H. Hau","doi":"10.1109/TAI.1990.130427","DOIUrl":"https://doi.org/10.1109/TAI.1990.130427","url":null,"abstract":"It is shown that, in a hierarchically structured hypotheses space, any belief function whose focal elements are nodes in the hierarchy is a separable support function. An algorithm is proposed that decomposes such a separable support function into simple support functions. It is shown that the computational complexity of this decomposition algorithm is O(N/sup 2/). Applications of the decomposition of separable support functions to the data fusion problem and the reasoning about control problem are discussed.<<ETX>>","PeriodicalId":366276,"journal":{"name":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128221966","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
An object-oriented environment for multiple AI paradigms 一个面向对象的环境，用于多个AI范例
[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence Pub Date : 1990-11-06 DOI: 10.1109/TAI.1990.130313
M. Ibrahim, S.W. Woyak
{"title":"An object-oriented environment for multiple AI paradigms","authors":"M. Ibrahim, S.W. Woyak","doi":"10.1109/TAI.1990.130313","DOIUrl":"https://doi.org/10.1109/TAI.1990.130313","url":null,"abstract":"Consideration is given to EDS/OWL, an object-oriented environment which provides a uniform framework for integrating programming paradigms. The authors describe how EDS/OWL integrates access-oriented, rule-based and logic programming in an object-oriented environment. The integration extends the underlying language yet continues to use the existing constructs as well as the parser, interpreter and tools. Moreover, the object-oriented framework supports further novel extensions frequently required by specific artificial-intelligence (AI) applications.<<ETX>>","PeriodicalId":366276,"journal":{"name":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132385388","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
Designing verifiable expert systems 设计可验证的专家系统
[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence Pub Date : 1990-11-06 DOI: 10.1109/TAI.1990.130453
J. Yen, Jonathan Lee, David Hamilton
{"title":"Designing verifiable expert systems","authors":"J. Yen, Jonathan Lee, David Hamilton","doi":"10.1109/TAI.1990.130453","DOIUrl":"https://doi.org/10.1109/TAI.1990.130453","url":null,"abstract":"With the long-range goal of developing a practical methodology for complete verification and validation of expert systems, the authors have investigated methods for designing knowledge bases so that they can be easily verified. These methods are based on extensions of traditional software verification technology and on emerging artificial intelligence programming technology. After discussing the background of this work, the authors describe the methods and their benefits to verification and discuss ongoing and future research activities.<<ETX>>","PeriodicalId":366276,"journal":{"name":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133177567","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
OKBMS: An object-oriented knowledge base management system OKBMS:面向对象的知识库管理系统
[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence Pub Date : 1990-11-06 DOI: 10.1109/TAI.1990.130327
Zhongzhi Shi, Jianming Wu, Hui Sun, Jinxi Xu
{"title":"OKBMS: An object-oriented knowledge base management system","authors":"Zhongzhi Shi, Jianming Wu, Hui Sun, Jinxi Xu","doi":"10.1109/TAI.1990.130327","DOIUrl":"https://doi.org/10.1109/TAI.1990.130327","url":null,"abstract":"An object-oriented knowledge base management system (OKBMS) which has the ability to flexibly define and extend the object types has been developed. It provides a development environment for intelligent applications. The outstanding characteristics of object-oriented style such as abstract data type, information hiding, inheritance and message passing are fully implemented in the OKBMS. The OKBMS inference engine not only handles the certain reasoning but also can deal with uncertain information. In OKBMS, a semi-interpreted approach is adopted to integrate Prolog with the ORACLE database. The key issues involved in OKBMS, such as knowledge structure, inference algorithms, partial evaluation and comprehensive user interfaces are discussed.<<ETX>>","PeriodicalId":366276,"journal":{"name":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125757845","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学术官方微信