By Topic

IEEE Expert

Issue 6 • Date Dec. 1992

Filter Results

Displaying Results 1 - 7 of 7
  • Knowledge-based software engineering

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

    Knowledge-based software engineering emphasizes the fact that creating software is a knowledge-intensive activity, and proposes that making more knowledge available will facilitate the timely production of high-quality software. The author gives four reasons for software engineering being an interesting area for AI research. He also stipulates that KBSE researchers must answer several crucial ques... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Lockheed environment for automatic programming

    Publication Year: 1992, Page(s):15 - 25
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1618 KB)

    The Lockheed Environment for Automatic Programming (LEAP), an asset-based software synthesis system, is discussed. LEAP captures and exploits design knowledge to produce application system descriptions, software implementations, and other design artifacts. Its asset-based synthesis approach allows software production to be incrementally automated and in large part produced by system engineers. The... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rule chaining in Marvel: dynamic binding of parameters

    Publication Year: 1992, Page(s):26 - 33
    Cited by:  Papers (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1676 KB)

    Marvel is a software development environment that uses a rule-based model of the development process. When a user issues a command, Marvel invokes the corresponding rule and binds the rule's formal parameter to the object selected by the user. If firing the rule changes the object in a way that satisfies the conditions of other rules, Marvel automatically fires each of these rules and tries to bin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An architecture for real-time reasoning and system control

    Publication Year: 1992, Page(s):34 - 44
    Cited by:  Papers (49)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1787 KB)

    The Procedural Reasoning System, a generic reasoning system based on the rational-agent architecture, is described. The system has been applied to several real-time applications, including mobile robot control, system control for a surveillance aircraft, and air traffic management. Two applications that are relevant to process industries handling malfunctions for the reaction control system of NAS... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge-based technology for controlling railway stations

    Publication Year: 1992, Page(s):45 - 52
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1165 KB)

    The designs and implementations of two expert systems applicable to any railway station, the automatic train protection (ATP) design expert system (ADES), which automatically designs ATP systems, and the stationmaster assistant (SMA) which helps stationmasters choose safe routes, are discussed. These systems use shared knowledge to explicitly represent ATP systems and routes, making the systems ea... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Informational and decision processes for flexible manufacturing systems

    Publication Year: 1992, Page(s):53 - 62
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1175 KB)

    A formal method based on the Semantic Unification and Logic (Semlog) environment, a typed object-oriented programming environment to develop control software for flexible manufacturing systems is described. The method minimizes the effort needed to transform the manufacturer's problem description into the programmer's solution plan. The representation scheme facilitates abstract and high-level des... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using data quality measures in decision-making algorithms

    Publication Year: 1992, Page(s):63 - 72
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1015 KB)

    Four decision methods are compared to determine appropriate ways of using data quality measures. Separate studies are directed toward defining and measuring tactical data quality, and calibrating the measures to decision problems. The decision methods compared include Dempster's rule, the linear and logarithmic opinion pools, a fuzzy-logic algorithm and the Mycin certainty factor calculus. It is c... View full abstract»

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

Aims & Scope

This Periodical ceased production in 1997. The current retitled publication is IEEE Intelligent Systems.

Full Aims & Scope