• DocumentCode
    850645
  • Title

    A task-based methodology for specifying expert systems

  • Author

    Yen, John ; Lee, Jonathan

  • Author_Institution
    Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
  • Volume
    8
  • Issue
    1
  • fYear
    1993
  • Firstpage
    8
  • Lastpage
    15
  • Abstract
    A task-based specification methodology for expert system specification that is independent of the problem solving architecture, that can be applied to many expert system applications, that focuses on what the knowledge is, not how it is implemented, that introduces the major concepts involved gradually, and that supports verification and validation is discussed. To evaluate the methodology, a specification of R1/SOAR, an expert system that reimplements a major portion of the R1 expert system, was reverse engineered.<>
  • Keywords
    expert systems; formal specification; program verification; R1/SOAR; expert system specification; problem solving architecture; reverse engineering; task-based specification methodology; validation; verification; Artificial intelligence; Computer architecture; Costs; Expert systems; Knowledge engineering; Maintenance; Organizing; Problem-solving; Software algorithms; Software systems;
  • fLanguage
    English
  • Journal_Title
    IEEE Expert
  • Publisher
    ieee
  • ISSN
    0885-9000
  • Type

    jour

  • DOI
    10.1109/64.193050
  • Filename
    193050
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=850645