By Topic

Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on

Date 6-9 Nov. 1990

Filter Results

Displaying Results 1 - 25 of 123
  • Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence (Cat. No.90CH2915-7)

    Publication Year: 1990
    Request permission for commercial reuse | PDF file iconPDF (29 KB)
    Freely Available from IEEE
  • A knowledge-based environment for assessment of color similarity

    Publication Year: 1990, Page(s):768 - 775
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (772 KB)

    A discussion is given on a knowledge-based approach to the representation and implementation of the similarity evaluation of colors; all the aspects involved in color description and the relationships between color descriptions and similarity judgments may be explicitly represented in a quantitative, rigorous and reliable way. The authors choose CIELUV, which provides a flexible and powerful numer... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Decomposition of belief function in hierarchical hypotheses space

    Publication Year: 1990, Page(s):718 - 724
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (564 KB)

    It is shown that, in a hierarchically structured hypotheses space, any belief function whose focal elements are nodes in the hierarchy is a separable support function. An algorithm is proposed that decomposes such a separable support function into simple support functions. It is shown that the computational complexity of this decomposition algorithm is O(N2). Applicati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generation of feature detectors for texture discrimination by genetic search

    Publication Year: 1990, Page(s):812 - 818
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB)

    A genetic-algorithm-based methodology for learning a set of feature detectors for texture discrimination is presented. This methodology is incorporated into a vision system that learns to classify noisy examples of different texture classes by evolving populations of simple and texture-specific local spatial feature detectors. The results of preliminary work confirm the utility of the genetic algo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An improved register allocation algorithm for the WAM model

    Publication Year: 1990, Page(s):651 - 657
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (416 KB)

    An improved adaptable unification order algorithm is presented. It is used in register allocation for a Warren abstract machine (WAM) Prolog implementation. The algorithm is based on the division of a clause into chunks. The purpose is to generate better Prolog codes for programs so that they have fewer instructions and data movements in execution. It is realized by a good conflict handling algori... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the application of stratification to requirement specifications

    Publication Year: 1990, Page(s):760 - 766
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (492 KB)

    The importance of stratification to automatic program generation is considered. Stratification of the variables of a weak specification seems to hold promise in the determination of the variable type, as well as in providing guarantees concerning the consistency, completeness, and ambiguity (or lack thereof) of the requirements specification View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Genetically breeding populations of computer programs to solve problems in artificial intelligence

    Publication Year: 1990, Page(s):819 - 827
    Cited by:  Papers (8)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (756 KB)

    The authors describe the genetic programming paradigm, which genetically breeds populations of computer programs to solve problems. In genetic programming, the individuals in the population are hierarchical computer programs of various sizes and shapes. Applications to three problems in artificial intelligence are presented. The first problem involves genetically breeding a population of computer ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performing deduction from implicit beliefs

    Publication Year: 1990, Page(s):848 - 855
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (724 KB)

    An implemented knowledge-based system tool, called JOSIE is presented, that allows specialized representations to be efficiently integrated into a uniform framework. As with previous systems of this type, JOSIE allows different kinds of knowledge to be represented differently. Specialized representations are used to improve an application system's efficiency. One way they gain efficiency is by rep... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending Athena: multiple classes and confidence output values

    Publication Year: 1990, Page(s):712 - 716
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (384 KB)

    The Athena model, introduced by C. Koutsougeras and C.A. Papachristou (1988), is a tree-like net whose adaptation is based on entropy optimization. The difficult problem in the optimization was handled by using Fisher's linear discriminant method. To handle the multiple class case, heuristics were used (multiple classes, generic classes) to reduce the problem at hand to the two-class case. In the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • KB/RMS: an intelligent assistant for requirement definition

    Publication Year: 1990, Page(s):610 - 616
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (716 KB)

    A conceptual framework and a system model for an intelligent assistant for requirement definition, KB/RMS, is presented. The requirement definition process is characterised by the requirements context model. Informal and formal methods for requirement definition are considered in light of this model, which serves as the logical schema for the KB/RMS database. Conventional and knowledge-based syste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Validation of nonmonotonic knowledge-based systems

    Publication Year: 1990, Page(s):776 - 782
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (476 KB)

    Nonmonotonic logical systems are logics in which the introduction of new axioms can invalidate old theorems. For practical applications, the authors restrict themselves to nonmonotonic systems that consist of facts and rules, and call them nonmonotonic knowledge-based systems (KBSs). Rules in a nonmonotonic KBS can be either default rules or regular rules. The syntax and semantics of these two typ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Development of a meta-blackboard shell

    Publication Year: 1990, Page(s):544 - 550
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (744 KB)

    The architecture of a meta-blackboard shell is described, which can be specialized as specific blackboard shells to fit specific domains. The knowledge source structure of the shell is designed as a miniature blackboard architecture to increase the local inference capability through the generalization of knowledge representation. The control component is designed as a restricted blackboard archite... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The control of genetic algorithms using version spaces

    Publication Year: 1990, Page(s):342 - 348
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (572 KB)

    It is demonstrated how the traditional genetic algorithm (GA) can be augmented by incorporating domain knowledge in the form of a version space (VS) into the structure. This hybrid inductive learning system is designed to handle problems in concept learning using the VS to control the search process that is performed by the GA. In this hybrid system a novel class of schemata is present called the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Study of interval-valued belief combination with conflicting evidence

    Publication Year: 1990, Page(s):725 - 730
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (404 KB)

    A novel mathematical procedure for combining conflicting evidence which is represented in the interval form is presented. A methodology to construct combination rules which obey a set of essential properties is proposed. The method is based on a geometric model. The authors compare results obtained from Dempster's rule, the interval Bayes rule, and the proposed combination rule with both conflicti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The neural shell: a neural network simulation tool

    Publication Year: 1990, Page(s):118 - 124
    Cited by:  Patents (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (444 KB)

    A neural network simulator, the neural shell was developed to simplify the design and use of neural networks. The neural shell is a prototyping environment which runs on workstations and additionally supports the execution of large neural-network simulations on Cray supercomputers. Descriptions are given of the Neural Shell Window, the configuration window, the graphics display window, file requir... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • KNOWBEL: a hybrid expert system building tool

    Publication Year: 1990, Page(s):864 - 870
    Cited by:  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (524 KB)

    KNOWBEL is a tool offering the knowledge representation language Telos and the logic programming system MRS for the development of an expert system. Telos is a tightly integrated hybrid knowledge representation scheme, offering facilities for structuring a knowledge base as well as an assertional sublanguage for expressing deductive rules and integrity constraints. Unlike Prolog, MRS provides faci... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Neural computing with structured information

    Publication Year: 1990, Page(s):359 - 365
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (508 KB)

    Techniques to index and structurally relate the memories stored in a neural network are considered. Indexing may be done either by appending indexing keys to memories or by using portion of the memory itself to perform self-indexing. The first method is useful for easy recall and it can be applied to develop a database system. The second method defines a mechanism for sequential associative memory... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • BaLinda Lisp: a parallel list-processing language

    Publication Year: 1990, Page(s):618 - 624
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (568 KB)

    The authors describe BaLinda (Biddle and Linda) Lisp, a parallel execution Lisp dialect designed to take advantage of the architectural capabilities of Biddle (bidirectional data driven Lisp engine). The Future construct is used to initiate parallel execution threads, which may communicate through Linda-like commands operating on a tuple space. These features provide good support for parallel exec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A tool system for knowledge-based on-line diagnosis in industrial automation

    Publication Year: 1990, Page(s):424 - 429
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (424 KB)

    A tool system which supports the development of expert systems for use in the field of industrial automation is presented. The knowledge representation language provided by the tool system supports different aspects of knowledge which are important in this domain: the representation of declarative and procedural knowledge; the representation of temporal knowledge; and the representation of knowled... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Grid Match: a basis for integrating production systems with relational databases

    Publication Year: 1990, Page(s):400 - 407
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (652 KB)

    GridMatch, an efficient algorithm for evaluating left hand side bindings in a secondary memory environment, is described. Matching is incremental and the algorithm is state saving. Since the working-memory database and matching state are too large to fit in the main memory, careful implementation becomes crucial. GridMatch uses partitioned storage to reduce matching time. The time and space comple... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving tactical plans with genetic algorithms

    Publication Year: 1990, Page(s):328 - 334
    Cited by:  Papers (3)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (536 KB)

    The problem of learning decision rules for sequential tasks is addressed, focusing on the problem of learning tactical plans from a simple flight simulator where a plane must avoid a missile. The learning method relies on the notion of competition and uses genetic algorithms to search the space of decision policies. In the research presented here, the use of available heuristic domain knowledge to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An introduction to KEDE-A hybrid knowledge engineering development environment

    Publication Year: 1990, Page(s):63 - 69
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (580 KB)

    A hybrid knowledge engineering development environment called KEDE is briefly introduced as a powerful tool for large artificial-intelligence problems. It provides five kinds of knowledge representation: extended frames, semantic nets, procedural knowledge, object-oriented technique and predicate logic. Correspondingly, it supports procedure-oriented, data-oriented, object-oriented and logic-orien... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ACKnowledge project: A framework for knowledge acquisition techniques integration

    Publication Year: 1990, Page(s):110 - 116
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (616 KB)

    The ACKnowledge project aims at improving the efficiency of knowledge acquisition. For this purpose, the theoretical approach of the project consists of analyzing and evaluating the applicability of existing knowledge acquisition techniques in various contexts, in order to develop a comprehensive framework for integrating complementary knowledge acquisition techniques. Practical achievements of th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Minor moves-global results: robot trajectory planning

    Publication Year: 1990, Page(s):16 - 22
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (596 KB)

    Two simple algorithms are used to find the global optimum in a parameter space of high dimension. Both algorithms are based on local optimization-the first one uses the gradient method, the other one modified Kohonen nets. The main topic of interest is how the qualitative features of the global optimum emerge as a consequence of iterated minor parameter adjustments. Planning the trajectory for a s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A neural architecture applied to the enhancement of noisy binary images without prior knowledge

    Publication Year: 1990, Page(s):699 - 705
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    The authors present the formulation of an improved neural architecture, a modified adaptive resonance theory (ART), for the enhancement of binary images in the presence of noise. The two-layer ART model developed by G.A. Carpenter and S. Grossberg (1987) is further incorporated into a four-layer network. The operation and performance of ART1 in classifying binary input patterns is first investigat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.