Specification of expert systems

Author

Batarekh, Aïda ; Preece, Alun D. ; Bennett, Anne ; Grogono, Peter

Author_Institution

Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada

fYear

1990

fDate

6-9 Nov 1990

Firstpage

103

Lastpage

109

Abstract

The authors focus on the problems of specification of an expert system namely, what needs to be specified, what can be specified and how. Two distinct major roles for a software specification are identified: as a contract between parties involved in system development and as a blueprint for the design and implementation of the system. It is shown that these purposes require quite different specifications. The role of specification as a contract is taken by the problem specification, which essentially describes what system is to be built. The blueprint specification is complementary, and describes how the system is to be built, including a description of the knowledge to be used and a description of how to represent and reason with that knowledge

Keywords

expert systems; formal specification; knowledge engineering; blueprint; contract; expert system; problem specification; software specification; system development; Computer science; Contracts; Electric breakdown; Expert systems; Machine intelligence; Pattern recognition; Software algorithms; Software quality; Software systems; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on

Conference_Location

Herndon, VA

Print_ISBN

0-8186-2084-6

Type

conf

DOI

10.1109/TAI.1990.130317

Filename

130317