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

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

筛选
英文 中文
Feature-based design evaluation through constraint structure unification 基于约束结构统一的基于特征的设计评价
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167085
K. Godden
{"title":"Feature-based design evaluation through constraint structure unification","authors":"K. Godden","doi":"10.1109/TAI.1991.167085","DOIUrl":"https://doi.org/10.1109/TAI.1991.167085","url":null,"abstract":"Constraint structures are presented as a new knowledge structure to encode both engineering part designs and constraints on those designs. Using a common representational form for both designs and constraints results in a number of practical advantages for a design evaluation system grounded on constraint structures. First, a graph unification algorithm generalized to operate on constraint structures is used as a mathematically elegant means of applying constraints to designs. As a side-effect of constraint structure unification, constraints are attached to design representations. Once the constraints become a part of the design representation, a part is able automatically to reevaluate relevant constraints following interactive changes to design parameters without re-invoking the unification algorithm.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"4 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":"114600114","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
Metalevel and temporal reasoning in KNOWBEL: features and implementation KNOWBEL中的元级和时间推理:特征和实现
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167053
B. M. Kramer
{"title":"Metalevel and temporal reasoning in KNOWBEL: features and implementation","authors":"B. M. Kramer","doi":"10.1109/TAI.1991.167053","DOIUrl":"https://doi.org/10.1109/TAI.1991.167053","url":null,"abstract":"General-purpose knowledge representation systems serve two important purposes. First, such a system allows a knowledge engineer to model a new domain without being hampered by some special-purpose mechanism and without having to invent new tools. Second, knowledge stored in a general-purpose system becomes a resource that can be utilized by many users and applications within an organization. Three important requirements on such systems are that they be extensible and that they allow control of inference and temporal reasoning. A description is presented of the language features provided to meet these requirements and the mechanisms that are used to implement them efficiently in the KNOWBEL knowledge representation system.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"3 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":"114991930","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
Refinement of the structure of knowledge base by learning 通过学习优化知识库结构
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167104
Chengjiang Mao, J. Hong
{"title":"Refinement of the structure of knowledge base by learning","authors":"Chengjiang Mao, J. Hong","doi":"10.1109/TAI.1991.167104","DOIUrl":"https://doi.org/10.1109/TAI.1991.167104","url":null,"abstract":"It is argued that some failure in the existing expert systems mainly results from the ill-organized knowledge bases. The authors propose an effective structure for a knowledge base called a solution-oriented structure, which is different from various existing knowledge base structures. Using several strategies of machine learning, an expert system tool called THOUGHT can reorganize the systematic structure into a solution-oriented structure. On the basis of the solution-oriented structure, THOUGHT can perform the three-level inference for solving different kinds of problems. The solution-oriented structure of the knowledge base is efficient and effective on large, complicated knowledge bases and time critical situations.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"16 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":"115105996","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
An efficient hypothetical reasoning system for predicate-logic knowledge-base 一种高效的谓词逻辑知识库假设推理系统
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167116
Akiko Kondo, Toshiro Makino, M. Ishizuka
{"title":"An efficient hypothetical reasoning system for predicate-logic knowledge-base","authors":"Akiko Kondo, Toshiro Makino, M. Ishizuka","doi":"10.1109/TAI.1991.167116","DOIUrl":"https://doi.org/10.1109/TAI.1991.167116","url":null,"abstract":"The methods of fast hypothetical reasoning systems developed for propositional logic cannot be applicable in a straightforward manner to the predicate-logic case. A fast hypothetical reasoning mechanism that is effective for predicate-logic knowledge (actually for function-free predicate Horn-clause knowledge) is presented. A reasoning method developed in the deductive database area is effectively applied to this mechanism.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"50 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":"116248945","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}
引用次数: 9
Mechanizing skeptical abduction and its applications to artificial intelligence 机械化怀疑绑架及其在人工智能中的应用
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167108
P. Marquis
{"title":"Mechanizing skeptical abduction and its applications to artificial intelligence","authors":"P. Marquis","doi":"10.1109/TAI.1991.167108","DOIUrl":"https://doi.org/10.1109/TAI.1991.167108","url":null,"abstract":"Abduction is the process of generating the best explanation as to why a fact is observed given what is already known. A real problem in this area is the selective generation of hypotheses that have some reasonable prospect of being valid. The author proposes the notion of skeptical abduction as a model to face this problem. After providing a definition of abductive reasoning, skeptical abduction and specific abduction are compared in a logical framework. The mechanism of abductive reasoning in propositional logic is investigated and its generalization to first-order logic is discussed.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"57 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":"116445194","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
Implementing a tool for timing analysis of real-time production systems 实现实时生产系统的时序分析工具
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167045
A. Cheng
{"title":"Implementing a tool for timing analysis of real-time production systems","authors":"A. Cheng","doi":"10.1109/TAI.1991.167045","DOIUrl":"https://doi.org/10.1109/TAI.1991.167045","url":null,"abstract":"The Estella general analysis tool (E-GAT) is a computer-aided software engineering tool for performing response time analysis of real-time production systems written in the EQL rule-based language. E-GAT detects potential timing errors statically, making it a powerful aid for the rapid prototyping and development of expert systems with guaranteed response time. It is based on a powerful analysis methodology which exploits the identification of rule sets satisfying certain general behavior constraint assertions. A description is presented of the implementation of E-GAT with efficient algorithms.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"50 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":"125868337","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
An intelligent network service prototype using knowledge processing 基于知识处理的智能网络服务原型
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167126
T. Ide, A. Hakata, M. W. Kim
{"title":"An intelligent network service prototype using knowledge processing","authors":"T. Ide, A. Hakata, M. W. Kim","doi":"10.1109/TAI.1991.167126","DOIUrl":"https://doi.org/10.1109/TAI.1991.167126","url":null,"abstract":"An intelligent electronic secretary service is described which was developed as an example of providing communication services using artificial intelligence (AI) techniques. It processes incoming calls in much the same way as a human secretary. (1) It automatically modifies or supplements incorrect or missing user instructions in dealing with incoming calls. (2) It automatically extends its knowledge base for individual users using a learning function. Its knowledge bases include the following: knowledge about users to infer the user's status; knowledge about services to infer the effect of asking for a particular service; and knowledge about services used to infer whether the service asked for is suited to the user's status. The learning function is based on the process of induction.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"121 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":"127323666","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
The capability of feedforward neural networks with Omega -shaped activation functions 具有ω形激活函数的前馈神经网络的性能
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167096
Yiwei Chen, F. Bastani
{"title":"The capability of feedforward neural networks with Omega -shaped activation functions","authors":"Yiwei Chen, F. Bastani","doi":"10.1109/TAI.1991.167096","DOIUrl":"https://doi.org/10.1109/TAI.1991.167096","url":null,"abstract":"The capability of the multilayer feedforward layered neural network with Omega -shaped activation functions is studied. The authors prove that a three layer neural network with any continuous Omega -shaped activation function can approximate any continuous function in the multidimensional real space. Further theoretical extensions to the generalized Omega -shaped function are also explored. One example of this kind of neural network is the Hermite network.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"104 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":"130839884","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
SPIN: a sequential pipelined neurocomputer SPIN:顺序流水线神经计算机
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167078
S. Vassiliadis, G. Pechanek, J. Delgado-Frías
{"title":"SPIN: a sequential pipelined neurocomputer","authors":"S. Vassiliadis, G. Pechanek, J. Delgado-Frías","doi":"10.1109/TAI.1991.167078","DOIUrl":"https://doi.org/10.1109/TAI.1991.167078","url":null,"abstract":"A novel digital network architecture, the sequential pipelined neurocomputer (SPIN), is proposed. The SPIN processor emulates neural networks, producing high performance with minimal hardware by sequentially processing each neuron in the modeled completely connected network with a pipelined physical neuron structure. In addition to describing SPIN, performance equations are estimated for the ring systolic, the recurrent systolic array, and the neuromimetic neurocomputer architectures, three previously reported schemes for the emulation of neural networks, and a comparison with the SPIN architecture is reported.<<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":"130902480","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}
引用次数: 8
The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software 人工智能方法与进化软件的生产和维护之间的对应关系
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167083
C. Ramamoorthy, D. Cooke
{"title":"The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software","authors":"C. Ramamoorthy, D. Cooke","doi":"10.1109/TAI.1991.167083","DOIUrl":"https://doi.org/10.1109/TAI.1991.167083","url":null,"abstract":"Exploration is made of how methods of truth maintenance may be applied in the engineering of integrated, dynamic systems. In the life of a large system, it is not possible to foresee every significant event which may affect the behavior of the system. Truth maintenance techniques may prove useful in the production and maintenance of these large systems. A discussion is presented of how it is the decision making aspects of a system which change. Both the information on which the authors base their decisions and strategies for decision making change. Truth maintenance is discussed with respect to preserving the models of specifications and the models of programs.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"25 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":"133415588","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}
引用次数: 9
首页 上一页 下一页 尾页
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学术官方微信