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

Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94最新文献

筛选
英文 中文
Minimal forward checking 最小正向检查
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346460
Michael J. Dent, Robert E. Mercer
{"title":"Minimal forward checking","authors":"Michael J. Dent, Robert E. Mercer","doi":"10.1109/TAI.1994.346460","DOIUrl":"https://doi.org/10.1109/TAI.1994.346460","url":null,"abstract":"Forward Checking (FC) is a highly regarded complete search algorithm used to solve constraint satisfaction problems. In this paper a lazy variant of FC called minimal forward checking (MFC) is introduced. MFC is a natural marriage of incremental FC and backchecking. Given a variable selection heuristic which does not depend on domain size MPC's worst case performance on any CSP instance is the number of constraint checks performed by FC. Experiments using hard random problems are presented which show that MFC outperforms FC especially for problems with large domain sizes and/or a large number of variables.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"146 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123348089","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}
引用次数: 45
GREAT: a model of progressive reasoning for real-time systems GREAT:实时系统的渐进推理模型
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346447
A. Mouaddib, F. Charpillet, J. Haton
{"title":"GREAT: a model of progressive reasoning for real-time systems","authors":"A. Mouaddib, F. Charpillet, J. Haton","doi":"10.1109/TAI.1994.346447","DOIUrl":"https://doi.org/10.1109/TAI.1994.346447","url":null,"abstract":"The problem of producing timely responses when faced with deadlines is an important issue for real-time systems. To deal with this problem different kinds of scheduling algorithms have been developed within the real-time community. Unfortunately, these approaches fail when applied to knowledge based systems, mainly because AI techniques rely on time-consuming algorithms with unpredictable, or highly variable performances. To face this problem researchers in AI have introduced deliberative techniques that enable to adapt the way a task is working in function of the available time. For this purpose approximation algorithms of two kinds have been developed: iterative refinement and multiple methods. The model we propose in this paper, belongs to iterative refinement methods. The main advantage of our approach is the capability of designing iterative refinement methods using a general rule language.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"60 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123467790","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
A new approach to modularity in rule-based programming 基于规则的编程中模块化的新方法
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346518
J. Browne, Allen Emerson, M. Gouda, Daniel P. Miranker, A. Mok, R. Bayardo, S. Chodrow, D. Gadbois, F. Haddix, Thomas W. Hetherington, L. Obermeyer, D. Tsou, Chih-Kan Wang, Rwo-Hsi Wang
{"title":"A new approach to modularity in rule-based programming","authors":"J. Browne, Allen Emerson, M. Gouda, Daniel P. Miranker, A. Mok, R. Bayardo, S. Chodrow, D. Gadbois, F. Haddix, Thomas W. Hetherington, L. Obermeyer, D. Tsou, Chih-Kan Wang, Rwo-Hsi Wang","doi":"10.1109/TAI.1994.346518","DOIUrl":"https://doi.org/10.1109/TAI.1994.346518","url":null,"abstract":"We describe a purely declarative method for introducing modularity into forward-chaining, rule-based languages and its embodiment in the Venus rule language. The method is enforced by the syntax of the language and includes the ability to parameterize the rule groups. Drawing from two of three Venus applications developed to date, we illustrate how this form of modularity contributes directly to the resolution of certain software engineering problems associated with rule languages.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124460699","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}
引用次数: 26
Intelligent tools for environmental tactical decision aids 环境战术决策辅助的智能工具
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346446
P. Harris, G. Heburn
{"title":"Intelligent tools for environmental tactical decision aids","authors":"P. Harris, G. Heburn","doi":"10.1109/TAI.1994.346446","DOIUrl":"https://doi.org/10.1109/TAI.1994.346446","url":null,"abstract":"Tactical decision makers use environmental support systems to determine tactical strategies for global operations. Premission and postmission analyses evaluate performance and provide new strategies for future mission effectiveness. High fidelity on-scene littoral environment descriptions must be available, accessible, and deliverable to mission analysts, combatant platforms, and other mission participants to make prevailing tactical decisions. Knowledge and understanding of dominant variabilities in the littoral environment and their impact on environmental support systems performance and effectiveness are major concerns for tactical decision makers. This paper discusses Coastal Scene Description Project tasks that implement and integrate data assimilation and fusion techniques, expert systems applications, environmental information system visualizations, and shore zone assessments with other tactical oceanography products to create an on-scene state of the environment.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124662312","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
Tools for representing and managing knowledge: some practical requirements and suggestions 表示和管理知识的工具:一些实际需求和建议
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346485
L. Reeker
{"title":"Tools for representing and managing knowledge: some practical requirements and suggestions","authors":"L. Reeker","doi":"10.1109/TAI.1994.346485","DOIUrl":"https://doi.org/10.1109/TAI.1994.346485","url":null,"abstract":"A suggestion of practical needs in the knowledge representation field is presented. We attempt to put knowledge representation in a broader perspective, arguing for the importance of software engineering and programming language considerations and advocating inclusion of a variety of representation schemes used in related informational areas. We suggest that only the development of appropriate tools will enable the satisfactory use and management of the needed representations.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124662852","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
Three-layered fuzzy inference and self-wondering mechanism as natural language processing engine of FLINS 作为FLINS自然语言处理引擎的三层模糊推理和自疑惑机制
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346493
S. Tano, W. Okamoto, T. Iwatani, A. Inoue, R. Fujioka
{"title":"Three-layered fuzzy inference and self-wondering mechanism as natural language processing engine of FLINS","authors":"S. Tano, W. Okamoto, T. Iwatani, A. Inoue, R. Fujioka","doi":"10.1109/TAI.1994.346493","DOIUrl":"https://doi.org/10.1109/TAI.1994.346493","url":null,"abstract":"We are developing a natural language communication system called FLINS, which is short for Fuzzy Lingual System. The final goal of the project is to implement a lingual computer that can communicate and learn, both by being taught and on it own, through use of a fuzzy natural language. New design concepts, text-based architecture and fuzzy-centered architecture, to overcome the problems and limitations of the conventional systems are proposed. Next the problem solving by the three-layered fuzzy inference, and the meta-inference by the combination of the three-layered fuzzy inference and the self-wondering mechanism are described as the natural language processing engine of FLINS.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121164965","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
Skeletons and techniques for the systematic development of constraint logic programs 约束逻辑程序系统开发的框架和技术
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346503
S. Michaylov
{"title":"Skeletons and techniques for the systematic development of constraint logic programs","authors":"S. Michaylov","doi":"10.1109/TAI.1994.346503","DOIUrl":"https://doi.org/10.1109/TAI.1994.346503","url":null,"abstract":"We study the systematic development of constraint logic programs from the viewpoint of \"skeletons and techniques\" as described by M. Kirschenbaum et al. (1994). We describe a number of fundamental skeleton classes for CLP, and generalize the notion of skeletons to deal with non-structural recursion. Then we describe a range of useful techniques for extending these skeletons. Furthermore, we introduce important classes of techniques that alter the control flow of skeletons in certain well-defined and desirable ways.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116235295","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
Some issues of reasoning in fuzzy control: principle, practice and perspective 模糊控制推理中的若干问题:原理、实践与展望
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346496
Y. Tsukamoto
{"title":"Some issues of reasoning in fuzzy control: principle, practice and perspective","authors":"Y. Tsukamoto","doi":"10.1109/TAI.1994.346496","DOIUrl":"https://doi.org/10.1109/TAI.1994.346496","url":null,"abstract":"The paper presents the essential structure of fuzzy reasoning and the basic algorithm for fuzzy control. Also it reviews the main studies on fuzzy controller design and its applications proposed or installed so far. Finally, some issues in fuzzy control theory are discussed and directions for improving fuzzy control techniques are suggested.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115749450","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
User command prediction by graph-based induction 基于图的用户命令预测方法
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346414
K. Yoshida
{"title":"User command prediction by graph-based induction","authors":"K. Yoshida","doi":"10.1109/TAI.1994.346414","DOIUrl":"https://doi.org/10.1109/TAI.1994.346414","url":null,"abstract":"An intelligent command interface is a computer program that observes the user's past behavior and tries to predict future user behavior. Most studies meant to realize an intelligent interface system analyze repetitive user behavior, and automate the repetitions. However, these methods typically ignore the relationship between the user commands. The paper presents a new framework that overcomes this limitation and demonstrates its power experimentally.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125892864","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
Enhancing diversity for a genetic algorithm learning environment for classification tasks 增强分类任务遗传算法学习环境的多样性
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346393
C. Eick, Yeong-Joon Kim, N. Secomandi
{"title":"Enhancing diversity for a genetic algorithm learning environment for classification tasks","authors":"C. Eick, Yeong-Joon Kim, N. Secomandi","doi":"10.1109/TAI.1994.346393","DOIUrl":"https://doi.org/10.1109/TAI.1994.346393","url":null,"abstract":"The paper describes an inductive learning environment called DELVAUX for classification tasks that learns PROSPECTOR-style, Bayesian rules from sets of examples. A genetic algorithm approach is used for learning Bayesian rule-sets, in which a population consists of sets of rule-sets that generate offspring through the exchange of rules, permitting fitter rule-sets to produce offspring with a higher probability. To deal with the premature convergence problem, fuzzy similarity measures for Bayesian rule-sets are introduced and the genetic algorithm approach is modified, so that similar rule-sets produce offspring with a lower probability, relying on a sharing function approach. Empirical results are presented that evaluate the benefits of the sharing function approach in our learning environment.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128138037","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学术文献互助群
群 号：604180095
Book学术官方微信