Towards a formal framework to compare protocol interpretations and task specifications

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 599)


In this paper we discuss a formal framework that can be used to relate and compare different possible interpretations and formal task specifications of a given (verbal) expert protocol. Notions are defined that can be used to describe the differences and relations between these task specifications. The framework is used to structure the analysis of an example protocol dealing with an office assignment task. We give examples of different task specifications based on alternative interpretations of this protocol.


Minimal Model Task Specification World Knowledge Problem Decomposition Strategic Knowledge 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. A. Breuker, B. J. Wielinga: Interpretation of verbal data for knowledge acquisition. In: O'Shea T. (ed) Advances in Artificial Intelligence, Amsterdam:Elsevier Science Publishers, 1985Google Scholar
  2. 2.
    W. J. Clancey: Heuristic classification. Artificial Intelligence 27 (1985), pp. 289–350CrossRefGoogle Scholar
  3. 3.
    K. A. Ericsson, H. A. Simon: Protocol analysis, Cambridge, MA:M.I.T. Press, 1984Google Scholar
  4. 4.
    M. S. Fox: Constraint guided scheduling: A short history of scheduling research at CMU, Computers in Industry 14 (1990) pp.79–88CrossRefGoogle Scholar
  5. 5.
    P. A. Geelen, Zs. Ruttkay, J. Treur: Logical analysis and specification of an office assignment task. Rapport IR-283, Dept. of Mathematics and Computer Science, Vrije Universiteit Amsterdam, 1991, shorter version in [11,12]Google Scholar
  6. 6.
    P. E. Johnson, I. Zualkerman, S. Garber: Specification of Expertise. International Journal of Man-machine studies, 26, (1987) pp. 161–181.Google Scholar
  7. 7.
    W. Kowalczyk, J. Treur, On the use of a formalized generic task model in knowledge acquisition. Proc. European Knowledge Acquisition Workshop, EKAW-90. In: B. J. Wielinga, J. Boose, B. Gaines, G. Schreiber, M. van Someren, M. (eds.), Current trends in knowledge acquisition, Amsterdam:IOS Press, 1990, pp. 198–221Google Scholar
  8. 8.
    B. Kuipers, J. P. Kassirer: Knowledge acquisition by analysis of verbatim protocols. In: Kidd, A.L. (ed) Knowledge Acquisition for Expert Systems: a Practical Handbook, New York:Plenum Press, 1987 pp. 45–71.Google Scholar
  9. 9.
    I. A. van Langevelde, J. Treur: Logical methods in protocol analysis. Proc. European Knowledge Acquisition Workshop, EKAW-91, 1991, Berlin:Springer VerlagGoogle Scholar
  10. 10.
    I. A. van Langevelde, A. W. Philipsen, J. Treur: Formal specification of compositional architectures. Report IR-282. Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, 1991Google Scholar
  11. 11.
    Linster, M. (ed.), Sisyphus Working Papers, University of Strathclyde, 1991Google Scholar
  12. 12.
    Linster, M. (ed.), Sisyphus-1 yearbook 1991, To appearGoogle Scholar
  13. 13.
    N. Shadbolt, A. M. Burton, Knowledge elicitation. In: Wilson, J., Corlett, N. (eds). Evaluation of Human Work: Practical Ergonomics Methodology. London:Taylor and Francis, 1989Google Scholar
  14. 14.
    J. Treur: On the use of reflection principles in modelling complex reasoning. International Journal of Intelligent Systems 6 (1991), pp. 277–294Google Scholar
  15. 15.
    J. Treur: Declarative functionality descriptions of interactive reasoning modules. in: H. Boley, M. M. Richter (eds.), Processing Declarative Knowledge, Proc. of the International Workshop PDK-91, Lecture Notes in AI, vol. 567, Springer Verlag, 1991, pp. 221–236Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  1. 1.Department of Mathematics and Computer Science Artificial Intelligence GroupVrije Universiteit AmsterdamHV AmsterdamThe Netherlands

Personalised recommendations