14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.最新文献_第2页

A lazy divide and conquer approach to constraint solving 一个懒惰的分而治之的方法来解决约束

14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings. Pub Date : 2002-11-04 DOI: 10.1109/TAI.2002.1180792

Saswat Anand, W. Chin, Siau-Cheng Khoo

{"title":"A lazy divide and conquer approach to constraint solving","authors":"Saswat Anand, W. Chin, Siau-Cheng Khoo","doi":"10.1109/TAI.2002.1180792","DOIUrl":"https://doi.org/10.1109/TAI.2002.1180792","url":null,"abstract":"A divide and conquer strategy enables a problem to be divided into subproblems, which are solved independently and later combined to form solutions of the original problem. For solving constraint satisfaction problems, however, the divide and conquer technique has not been shown to be effective. This is because it is not possible to cleanly divide a problem into independent subproblems in the presence of constraints that involve variables belonging to different subproblems. Consequently, solutions of one subproblem may prune solutions of another subproblem, making those solutions of the latter subproblem redundant. In this paper we propose a divide and conquer approach to constraint solving in a lazy evaluation framework. In this framework, a subproblem is solved on demand, which eliminates redundant consistency checks. Moreover, once solved, the solutions of a subproblem can be reused in the satisfaction of various global constraints connecting this subproblem with others, thus reducing the search space. We also demonstrate the effectiveness of our algorithm in solving a practical problem: finding all instances of a user-defined pattern in stock market price charts.","PeriodicalId":197064,"journal":{"name":"14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133960200","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

Ontology construction for information selection 面向信息选择的本体构建

14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings. Pub Date : 2002-11-04 DOI: 10.1109/TAI.2002.1180796

L. Khan, Feng Luo

{"title":"Ontology construction for information selection","authors":"L. Khan, Feng Luo","doi":"10.1109/TAI.2002.1180796","DOIUrl":"https://doi.org/10.1109/TAI.2002.1180796","url":null,"abstract":"Technology in the field of digital media generates huge amounts of non-textual information, audio, video, and images, along with more familiar textual information. The potential for exchange and retrieval of information is vast and daunting. The key problem in achieving efficient and user-friendly retrieval is the development of a search mechanism to guarantee delivery of minimal irrelevant information (high precision) while ensuring relevant information is not overlooked (high recall). The traditional solution employs keyword-based search. The only documents retrieved are those containing user specified keywords. But many documents convey desired semantic information without containing these keywords. One can overcome this problem by indexing documents according to meanings rather than words, although this will entail a way of converting words to meanings and the creation of ontology. We have solved the problem of an index structure through the design and implementation of a concept-based model using domain-dependent ontology. Ontology is a collection of concepts and their interrelationships, which provide an abstract view of an application domain. We propose a new mechanism that can generate ontology automatically in order to make our approach scalable. For this we modify the existing self-organizing tree algorithm (SOTA) that constructs a hierarchy from top to bottom. Furthermore, in order to find an appropriate concept for each node in the hierarchy we propose an automatic concept selection algorithm from WordNet called linguistic ontology. To illustrate the effectiveness of our automatic ontology construction method, we have explored our ontology construction in text documents. The Reuters21578 text document corpus has been used. We have observed that our modified SOTA outperforms hierarchical agglomerative clustering (HAC).","PeriodicalId":197064,"journal":{"name":"14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115398340","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}

引用次数: 167

Transportation modeling: an artificial life approach 交通建模:人工生命方法

14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings. Pub Date : 2002-11-04 DOI: 10.1109/TAI.2002.1180807

P. Lucic, D. Teodorovic

引用次数: 156

Data mining using cultural algorithms and regional schemata 使用文化算法和区域模式的数据挖掘

14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings. Pub Date : 2002-11-04 DOI: 10.1109/TAI.2002.1180785

Xidong Jin, R. Reynolds

引用次数: 13

Application of AI planning techniques to automated code synthesis and testing 人工智能计划技术在自动代码合成和测试中的应用

14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings. Pub Date : 2002-11-04 DOI: 10.1109/TAI.2002.1180797

I. Yen, F. Bastani, F. Mohamed, Hui Ma, J. Linn

{"title":"Application of AI planning techniques to automated code synthesis and testing","authors":"I. Yen, F. Bastani, F. Mohamed, Hui Ma, J. Linn","doi":"10.1109/TAI.2002.1180797","DOIUrl":"https://doi.org/10.1109/TAI.2002.1180797","url":null,"abstract":"Rapid growth in the demand for embedded systems and the increased complexity of embedded software pose an urgent need for advanced embedded software development techniques. One attractive approach is to enable semi-automated code generation and integration of systems from components. However, the implementation and validation of these systems requires a steep learning curve due to the large number, variety, and complexity of software components. In this paper, we discuss the potential application of AI planning techniques in assisting with the synthesis of glue code for assembling a system from existing components as well as automated testing of the system. The approach works by transforming component specifications into rules that operate on a domain-specific state space. Each rule captures the semantics of a method in a class. The code assembly and testing requirements are described by identifying conditions (goals) that should be achieved. An automated planning system computes a sequence of rules and their instantiations that will achieve the goal state. This sequence is then used to synthesize the code or to generate test cases. The approach is illustrated using an example.","PeriodicalId":197064,"journal":{"name":"14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116185146","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

Evolution and evaluation of software quality models 软件质量模型的演化与评价

14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings. Pub Date : 2002-11-04 DOI: 10.1109/TAI.2002.1180850

C. Ramamoorthy

引用次数: 4

EER-CONCEPTOOL: a "reasonable" environment for schema and ontology sharing EER-CONCEPTOOL:模式和本体共享的“合理”环境

14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings. Pub Date : 2002-11-04 DOI: 10.1109/TAI.2002.1180848

Helmut Meisel, E. Compatangelo

引用次数: 13

Improving the orthogonal range search k-windows algorithm 改进正交距离搜索k窗算法

14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings. Pub Date : 2002-11-04 DOI: 10.1109/TAI.2002.1180810

Panagiotis D. Alevizos, B. Boutsinas, D. Tasoulis, M. Vrahatis

引用次数: 20

Combining finite state automata and a greedy learning algorithm to determine the syntactic roles of commas 结合有限状态自动机和贪婪学习算法来确定逗号的句法角色

14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings. Pub Date : 2002-11-04 DOI: 10.1109/TAI.2002.1180817

S. V. Delden, F. Gomez

引用次数: 11

Cooperative co-learning: a model-based approach for solving multi-agent reinforcement problems 合作共同学习:一种基于模型的多智能体强化问题解决方法

14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings. Pub Date : 2002-11-04 DOI: 10.1109/TAI.2002.1180839

B. Scherrer, F. Charpillet

引用次数: 13