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

Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence最新文献

筛选
英文 中文
COMPOzE-intention-based music composition through constraint programming 作曲——通过约束编程实现基于意图的音乐创作
Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence Pub Date : 1996-11-16 DOI: 10.1109/TAI.1996.560441
M. Henz, Stefan Lauer, D. Zimmermann
{"title":"COMPOzE-intention-based music composition through constraint programming","authors":"M. Henz, Stefan Lauer, D. Zimmermann","doi":"10.1109/TAI.1996.560441","DOIUrl":"https://doi.org/10.1109/TAI.1996.560441","url":null,"abstract":"We goal of the work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the experimentation platform COMPOzE for intention based composition. COMPOzE is based on constraint programming over finite domains of integers. We argue that constraint programming provides a suitable technology for this task and that the libraries and tools available for the constraint programming system Oz effectively support the implementation of COMPOzE. This work links the research areas of automatic music composition on one hand and finite domain constraint programming on the other, and contributes the tool COMPOzE, which practically demonstrates the potential of constraint programming to open up new areas of application for automatic music composition.","PeriodicalId":209171,"journal":{"name":"Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115380929","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}
引用次数: 43
Neural networks with long-range feedback: design for stable dynamics 具有长程反馈的神经网络:稳定动力学设计
Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence Pub Date : 1996-11-16 DOI: 10.1109/TAI.1996.560462
R. Braham
{"title":"Neural networks with long-range feedback: design for stable dynamics","authors":"R. Braham","doi":"10.1109/TAI.1996.560462","DOIUrl":"https://doi.org/10.1109/TAI.1996.560462","url":null,"abstract":"Feedback in neural networks is essential. Without it, true dynamics would be lacking. For this reason, many well known models include feedback connections (e.g. Hopfield, ART, neocognitron). Neural networks with feedback are, however, likely to be unstable if not carefully designed. In this paper, we show how to incorporate long-range feedback in a class of dynamically stable nonlinear neural networks.","PeriodicalId":209171,"journal":{"name":"Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116436323","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 empirical investigation of the forward checking algorithm and its derivatives 前向校验算法及其导数的实证研究
Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence Pub Date : 1996-11-16 DOI: 10.1109/TAI.1996.560463
Michael J. Dent, Robert E. Mercer
{"title":"An empirical investigation of the forward checking algorithm and its derivatives","authors":"Michael J. Dent, Robert E. Mercer","doi":"10.1109/TAI.1996.560463","DOIUrl":"https://doi.org/10.1109/TAI.1996.560463","url":null,"abstract":"Forward checking (FC) is one of the most popular algorithms used to solve constraint satisfaction problems. A lazy variant of FC has been proposed called minimal forward checking (MFC). Previous empirical results suggest that MFC substantially outperforms FC when the fail first (FF) heuristic is not used. These results also suggest that the laziness of MFC can have substantial negative effects when the FF heuristic is used. To overcome this problem two extensions to the MFC algorithm are proposed, a new heuristic, called extra pruning (EXP), and the addition of conflict-directed backjumping (CBJ). An empirical investigation on a large test suite of hard randomly generated problems suggests that adding both EXP and CBJ to MFC-FF (MFC-CBJ-EXP-FF) is the best forward checking algorithm. Some theoretical relationships among the various algorithms are discussed.","PeriodicalId":209171,"journal":{"name":"Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116444701","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 tools in scheduling problem solving: a solver based on a "well-behaved" restriction of TCSPs 调度问题解决中的人工智能工具:基于“行为良好”的tsps限制的求解器
Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence Pub Date : 1996-11-16 DOI: 10.1109/TAI.1996.560772
Said Belhadji, A. Isli
{"title":"AI tools in scheduling problem solving: a solver based on a \"well-behaved\" restriction of TCSPs","authors":"Said Belhadji, A. Isli","doi":"10.1109/TAI.1996.560772","DOIUrl":"https://doi.org/10.1109/TAI.1996.560772","url":null,"abstract":"The aim of the paper is to describe a temporal constraint based solver for (job shop) scheduling problems. The heart of the solver is a \"well behaved\" restriction of the framework of TCSPs defined by R. Dechter, I. Meiri and J. Pearl (1991): the restriction is an algebra and expresses convex constraints or unions of two such constraints. We give a general description of the solver and show its completeness.","PeriodicalId":209171,"journal":{"name":"Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence","volume":"37 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114046538","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
A constraint-based nurse rostering system using a redundant modeling approach 使用冗余建模方法的基于约束的护士名册系统
Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence Pub Date : 1996-11-16 DOI: 10.1109/TAI.1996.560444
B. Cheng, Jimmy Ho-man Lee, J. C. K. Wu
{"title":"A constraint-based nurse rostering system using a redundant modeling approach","authors":"B. Cheng, Jimmy Ho-man Lee, J. C. K. Wu","doi":"10.1109/TAI.1996.560444","DOIUrl":"https://doi.org/10.1109/TAI.1996.560444","url":null,"abstract":"This paper describes the design and implementation of a nurse rostering system using a redundant modeling approach. Nurse rostering is defined as a process of generating timetables for specifying the work shifts of nurses over a given period of time. This process is difficult because the human roster planner has to ensure that every rostering decision made complies with a mixture of hard hospital rules and soft nurse preference rules. Moreover, some nurse shift pre-assignments often break the regularity of wanted (or unwanted) shifts and reduce the choices for other unfilled slots. Soft constraints amount to disjunction, which can be modeled as choices in the search tree. This approach, although straightforward, incurs overhead in the search of solution. We propose redundant modeling, an effective way to speed up constraint propagation through cooperations among different models for the same problem, as a means to reduce search time. Experiments and pilot testing of the system confirm the feasibility of our method.","PeriodicalId":209171,"journal":{"name":"Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128408340","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}
引用次数: 48
An evolutionary approach for time dependant optimization 时间相关优化的一种进化方法
Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence Pub Date : 1996-11-16 DOI: 10.1109/TAI.1996.560392
P. Collard, C. Escazut, Alessio Gaspar
{"title":"An evolutionary approach for time dependant optimization","authors":"P. Collard, C. Escazut, Alessio Gaspar","doi":"10.1109/TAI.1996.560392","DOIUrl":"https://doi.org/10.1109/TAI.1996.560392","url":null,"abstract":"Many real-world problems involve measures of objectives that may be dynamically optimized. The application of evolutionary algorithms in time dependent optimization is receiving growing interest as potential applications are numerous ranging from mobile robotics to real time process command. Moreover, constant evaluation functions skew results relative to natural evolution so that it has become a promising gap to combine effectiveness and diversity in a genetic algorithm. This paper features both theoretical and empirical analysis of the behavior of genetic algorithms in such an environment. It presents a comparison between the effectiveness of traditional sample genetic algorithm (SGA) and the dual genetic algorithm (DGA) which is revealed to be a particularly adaptive tool for optimizing a lot of diversified classes of functions. This comparison has been performed on a model of a dynamical environment. Its characteristics are analyzed in order to establish the basis of a testbed for further experiments. We discuss fundamental properties that explain the effectiveness of the dual paradigm to manage dynamical environments.","PeriodicalId":209171,"journal":{"name":"Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129442947","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}
引用次数: 34
Development of a pumping system decision support tool based on artificial intelligence 基于人工智能的抽水系统决策支持工具的开发
Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence Pub Date : 1996-11-16 DOI: 10.1109/TAI.1996.560460
P. Ilott, A. Griffiths
{"title":"Development of a pumping system decision support tool based on artificial intelligence","authors":"P. Ilott, A. Griffiths","doi":"10.1109/TAI.1996.560460","DOIUrl":"https://doi.org/10.1109/TAI.1996.560460","url":null,"abstract":"A framework for the development of a pumping system decision support tool based on artificial intelligence techniques has been investigated. Pump fault detection and diagnosis are key requirements of the decision support tool. Artificial Neural Networks (ANNs) were proposed for condition monitoring data interpretation utilising quantitative performance data. In the analysis, the Cumulative Sum (Cusum) charting procedure was successful in incipient fault identification. Various preprocessing techniques were investigated to obtain maximum diagnostic information despite the inherent problems of real industrial data. The orthonormal technique highlighted good generalisation ability in fast machine learning time. ANNs were successful for accurate, incipient diagnosis of pumping machinery fault conditions based on real industrial data corresponding to historical pump faults.","PeriodicalId":209171,"journal":{"name":"Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120908183","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 practical approach to knowledge representation and reasoning in relational databases 关系型数据库中知识表示与推理的实用方法
Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence Pub Date : 1996-11-16 DOI: 10.1109/TAI.1996.560791
Jie Cheng, D. Bell, Weiru Liu
{"title":"A practical approach to knowledge representation and reasoning in relational databases","authors":"Jie Cheng, D. Bell, Weiru Liu","doi":"10.1109/TAI.1996.560791","DOIUrl":"https://doi.org/10.1109/TAI.1996.560791","url":null,"abstract":"Describes a practicable approach to extend relational databases to deductive databases by using a two-level knowledge representation mechanism. By this approach, we developed a deductive database add-in module that can be easily integrated with relational databases. Therefore, users can get deductive reasoning functionality without changing their favourite relational databases and query languages. This approach proved to be efficient on knowledge base organization and reasoning in real-world applications.","PeriodicalId":209171,"journal":{"name":"Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127691034","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 local approach to reasoning with conditional knowledge bases 基于条件知识库的局部推理方法
Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence Pub Date : 1996-11-16 DOI: 10.1109/TAI.1996.560732
S. Benferhat, Laurent Garcia
{"title":"A local approach to reasoning with conditional knowledge bases","authors":"S. Benferhat, Laurent Garcia","doi":"10.1109/TAI.1996.560732","DOIUrl":"https://doi.org/10.1109/TAI.1996.560732","url":null,"abstract":"The paper investigates a local approach for reasoning with conditional knowledge bases (with default rules of the form \"generally, if /spl alpha/ then /spl beta/\" and having possibly so,ne exceptions). The idea is that when a conflict appears (due to observing exceptional situations), one first localizes the sets of pieces of information which are responsible for conflicts. Next, using a specificity principle (subclasses must be preferred to general classes), the authors attach priorities to default rules inside each conflict. These priorities, implicitly computed from the knowledge base, reflect the hierarchical structure of the knowledge base. Lastly, they rank-order and solve conflicts in a way that only minimal sets of rules are given up from the knowledge base in order to restore its consistency. This local method of dealing with conflicts addresses correctly the well known problems of specificity, irrelevance, blocking of inheritance, etc.","PeriodicalId":209171,"journal":{"name":"Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126360239","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
A comparative evaluation of a natural language exploration tool within a hypermedia environment 超媒体环境下自然语言探索工具的比较评估
Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence Pub Date : 1996-11-16 DOI: 10.1109/TAI.1996.560796
Mark A. Edwards, H. M. Powell, D. Palmer-Brown
{"title":"A comparative evaluation of a natural language exploration tool within a hypermedia environment","authors":"Mark A. Edwards, H. M. Powell, D. Palmer-Brown","doi":"10.1109/TAI.1996.560796","DOIUrl":"https://doi.org/10.1109/TAI.1996.560796","url":null,"abstract":"Examines the pedagogical effectiveness of a natural language exploratory tool developed to supplement a hypermedia learning environment. The learning environment includes an authoring tool with which the relationships between entities can be easily expressed. These relationships are utilised directly by a natural language interface to engage the learner. By closely analysing the activities of learners using the tool, this study compares natural language exploration with the basic interaction provided by hypermedia environments. To facilitate this study, extensive data was compiled using both qualitative and quantitative techniques. Analysis of learner interactions revealed differences in their interactive behaviour. The group engaged in a discourse was more likely to be examining a coherent set of entities at any one time, and was less likely to experience feelings of disorientation. It is concluded that the natural language tool supports a wide range of learning styles.","PeriodicalId":209171,"journal":{"name":"Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence","volume":"439 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125763548","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学术官方微信