WORKSHOPS IN COMPUTING Series edited by C. J. van Rijsbergen Also in this series logic Program Synthesis and Transformation Algebraic Methodology and Software Proceedings of LOPSTR 91, International Technology (AMAST'91) Workshop on Logic Program Synthesis and Proceedings of the Second International Conference Transformation, University of Manchester, on Algebraic Methodology and Software 4-5 July 1991 Technology. Iowa City, USA, 22-25 May 1991 T.P. Clement and K.-K. Lau (Eds.) M. Nivat, C. Rattray, T. Rus and G. Scollo (Eds.)

Declantlve Programming, Sasbachwalden 1991 ALPUK92, Proceedings of the 4th UK PHOENIX Seminar and Workshop on Declarative Conference on Logic Programming. Programming. Sasbachwalden, Black Forest. . 30 March-I April 1992 Germany. 18-22 November 1991 Krysia Broda (Ed.) John Darlington and Roland Dietrich (Eds.) Logic Program Synthesis and Transformation Building Interactive Systems: Proceedings of LOPSTR 92. International Architectures and Tools Workshop on Logic Program Synthesis and Philip Gray and Roger Took (Eds.) Transformation, University of Manchester. 2-3 July 1992 Functional Programming, Glasgow 1991 Kung-Kiu Lau and Tim Clement (Eds.) Proceedings of the 1991 Glasgow Workshop on Functional Programming, I)onree, Isle of Skye, NAPA W 92, Proceedings of the First North 12-14 August 1991 American Process Algebra Workshop, Stony Brook. Rogardt Heldal, Carsten Kehler Holst and New York, USA, 28 August 1992 Philip Wadler (Eds.) S. Purushothaman and Amy Zwarico (Eds.)

Object Orientation In Z First International Workshop on Larch Susan Stepney, Rosalind Barden and Proceedings of the First International Workshop on David Cooper (Eds.) Larch, Dedham, Massachusells, USA. 13-15 Julyl992 Code Generation - Concepl~ Tools, Techniques Ursula Manin and Jcannelle M. Wing (Eds.) Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991 Persistent Object Systems Roben Giegerich and Susan 1.. Graham (Eds.) Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Z User Workshop, York 1991, Proceedings of the Italy. 1-4 September 1992 Sixth Annual Z User Meeting, York, Antonio Albano and Ron Morrison (Eds.) 16-17 December 1991 J.E. Nicholls (Ed.) In Databases and , rroceedings of the' Workshop on Formal Aspects or Measurement Formal Methods in Databases and Software Proceedings of the BCS-FACS Workshop on Engineering, Montreal, Canada, 15-16 May 1992 Formal Aspects of Measurement. South Bank V.S. Alagar, Laks V.S. Lakshmanan and University, London,S May 1991 F. Sadri (Eds.) Tim Denvir, Ros lIennan and R.W. Whitty (Eds.) Modelling Datahase Dynamics AI and Cognitive Science '91 Selccted Papers from the Fourth International University College. Cork. 19-20 September 1991 Workshop on Foundations of Models and Humphrey Sorensen (Ed.) Languages for Data and Objects. Volkse, Germany 19-22 October 1992 5th Rennement Workshop, Proceedings of the 5th Udo W. Lipcck and Bernhard Thalheim (Eds.) Refinement Workshop, organised hy BCS-FACS, London. 8-10 January 1992 Cliff B. Jones, Roger C. Shaw and Tim Denvir (Eds.)

continued on back page." Tony McEnery and Chris Paice (Eds.) 14th Information Retrieval Colloquium

Proceedings of the BCS 14th Information Retrieval Colloquium, University of Lancaster, 13-14 April 1992

Published in collaboration with the ~, ' British Computer Society ".5 ',' ':' <, -" ,

Springer-Verlag London Berlin Heidelberg New York Paris Tokyo Hong Kong Barcelona Budapest Tony McEnery, BA (Hons), MSc Depanment of Linguistics and Modem English Language Lancaster University Lancaster, LA 1 4YT, UK

Chris Paice, BSc.Tech, PhD Department of Computing School of Engineering, Computing and Mathematical Sciences Lancaster University Lancaster, LA) 4YR, UK

ISBN-13: 978-3-540-19808-6 e-ISBN-13: 978-1-4471-3211-0 DOl: 10.1007/978-1-4471-3211-0

British Library Cataloguing in Publication Data Information Retrieval Colloquium: Proceedings of the BCS 14th Information RelJieval Colloquium. University of Lancaster, 13-14 April 1992. - (Workshops in Computing) I. McEnery. Anthony M. II. Paice. C. D. III. Series 025.04

Library of Congress Cataloging-in-Publication Data A catalog record for this book is available from the Library of Congress

Apart from any fair dealing for the purposes of research or private study. or criticism or review. as permitted under the Copyright, Designs and Patents Act 1988. this publication may only be reproduced. stored or transmitted. in any form. or by any means. with the prior permission in writing of the publishers. or in th~ case of reprographic reproduction in accordance with the terms of licences issued by the Copyright Licensing Agency. Enquiries concerning reproduction oUl~ide those terms should he sent to the publishers. eBritish Computer Society 1993

The use of registered names, trademarks etc_ in this publication does not imply. even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use.

The publisher makes no representation. express or implied. with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made.

Typesetting: Camera ready by conlJibutors Printed by Antony Rowe Ltd .• Chippcnham. Wiltshire 34/3830-543210 Preface

We hope that all readers will find the papers included in this volume of interest. All were presented at the 14th BCS IRSG Research Colloquium held at Lancaster University on 13th-14th April 1992. The papers display very well the scope and breadth of information retrieval, as indeed did the workshop ilself. They also present a good cross-section of current IR research, and as such provide a useful signpost for trends in information retrieval. Before we finish we must thank the following colleagues: Simon Botley, Paul Rayson and Paul Jones for their help in the organization of the conference. We would also like to extend a special message of thanks to Professor G.N. Leech of the Department of Linguistics at Lancaster and Roger Garside of the Department of Computing at Lancaster for their support during the conference period . Tony McEnery would also like to express his thanks and gratitude to Paul Baker for his help during the production of this book.

September 1992 Tony McEnery Chris Paice Contents

A Logical Model of Information Retrieval Based on Situation Theory M. La/mas and K. van Rijsbergen ...... Multilingual MenUSE - A Japanese Front-End for Searching English Language Databases and Vice Versa C.S. Li. A.S. Pollill and M.P. Smith ...... 14 An Evaluation of Concept Translation Through Menu Navigation in the MenUSE Intermediary System M.P. Smith, A.S. PO/lill and C.S. Li ...... 38 ISIR: An Integrated System for Information Retrieval Y. Qiu ...... 55 WING: An Intelligent Multimodal Interface for a Materials Information System .I. Marx and S. Roppe/ ...... 67 Dialogue Management in a Pragmatics-Based Natural Language Information System w..I. Black, N. Underwood, K. Jokinen and II. Cunningham...... 79 Performance Comparisons of Boolean and Ranked Output Retrieval E.M. Keen ...... 89 Pictorial Information Systems - Prospects and Problems J.P. Eakins ...... 102 Modelling Online Database Systems in an Intelligent Interface B. Robinson ...... 124 A "Select and Generate" Approach to Automatic Abstracting P.A. Jones and CD. Paice ...... 141 Evaluation of Techniques for the Conflation of Modern and Seventeenth Century English Spelling A.M. Robertson and P. Willelt ...... 155 viii Contents

Hypermedia Links and Information Retrieval Z. Li. H. Davis and W. Hall ...... 169 Natural Language for Database Retrieval - A Practical Perspective J.Sidhu ...... 181 Author Index ...... 193