Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94

6-9 Nov. 1994

Filter Results

Displaying Results 1 - 25 of 138
  • Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94

    Publication Year: 1994
    Request permission for commercial reuse | PDF file iconPDF (22 KB)
    Freely Available from IEEE
  • Solving diagramless crossword puzzles

    Publication Year: 1994, Page(s):4 - 10
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (504 KB)

    An interesting computational challenge is posed by finding the diagram in diagramless crossword puzzles. We describe two approaches to placing the words in the diagram to form a crossword puzzle, given the “across” and the “down” words. One algorithm systematically tries the possibilities. By discarding partially completed puzzles the solutions for large puzzles can be foun... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Finite domain constraints in the ML functional language

    Publication Year: 1994, Page(s):784 - 787
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (320 KB)

    We propose an extension of the ML language for handling constraints in finite domains, as originally proposed by the CHIP Constraint Logic Programming Language, following and attending techniques originating from Constraint Satisfaction Problems. This makes it possible for the programmer to declaratively combine in a single application both purely functional parts and constraint solving parts for ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Conceptual driven search among distributed knowledge sources

    Publication Year: 1994, Page(s):594 - 600
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB)

    We describe how a common conceptual model of the application domain can be used to support a cooperative and concurrent search among loosely coupled knowledge sources (KSs) distributed over a network with unknown topology. The introduction of a conceptual level, shared among all the KSs in the net, allows one to obtain independence from the logical data organization of each node, not only from the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Classification in DLMS utilizing a KL-ONE representation language

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

    Ford Motor Company's Direct Labor Management System (DLMS) is the knowledge-based subsystem of complex multiphase manufacturing process planning system. DLMS is a deployed production system that is used daily by Ford Body and Assembly Division personnel in the performance of their duties. The knowledge used to drive the assembly planning system is stored in a knowledge base that is based on the KL... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Predicting the response time of real-time rule-based programs with variable-expression assignments

    Publication Year: 1994, Page(s):297 - 303
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (540 KB)

    Real-time expert systems are embedded decision systems which must respond to changes in the environments within stringent timing constraints. Given a program p, the response time analysis problem is to determine the maximal response time of p. In this paper, we tackle this problem with a response time upper bound algorithm for a class of EQL rule-based programs whose variables range over finite do... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Pattern theoretic knowledge discovery

    Publication Year: 1994, Page(s):788 - 791
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (328 KB)

    Future research directions in knowledge discovery in databases (KDD) include the ability to extract an overlying concept relating useful data. Current limitations involve the search complexity to find that concept and what it means to be “useful.” The pattern theory research crosses over in a natural way to the aforementioned domain. The goal of this paper is threefold. First, we prese... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tools for managing stories and questions

    Publication Year: 1994, Page(s):237 - 238
    Cited by:  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (92 KB)

    Stories are an accessible medium of communication, and interactive dialog, with an expert teacher is a time-proven method of tutoring and mentoring. A natural way to explore complex material is to ask questions and listen to answers: and answers can often take the form of stories. Given a collection of texts and a user who wants access to the knowledge contained there, how can the texts be analyze... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed simulated re-annealing for dynamic constraint satisfaction problems

    Publication Year: 1994, Page(s):601 - 607
    Cited by:  Patents (25)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (504 KB)

    The aim of the paper is to show the advantage of the distributed approach based on an optimization process like simulated annealing. This advantage is exhibited through the example of constraint satisfaction problems. Since most of these problems are currently dynamic, the paper presents an extension of the basic model, which has already been developed and successfully experimented with (K. Ghedir... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • KBMDL: a knowledge based model description language for decision support

    Publication Year: 1994, Page(s):696 - 699
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (328 KB)

    This paper presents a knowledge based model description language KBMDL. It is taken as the basis of NUIDSS, an intelligent decision support system. Due to the flexible connection with a knowledge base, the language not only enhances the construction and the management of the model base, but also has the capability of both quantitative and qualitative analysis. The other features include graphic de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The schema theorem considered insufficient

    Publication Year: 1994, Page(s):748 - 751
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (308 KB)

    The purpose of this paper is to attempt to verify how the schema theorem affects the behavior of a genetic algorithm (GA) and uncover the relationships between building blocks and increasing schemata. From the analysis of schema tracing, the schema theorem should be interpreted carefully with precise definitions of building block and increasing schema. In addition, we find that an important type o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parsing unification categorial grammar with object-oriented knowledge

    Publication Year: 1994, Page(s):33 - 39
    Cited by:  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (496 KB)

    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 contradict... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A knowledge-based tutoring system for SQL programming

    Publication Year: 1994, Page(s):352 - 358
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (608 KB)

    This paper presents the design of a knowledge-based tutoring system (KBTS) for teaching students to write SQL programs. After analyzing the underlying control mechanism in a tutoring process, we propose a novel architecture to support the process. Our system has many features such as the use of a uniform control flow strategy, the employment of a graph-based scheme to represent global knowledge, a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Intelligent neural networks using smart wavelets preprocessing

    Publication Year: 1994, Page(s):348 - 349
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (132 KB)

    The author's main theme is that an adaptive wavelet transform developed recently is a mathematical embodiment of the the smart ears/eyes as a localized multiple resolution parallel input to artificial neural networks (ANN). Furthermore, ANN can adaptively tune the wavelet kernel called a super-mother wavelet to do the classification job well. The wavelet principles and applications are reviewed View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated connectionist models: building AI systems on subsymbolic foundations

    Publication Year: 1994, Page(s):231 - 232
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (152 KB)

    Symbolic artificial intelligence is motivated by the hypothesis that symbol manipulation is both necessary and sufficient for intelligence. In symbolic systems, knowledge is encoded in terms of explicit symbolic structures, and inferences are based on handcrafted rules that sequentially manipulate these structures. Such systems have been quite successful, for example, in modeling in-depth natural ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A tool to support knowledge based software maintenance: the Software Service Bay

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

    A software maintenance methodology, The Software Service Bay, is introduced. This methodology is analogous to the automotive service bay which employs a number of experts for particular maintenance problems. Problems in maintenance are reformulated so they may be solved with current AI tools and technologies View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Solving constraints over the reals-a multi-solver approach

    Publication Year: 1994, Page(s):304 - 310
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (500 KB)

    In this paper we introduce a multi-solver approach for solving systems of constraints over the reals. First, we informally show how a cooperation between different solvers makes it possible to solve problems that none of these solvers can tackle alone. Then, we specify a cooperative architecture based upon agents that communicate via asynchronous message passing. This architecture allows to use co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating rules and constraints

    Publication Year: 1994, Page(s):676 - 679
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (364 KB)

    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... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A partial breadth-first execution model for Prolog

    Publication Year: 1994, Page(s):129 - 137
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (712 KB)

    MEM (Multipath Execution Model) is a novel model for the execution of Prolog programs which combines a depth-first and breadth-first exploration of the search tree. The breadth-first search allows more than one path of the SLD-tree to be explored at the same time. In this way, the computational cost of traversing the whole search tree associated to a program can be decreased because the MEM model ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Constructs for building complex symbolic-connectionist systems

    Publication Year: 1994, Page(s):796 - 799
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (244 KB)

    In this paper we describe the problem-solving constructs, namely information processing constructs, learning constructs, knowledge representation constructs and computational constructs for building complex symbolic-connectionist systems. These constructs are applicable in particular to complex diagnostic domains and in general to complex data intensive domains View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A neural network for supervised learning of natural language grammar

    Publication Year: 1994, Page(s):267 - 273
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (588 KB)

    Within the framework of the expert information retrieval system, DIALECT 2, we propose a connectionist method for a linguistic morpho-syntactic parser of the French language. The system is based upon a three layered neural network with a recursive sentence structure. This network is in charge of the acquisition of natural language grammatical competence. The learning stage is supervised and distri... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tools for representing and managing knowledge: some practical requirements and suggestions

    Publication Year: 1994, Page(s):240 - 244
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB)

    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 too... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Figure Understander: a tool for the integration of text and graphical input to a knowledge base

    Publication Year: 1994, Page(s):80 - 87
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (624 KB)

    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 pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tools for experiments in planning

    Publication Year: 1994, Page(s):615 - 623
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (736 KB)

    The paper describes two separate but synergistic tools for running experiments on large Lisp systems such as artificial intelligence planning systems, by which we mean systems that produce plans and execute them in some kind of simulator. The first tool, called CLIP (Common Lisp Instrumentation Package), allows the researcher to define and run experiments, including experimental conditions (parame... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using planning techniques to provide feedback in interactive learning environments

    Publication Year: 1994, Page(s):700 - 703
    Cited by:  Patents (27)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (340 KB)

    A scheme for domain and task representation in an interactive learning environment is described. The approach, based on recent enhancements to a classic AI planning formulation, enables suitable feedback to be incorporated economically into tutors for a range of procedural domains. The method is applied to the problem of simulating the operation of a video cassette recorder and representing tasks ... View full abstract»

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