Specifying Decision-Making Processes

  • Andrew Borden
  • Unver Cinar
Software Engineering and AI/ES
Part of the Lecture Notes in Computer Science book series (LNCS, volume 604)


An explicit specification for the implementation of any process is important to provide a standard for design, verification and validation. Since the control structure of Decision Making Processes (DMP's) tends to be very complex, it is difficult to apply structured methods to the development of specifications. This paper provides a formal meaning for the term “specification” as it applies to DMP's and which can be used as a design and evaluation standard.


Information Theory Decision-Making Process Decision Tree Specification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Goodman, R.M., “Decision Tree Design Using Information Theory”, Knowledge Acquisition, Volume 2, Number 1, March 1990, Pps 1–19.Google Scholar
  2. 2.
    Bohanec, M. and Rajkovic, V.; 8th International Workshop, Expert Systems and Their Applications, 30 May to 3 June 1988, Volume 1, Pps. 59–78.Google Scholar
  3. 3.
    Cockett, J.R.B and Herrera, J. A., “Prime Rules Based Methodologies Give Inadequate Control”, University of Tennessee Knoxville, Department of Computer Science Technical Report, CS-85-60, 1985.Google Scholar
  4. 4.
    Vrba, J. A. and Herrera, J. A., “Knowledge Shaping Provides Expert System Control”, Computer Technology Review, Volume VIII, Number 11, September, 1988.Google Scholar
  5. 5.
    Herrera, J. A. and Cockett, J.R.B., “Finding all the Optimal Forms of a Decision Tree,” University of Tennessee Knoxville, Department of Computer Science Report, CS-86-66, 1986.Google Scholar
  6. 6.
    Nilsson, N. J., Principles of Artificial Intelligence, Tioga Publishing Company, Palo Alto, CA, 1980.Google Scholar
  7. 7.
    Genesereth, M. R. and Nilsson, N. J., Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers, Inc., Los Altos, California, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Andrew Borden
    • 1
  • Unver Cinar
    • 1
  1. 1.SHAPE Technical CentreThe HagueThe Netherlands

Personalised recommendations