By Topic

IEEE Expert

Issue 3 • June 1993

Filter Results

Displaying Results 1 - 8 of 8
  • A stratified approach to specifying, designing, and building knowledge systems

    Publication Year: 1993, Page(s):15 - 25
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1606 KB)

    The application of the Soar architecture to building stratified system-level models of knowledge systems is discussed. The stratified approach describes a knowledge system using three levels of computational models: the knowledge-level computational model, the problem-space computational model, and the symbol-level computational model. At the knowledge level, a system is specified in terms of the ... View full abstract»

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

    Publication Year: 1993, Page(s):26 - 34
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1173 KB)

    The strategies used in designing limited method-based tools can be applied to the much broader method that underlies Soar, called the problem space computational model (PSCM). Taql (for task acquisition language), which is the computer representation of PSCM, is discussed. Taql, together with its programming environment, comprises the Soar-based expert-system development tool. A Taql specification... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Combining multiple knowledge sources in an integrated intelligent system

    Publication Year: 1993, Page(s):35 - 44
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1455 KB)

    Using a stratified approach to system design embodied in Soar, multiple knowledge sources are integrated to implement systems performing different tasks: natural-language comprehension, production scheduling, and algorithm design. These three systems demonstrate that architectural mechanisms can play a key role in constructing systems to perform difficult knowledge-intensive tasks. Basic Soar prin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • VVT terminology: a proposal

    Publication Year: 1993, Page(s):48 - 55
    Cited by:  Papers (20)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (852 KB)

    The authors propose a common terminology for the verification, validation, and testing (VVT) of knowledge-based systems. The authors' goal is to reach a broad consensus in the VVT community and make the field transparent to nonspecialists. Since terminology needs to evolve and cannot be prescribed normatively, the terminology presented should be considered a proposal that takes into account the pu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Can we formally specify a medical decision support system?

    Publication Year: 1993, Page(s):56 - 61
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (665 KB)

    A description is given of the Oxford System of Medicine, (OSM) project, the goal of which is a decision support system (DSS) that general practitioners can use during routine clinical work to support such decision-making tasks as diagnosing illnesses, planning investigations and patient treatment schedules, prescribing drugs, screening for disease, assessing the risk of a particular disease, and d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge validation: principles and practice

    Publication Year: 1993, Page(s):62 - 68
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (919 KB)

    The KVAT knowledge validation tool, which tests core knowledge bases (CKBs) using cases, is discussed. KVAT relieves experts and knowledge engineers from manually validating the CKBs in a prototype knowledge-base system (KBS). KVAT addresses some of the most central problems met when KBSs are validated: what to validate, what to validate with, what to validate against, when to validate, and how to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • UVT: a unification-based tool for knowledge base verification

    Publication Year: 1993, Page(s):69 - 75
    Cited by:  Papers (9)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (832 KB)

    A method for verifying knowledge bases that is based on the unification of rules is discussed. One characteristic that distinguishes this approach from other verification tools is that it infers some of the rules that are not explicitly given in the rule base and considers their effect on the verification process. The method can determine conflicting, redundant, subsumed, circular, and dead-end ru... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Two aspects of the validation and verification of knowledge-based systems

    Publication Year: 1993, Page(s):76 - 81
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (671 KB)

    Two research projects that have examined problems related to system verification and validation and the associated issue of maintenance are described. The Mekas (Methodology for Knowledge Analysis) Project has developed a method to give knowledge engineers a thorough characterization of the domain, that is, a full description of the ontology, structure, functions, and theories that underpin the do... 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