Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
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, 1985
W. J. Clancey: Heuristic classification. Artificial Intelligence 27 (1985), pp. 289–350
K. A. Ericsson, H. A. Simon: Protocol analysis, Cambridge, MA:M.I.T. Press, 1984
M. S. Fox: Constraint guided scheduling: A short history of scheduling research at CMU, Computers in Industry 14 (1990) pp.79–88
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]
P. E. Johnson, I. Zualkerman, S. Garber: Specification of Expertise. International Journal of Man-machine studies, 26, (1987) pp. 161–181.
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–221
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.
I. A. van Langevelde, J. Treur: Logical methods in protocol analysis. Proc. European Knowledge Acquisition Workshop, EKAW-91, 1991, Berlin:Springer Verlag
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, 1991
Linster, M. (ed.), Sisyphus Working Papers, University of Strathclyde, 1991
Linster, M. (ed.), Sisyphus-1 yearbook 1991, To appear
N. Shadbolt, A. M. Burton, Knowledge elicitation. In: Wilson, J., Corlett, N. (eds). Evaluation of Human Work: Practical Ergonomics Methodology. London:Taylor and Francis, 1989
J. Treur: On the use of reflection principles in modelling complex reasoning. International Journal of Intelligent Systems 6 (1991), pp. 277–294
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–236
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Geelen, P., Ruttkay, Z., Treur, J. (1992). Towards a formal framework to compare protocol interpretations and task specifications. In: Wetter, T., Althoff, KD., Boose, J., Gaines, B.R., Linster, M., Schmalhofer, F. (eds) Current Developments in Knowledge Acquisition — EKAW '92. EKAW 1992. Lecture Notes in Computer Science, vol 599. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55546-3_38
Download citation
DOI: https://doi.org/10.1007/3-540-55546-3_38
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55546-9
Online ISBN: 978-3-540-47203-2
eBook Packages: Springer Book Archive