@inproceedings{a004b12d18bd44e689a1f2fe64a34746,
title = "Toward a general methodology for specifying expert systems",
abstract = "A general methodology for specifying both the model and the process knowledge of an expert system at different abstraction levels is proposed. Specifications are acquired and organized around the general notion of a task. The model specification of a task describes a partial model of the application domain and a partial model of the problem solving states relevant to the task. The process specification of a task describes states before, during, and after the task as well as task state expression to describe the behavior. A piece of abstract specification can be refined to a more detailed specification. Specifications at different abstraction levels can be verified for their consistency and completeness.",
author = "Jonathan Lee and John Yen",
year = "1992",
month = jan,
day = "1",
language = "English (US)",
isbn = "0818623004",
series = "Third Int Conf Tools Artif Intell",
publisher = "Publ by IEEE",
pages = "260--263",
booktitle = "Third Int Conf Tools Artif Intell",
note = "Third International Conference on Tools for Artificial Intelligence ; Conference date: 05-11-1991 Through 08-11-1991",
}