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
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;
Journal_Title :
IEEE Expert
