{"title":"Explicit versus implicit set-covering for supervised learning","authors":"Stephen V. Kowalski, D. Moldovan","doi":"10.1109/TAI.1994.346425","DOIUrl":"https://doi.org/10.1109/TAI.1994.346425","url":null,"abstract":"It has been shown that implicit covering algorithms are effective for learning concepts from preclassified training examples. In this paper, we show that by making these covering algorithms explicit, concepts with lower error rates can be learned. Experimental results are reported for three real domains.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"17 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":"131255989","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}
{"title":"The Figure Understander: a tool for the integration of text and graphical input to a knowledge base","authors":"R. Rajagopalan","doi":"10.1109/TAI.1994.346510","DOIUrl":"https://doi.org/10.1109/TAI.1994.346510","url":null,"abstract":"The paper describes the Figure Understander, a tool for integrating multimedia input in the form of graphically-drawn diagrams and text to a knowledge base. This tool has been designed to support applications. Such as a story or map understanding system that will benefit from the ability to input a spatial scene compactly through a diagram, but may require additional text to describe the domain properties of objects. Previous solutions to the problem of integrating text and pictorial input have been based on associating spatial images with text objects. The ambiguities associated with these methods are well known. We present an alternate approach which eliminates many of the sources of ambiguity by allowing semantic information to be provided directly within diagram objects. We illustrate the utility of our method through examples from two independent applications.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"48 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":"134432517","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}
{"title":"The inheritance mechanism of a System Integrating Logic in Objects","authors":"I. Hatzilygeroudis, H. Reichgelt","doi":"10.1109/TAI.1994.346416","DOIUrl":"https://doi.org/10.1109/TAI.1994.346416","url":null,"abstract":"The inheritance mechanism of SILO, a System Integrating Logic in Objects, is presented. It comprises two components, a hardwired and a user-definable. In the hardwired component, apart from overriding, solution invalidation is also used. The user-definable component consists of a number of user-definable functions to control inheritance, called meta-functions. The architecture employed to realize explicit representation of control knowledge is based on a partial reflection meta-level architecture.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"43 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":"132942635","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}
{"title":"Design By Expectation: a framework for engineering design optimization","authors":"E. Yeh, Ying Sun, S. Venkata, Z. Sumic","doi":"10.1109/TAI.1994.346507","DOIUrl":"https://doi.org/10.1109/TAI.1994.346507","url":null,"abstract":"An engineering design often requires sophisticated understanding of the domain knowledge and the designer's creativity. To optimize the engineering design, one needs to explore a combinatorial search space. We propose a framework, called Design By Expectation (DBE), which provides a collaborative scheme for genetic algorithms (GA's) and domain-specific knowledge to carry out the engineering design optimization. DBE exploits the adaptation of GA's in approaching better solutions, which compensates for the weak creativity of computers. We make the DBE framework more flexible by developing a set of expectation interpreters that release the strict requirements on the formalities of objectives and constraints required in traditional optimization techniques. Finally, we use two practical examples: power system stabilizer and streetlight placement, to demonstrate the applicability of the DBE framework.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"33 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":"115057407","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}
Y. Nomura, M. Iwamoto, Toru Yamanouchi, Masanobu Watanabe
{"title":"A heuristics guided scheduling framework for domains with complex conditions","authors":"Y. Nomura, M. Iwamoto, Toru Yamanouchi, Masanobu Watanabe","doi":"10.1109/TAI.1994.346409","DOIUrl":"https://doi.org/10.1109/TAI.1994.346409","url":null,"abstract":"In this paper, we describe PLUTO, PLant scheduling expert system bUilding TOol. PLUTO provides the framework to build scheduling systems for daily schedule of the facilities and personnel involved in the manufacturing process. PLUTO is suited for pipe connected plants with strict sanitary conditions, such as plants for medical supplies, chemical or food plants. In these domains, it is difficult to use general problem solvers because strict conditions lead to complex constraints among tasks and resources. Scheduling system built using PLUTO is able to generate schedules in a considerably short amount of time by a combination of heuristic search and constraint propagation. PLUTO has been able to reduce one third of the scheduling cost for real world scheduling problems.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"48 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":"116567826","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}
{"title":"Parsing unification categorial grammar with object-oriented knowledge","authors":"Li Li, B. Bryant","doi":"10.1109/TAI.1994.346516","DOIUrl":"https://doi.org/10.1109/TAI.1994.346516","url":null,"abstract":"A multiple nonmonotonic inheritance network with type hierarchies based on the LIFE programming language is proposed for Unification Categorial Grammar (UCG) to specify a large and complex lexicon. Inheritance is defined as a deductive unification process that incrementally refines classes. The disjunctive interpretation with generalization provides a practical solution to the potential contradictions caused by nonmonotonic inheritance. The transformation of UCG categories into augmented context-free lexical rules leads to a more natural representation of UCG and an efficient parsing algorithm.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"23 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":"123323675","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}
{"title":"Integrating rules and constraints","authors":"B. Liu","doi":"10.1109/TAI.1994.346428","DOIUrl":"https://doi.org/10.1109/TAI.1994.346428","url":null,"abstract":"Constraint satisfaction problem (CSP) is a deductive problem of a special kind, while rule-based systems are the practical programs that have implemented many of the ideas and techniques of deductive systems. Incorporating CSP into a rule-based system allows the rule-based system to exploit the power of CSP techniques in handling this special class of problems. This paper shows how constraints and rules can be integrated. This integration also helps to deal with the problems of disjunctions, which are not handled satisfactorily in the current rule-based systems.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"186 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":"121839684","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}
{"title":"Neo-fuzzy-neuron based new approach to system modeling, with application to actual system","authors":"E. Uchino, T. Yamakawa","doi":"10.1109/TAI.1994.346442","DOIUrl":"https://doi.org/10.1109/TAI.1994.346442","url":null,"abstract":"This paper introduces a new approach to system modeling by using a neo-fuzzy-neuron. The system of concern is modeled adaptively by simply feeding to the neo-fuzzy-neuron, the basic principle of which was proposed by the authors in 1992, the input and the output data of the objective system. Firstly, the neo-fuzzy-neuron is applied to the restoration of a saturated and/or intermittent speech or chaotic signal to show its actual effectiveness. It is then extended in order to get a better generalization capability. An adaptive fuzzy modeling with use of a piece-wise linear membership function is also introduced. The experimental results have provided substantial proofs for their practical use.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"186 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":"121928010","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}
{"title":"A formal associative model of logic programming and its abstract instruction set","authors":"A. Bansal, P. V. Lokam, M. N. Ghandikota","doi":"10.1109/TAI.1994.346502","DOIUrl":"https://doi.org/10.1109/TAI.1994.346502","url":null,"abstract":"Associative computation is characterized by the intertwining of search by content and data parallel computation. This intertwining facilitates the integration of knowledge retrieval and data parallel computation. The paper describes a formal set of architecture independent rules for an associative model of logic programming, and an abstract instruction set. The model integrates knowledge retrieval, data parallel computation, and rule based reasoning within logic programming paradigm. An example of abstract instructions has been presented through the compilations of illustrative programs. Benchmark results have been presented. Benchmark result shows that tight integration of rule based reasoning and data parallel computation has reduced overhead on high performance supercomputers.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"26 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":"114254547","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}
{"title":"Artificial neural networks for motion analysis","authors":"Ting Chen","doi":"10.1109/TAI.1994.346498","DOIUrl":"https://doi.org/10.1109/TAI.1994.346498","url":null,"abstract":"A novel approach to 3D rigid motion analysis using artificial neural network techniques is proposed. It differs from the previous works in the ways it tackles the problems of matching and motion parameter extraction among two frames. Experiments are conducted to corroborate the proposed techniques.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"73 2 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":"130814645","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}