By Topic

IBM Journal of Research and Development

Issue 3 • Date May 1992

Filter Results

Displaying Results 1 - 13 of 13
  • Preface

    Publication Year: 1992, Page(s): 328
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (129 KB)

    With this special issue on artificial intelligence (AI), the IBM Journal of Research and Development continues a tradition, started in the earliest days of the field, of providing a forum for the dissemination of IBM work in this field. This tradition began in the 1950s with the publication of such seminal papers as “Intelligent behavior in Problem-Solving Machines” by Herbert Gelern... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Capturing the deep meaning of texts through deduction and inference

    Publication Year: 1992, Page(s):333 - 345
    Cited by:  Patents (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1211 KB)

    One of the main problems in the computer analysis of natural language is understanding sentences beyond a surface level, i.e., making inferences about likely circumstances and drawing plausible conclusions. At the first level, a natural-language-understanding system can answer simple and trivial questions; in order to extend the domain of possible questions that it can answer, the system must make... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Explaining SLDNF resolution with non-normal defaults

    Publication Year: 1992, Page(s):347 - 359
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1000 KB)

    This paper defines a default logic interpretation for normal programs that has the following major characteristics. First, it directly captures the true nature of SLDNF resolution as an extension of SLD resolution. Second, it is semantically convincing, but it requires neither an elaborated nonstandard interpretation nor a radical rewriting of the program clauses that would make it difficult to un... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • STORK and PENGUIN: Logic programming systems using general clauses and defaults

    Publication Year: 1992, Page(s):361 - 374
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1234 KB)

    This paper describes two logic programming systems with the expressive power of full clausal first-order logic and with a nonmonotonic component. They provide a direct generalization of pure Prolog and can be implemented using the same technology as Prolog processors. The inference engine of both systems is based on the weak-model elimination method which, in the case of the second system, is exte... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Logic programming with typed unification and its realization on an abstract machine

    Publication Year: 1992, Page(s):375 - 390
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1327 KB)

    Logic programming can benefit from a typing concept which supports many software engineering principles such as data abstraction, modularization, etc. From a computational point of view, the use of types can drastically reduce the search space. Starting from these observations, this paper gives a survey of many-sorted, order-sorted, and polymorphic approaches to type concepts in logic programming.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Zephyr: Toward true compiler-based programming in Prolog

    Publication Year: 1992, Page(s):391 - 408
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1598 KB)

    Prolog is widely used in prototyping, especially in artificial intelligence, but it has yet to gain widespread acceptance in application development. We think that the problems in this area result from the programming style enforced in existing Prolog systems. Zephyr is a new Prolog system refined and enhanced to help solve such problems. It allows users to do modular programming by always using a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An experiment in constructing an open expert system using a knowledge substrate

    Publication Year: 1992, Page(s):409 - 434
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (2608 KB)

    This paper discusses an experiment in the use of an object-centered knowledge representation service to provide a common conceptual model for the construction of a large knowledge-intensive decision support tool. A core knowledge substrate forms a common resource for a variety of problem-solving activities and a basis for the rapid construction of new capabilities. FAME, a substantial expert syste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Use of natural language for knowledge acquisition: Strategies to cope with semantic and pragmatic variation

    Publication Year: 1992, Page(s):435 - 468
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (2979 KB)

    The large amount of verbal data from common knowledge-elicitation methods suggests using the data directly for knowledge acquisition by means of sophisticated natural-language analyzers (NLAs). In this paper, we analyze the feasibility of such an approach theoretically and present a number of examples. In the theoretical part of the text we first provide a detailed analysis of the entities involve... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Topological reasoning about dextrous grasps

    Publication Year: 1992, Page(s):469 - 486
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1487 KB)

    The need, in robot manipulation, for higher levels of dexterity and versatility than those provided by grippers and by special-purpose end-effectors has prompted much research effort during the last decade on the design and control of multifingered hands. Most work on multifingered robot hands has dealt with low-level, numeric control, commonly based on screw theory and tools drawn from line geome... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optical recognition of hand-printed characters of any size, position, and orientation

    Publication Year: 1992, Page(s):487 - 501
    Cited by:  Papers (5)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1322 KB)

    This paper deals with the optical recognition of text data in documents such as engineering drawings, land-use and land-register maps, and utility maps. The automatic computer acquisition of these documents is performed through the basic steps of vectorization of the line-structure and recognition of the text data interspersed in the document. The latter data are usually handwritten by professiona... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Recent publications by IBM authors

    Publication Year: 1992, Page(s):503 - 525
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (2113 KB)

    The information listed here is supplied by the Institute for Scientific Information and other outside sources. Reprints of the papers may be obtained by writing directly to the first author cited. Information on books may be obtained by writing to the publisher. Journals and books are listed alphabetically by title; papers are listed sequentially for each journal. View full abstract»

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

    Publication Year: 1992, Page(s):527 - 529
    IEEE is not the copyright holder of this material | PDF file iconPDF (196 KB)
    Freely Available from IEEE
  • Arthur Samuel: Pioneer in Machine Learning

    Publication Year: 1992, Page(s):329 - 331
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (9728 KB)

    Professor Emeritus Arthur L. Samuel died July 29, 1990, in Stanford, california at the age of 89. He was a pioneer of artificial intelligence research whose life spanned a broad personal and scientific history. View full abstract»

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

Aims & Scope

The IBM Journal of Research and Development is a peer-reviewed technical journal, published bimonthly, which features the work of authors in the science, technology and engineering of information systems.

Learn about subscribing to this journal >

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Clifford A. Pickover
IBM T. J. Watson Research Center