International Journal of Man-Machine Studies, Volume 15

Volume 15, Number 1, 1981

The Semantics and Syntax of Human-Computer Interaction

Thomas P. Moran: Editorial: Special Issue on ``The Semantics and Syntax of Human-Computer Interaction''. 1-2
Thomas P. Moran: The Command Language Grammar: A Representation for the User Interface of Interactive Computer Systems. 3-50
Richard M. Young: The Machine Inside the Machine: Users' Models of Pocket Calculators. 51-85
Philip J. Barnard, N. V. Hammond, J. Morton, John Brian Long: Consistency and Compatibility in Human-Computer Dialogue. 87-134
E. M. Scharf: Book Review: ``Communicating with Microprocessors, '' by Ian H. Witten. 135-136

Robert J. Baron: Mechanisms of Human Facial Recognition. 137-178
Rosalind L. R. Ibrahim: A Computer System for Axiomatic Investigation. 179-200
Ernest Czogala, Witold Pedrycz: Some Problems Concerning the Construction of Algorithms of Decision-Making in Fuzzy Systems. 201-211
John Fox: Towards a Reconciliation of Fuzzy Logic and Standard Logic. 213-220
Vaclav Pinkava: Classification in Medical Diagnostics: On Some Limitations of Q-Analysis. 221-237
J. H. Johnson: A Critique of the Paper ``Classification in Medical Diagnostics: On Some Limitations of Q-Analysis'' by V. Pinkava. 239-248

Petr Hájek: Introduction. 251
Tomás Havránek: The Present State of the GUHA Software. 253-264
Tomás Havránek: The GUHA Method in the Context of Data Analysis. 265-282
Jan Rauch: Main Problems and Further Possibilities of the Computer Realization of GUHA Procedures. 283-287
Jaroslav Pokorný: The GUHA-DBS Data Base System. 289-298
V. Vlcek: An Application of the GUHA Method to Chemical Engineering. 299-307
J. Ivánek: Some Examples of Transforming Ordinal Data to an Input for GUHA-Procedures. 309-318
Frederick N. Springsteel: Complexity of Hypothesis Formation Problems. 319-332
Tomás Havránek: Formal Systems for Mechanized Statistical Inference. 333-350
Petr Hájek: Decision Problems of Some Statistically Motivated Monadic Modal Calculi. 351-358

Jean-Michel Hoc: Planning and Direction of Problem Solving in Structured Programming: An Empirical Comparison between Two Methods. 363-383
Ellen Hisdal: The IF THEN ELSE Statement and Interval-Valued Fuzzy Sets of Higher Type. 385-455
J. H. Johnson: The Shomotopy Bottle of Q-Analysis. 457-460
Ernest A. Edmonds: Domains of Interest in Fuzzy Sets. 461-468
Raymond S. Nickerson: Why Interactive Computer Systems are Sometimes Not Used by People Who Might Benefit from Them. 469-483