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

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

筛选
英文 中文
Optimization of the decision tree 决策树的优化
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167043
W. Jung, J. B. Jones, Jianhua Chen
{"title":"Optimization of the decision tree","authors":"W. Jung, J. B. Jones, Jianhua Chen","doi":"10.1109/TAI.1991.167043","DOIUrl":"https://doi.org/10.1109/TAI.1991.167043","url":null,"abstract":"An approach is presented to the optimization of decision trees. A decision tree is considered optimal if it correctly classifies the known data set and has the minimal number of nodes. It is shown that it is important to decide the right order of attributes to test, for this can reduce the number of checking nodes in a decision tree.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"19 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":"126774838","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
Representing biological and physical systems as temporal event hierarchies 将生物和物理系统表示为时间事件层次
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167092
F. Gomez
{"title":"Representing biological and physical systems as temporal event hierarchies","authors":"F. Gomez","doi":"10.1109/TAI.1991.167092","DOIUrl":"https://doi.org/10.1109/TAI.1991.167092","url":null,"abstract":"A method for representing texts describing biological systems is presented. The representation is that which an educated layman would build from reading a text describing a biological system. This representation is viewed as a bridge between the English description of a biological system and deeper representations of such a system. The representation is based on temporal relations which are used to index and organize knowledge about biological systems (circulatory, respiratory, etc.) in a hierarchy of events. Several reasoning methods which the proposed representation permits are explained. A method for drawing diagrams depicting the function of the systems represented is also included.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"71 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":"121575254","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
Generalized scheduling development environment 通用调度开发环境
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167050
W. Fabens, L. Sterling
{"title":"Generalized scheduling development environment","authors":"W. Fabens, L. Sterling","doi":"10.1109/TAI.1991.167050","DOIUrl":"https://doi.org/10.1109/TAI.1991.167050","url":null,"abstract":"A generalized scheduling development environment allows a person who composes schedules to specify both an application and a methodology, in developing a scheduling program. The authors have designed such a system and have built a proof-of-concept prototype. The prototype has been tested on two fairly different application examples. It demonstrates the expressive capability of logic programming in representing the diversity of the two examples, and it exemplifies a method of achieving generality in the domain of scheduling.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"33 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":"120897104","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
AI in multimedia (panel session) 多媒体中的人工智能(小组讨论)
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167067
N. Bourbakis, Robin Williams, F. Golshani, M. Flickner, T. Laliotis, Sukhan Lee, J. Delgado-Frías, D. Hammerstrom, C. Koutsougeras, G. Pechanek, B. Wah, J. Yen, F. Bastani, Tom Cooper, K. Harbison-Briggs, R. Lauber, A. Preece, I. Zualkernan, W. Tsai, D. Cooke, M. Feather, S. Fickas, N. Minsky, P. Selfridge, Douglas Smith
{"title":"AI in multimedia (panel session)","authors":"N. Bourbakis, Robin Williams, F. Golshani, M. Flickner, T. Laliotis, Sukhan Lee, J. Delgado-Frías, D. Hammerstrom, C. Koutsougeras, G. Pechanek, B. Wah, J. Yen, F. Bastani, Tom Cooper, K. Harbison-Briggs, R. Lauber, A. Preece, I. Zualkernan, W. Tsai, D. Cooke, M. Feather, S. Fickas, N. Minsky, P. Selfridge, Douglas Smith","doi":"10.1109/TAI.1991.167067","DOIUrl":"https://doi.org/10.1109/TAI.1991.167067","url":null,"abstract":"In this panel session, the following topics are discussed: artificial intelligence in business; artificial intelligence in multimedia; neural networks as a tool for artificial intelligence: software engineering for knowledge-based systems: and artificial intelligence as a solution for software engineering.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"54 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":"121662634","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 ATMS-based geometric constraint solver for 3D CAD 基于atm的三维CAD几何约束求解器
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167106
Shuichi Shimizu, Keisuke Inoue, M. Numao
{"title":"An ATMS-based geometric constraint solver for 3D CAD","authors":"Shuichi Shimizu, Keisuke Inoue, M. Numao","doi":"10.1109/TAI.1991.167106","DOIUrl":"https://doi.org/10.1109/TAI.1991.167106","url":null,"abstract":"The authors have developed a constraint-based method of describing features. Every feature is controlled by geometric constraints, which naturally specify the dimensioning information that reflects the designer's intent. An ATMS-based geometric reasoning system is proposed that efficiently evaluates the constraints in order to determine geometric attributes, and detects over-constrained situations in order to resolve conflicts among the constraints.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"51 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":"131389323","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
Fast hypothetical reasoning system using inference-path network 基于推理路径网络的快速假设推理系统
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167115
M. Ishizuka, Fumiaki Ito
{"title":"Fast hypothetical reasoning system using inference-path network","authors":"M. Ishizuka, Fumiaki Ito","doi":"10.1109/TAI.1991.167115","DOIUrl":"https://doi.org/10.1109/TAI.1991.167115","url":null,"abstract":"A fast hypothetical reasoning system is described which is named KICK-SHOTGAN, and which avoids inefficient backtracking by the forward synthesis of necessary hypothesis combination along this network. The formation of inference-path network is based on a linear-time algorithm for the satisfiability testing of propositional Horn clauses. This system differs from ATMS mainly in its total problem solving nature. That is, it works for the logical problem-solving framework which yields a solution for a given goal, whereas the ATMS calculates possible data supported by hypotheses incrementally in response to the input of a justification (rule) from a problem solver existing outside the ATMS.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"20 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":"132861813","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}
引用次数: 10
Automated business knowledge acquisition from programs 从程序中自动获取业务知识
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167074
V. Karakostas
{"title":"Automated business knowledge acquisition from programs","authors":"V. Karakostas","doi":"10.1109/TAI.1991.167074","DOIUrl":"https://doi.org/10.1109/TAI.1991.167074","url":null,"abstract":"A prototype system known as IRENE (intelligent reverse engineering environment), for acquiring business concepts from Cobol programs is described. It is a workbench used for experimenting with a novel approach to acquiring business knowledge embedded in software systems. The system's acquisition mechanisms rely on the availability of semantic (domain) knowledge about two kinds of relationships among concepts known as derivations and determinations.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"244 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":"115630276","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
KBMS support for conceptual modeling in AI 人工智能中概念建模的KBMS支持
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167118
W. Benn
{"title":"KBMS support for conceptual modeling in AI","authors":"W. Benn","doi":"10.1109/TAI.1991.167118","DOIUrl":"https://doi.org/10.1109/TAI.1991.167118","url":null,"abstract":"A connection between a world model about typing concepts of programming languages and an application domain model is outlined in order to conveniently generate a conceptual knowledge-base management system (KBMS) scheme for AI applications. The world model is defined in terms of a knowledge representation language and shall be incorporated into an interoperability supporting KBMS object manager. The application domain model is modeled in the same knowledge representation language. Their linkage results in a convenient generation of a conceptual KBMS schema for applications of the modeled domain. These applications can be written in different application languages and are allowed to share their individual KBMS schemata generated from the conceptual one.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"21 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":"124831196","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
Modeling and simulation for minimum uncertainty in qualitative physics 定性物理中最小不确定性的建模与仿真
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167111
Sukhan Lee, Judy Chen
{"title":"Modeling and simulation for minimum uncertainty in qualitative physics","authors":"Sukhan Lee, Judy Chen","doi":"10.1109/TAI.1991.167111","DOIUrl":"https://doi.org/10.1109/TAI.1991.167111","url":null,"abstract":"A method is presented for automatically generating a set of qualitative constraints as the model of a physical system. It emphasizes (1) the generation of qualitative constraints which provide minimum uncertainty for qualitative simulation, and (2) the generation of mathematical constraints for reducing the uncertainty during qualitative simulation. The first is accomplished by searching for a set of redundant constraints based on fundamental principles and the laws of physics. The second is accomplished by applying mathematical knowledge to generate mathematical constraints which are used as global filters during qualitative simulation.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"42 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":"128382426","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
3-D structure modeling via constraint resolution 基于约束分辨率的三维结构建模
[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI: 10.1109/TAI.1991.167105
Hsiao-Rong Tyan, J. Juang
{"title":"3-D structure modeling via constraint resolution","authors":"Hsiao-Rong Tyan, J. Juang","doi":"10.1109/TAI.1991.167105","DOIUrl":"https://doi.org/10.1109/TAI.1991.167105","url":null,"abstract":"A study is made of the design of a tool for developing structure modeling systems. A constraint logic programming scheme is the framework chosen for the system. In order to determine the structure of a set of objects by resolving geometric relations, the representation scheme, which is based on rigid transformations, is used to express geometric relations algebraically. Parameters not determined in a relation formula may be determined by correlating them with other formulae. This is done automatically by constraint resolution.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"44 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":"127381204","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
首页 上一页 下一页 尾页
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学术官方微信