Abstract
This paper provides a formal specification in Z of a new intelligent hypertext model called the soft-link hypertext model (SLHM). This model has been implemented and extensively tested, and provides a new methodology for constructing the future generation of information retrieval systems. Its core is the adoption of a data structure called the conceptual index, which allows hypertext structure to be built automatically upon conventional Boolean systems. The functionality of resulting systems using this approach is then extended from Boolean search to more sophisticated information retrieval applications, including associative searches and information browsing. Compared with other similar projects, SLHM has the following three major advantages. First, the conceptual index is automatically formulated. Second, powerful neural learning mechanisms are applied to the conceptual index, thereby improving its efficiency and applicability. Third, machine intelligence installed on the conceptual index can be utilised for online assistance during navigating and information browsing. This specification has been developed by application of an existing formal framework for specifying hypertext systems. The specification presented here provides: a formal account of the state and operations of this new model; a sound basis for instantiations of the model to be built; a case study in the application of an existing formal framework; and an environment in which further refinements of new learning and hypertext strategies can be presented and evaluated.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
M. Arbib. The Metaphorical Brain 2: Neural Networks and Beyond. Wiley, 1989.
R. Belew. Adaptive Information Retrieval. In Proceedings of the 12th Annual International ACM SIGIR Conference on Research Development in Information Retrieval, 1989.
A. Carling. Introduction to Neural Networks. Sigma Press, 1992.
P. Cohen and R. Kjeldsen. Information Retrieval by Constrained Spreading Activation in Semantic Networks. Information Processing & Management, 23(4):255–268, 1987.
J. Conklin. Hypertext: An Introduction and Survey. Computer, 1987.
W. B. Croft and H. Turtle. A Retrieval Model for Incorporating Hypertext Links. In Hypertext'89, November 1989.
S. J. DeRose. Expanding the Notion of Links. In Hypertext'89, November 1989.
M. d'Inverno and J. Crowcroft. Design, specification and implementation of an interactive conferencing system. In Proceedings of IEEE Infocom, Miami, USA. Published IEEE, 1991.
M. d'Inverno, G. R. Justo, and P. Howells. A formal framework for specifying design methodologies. In 29th Annual Hawaii International Conference on System Sciences, pages 741–750. IEEE Computer Society Press, 1996.
M. d'Inverno and M. Luck. A formal view of social dependence networks. In Distributed Artificial Intelligence: Architecture and Modelling, First Australian Workshop on DAI, Lecture Notes in Artificial Intelligence, 1087, pages 115–129. Springer Verlag, 1996.
M. d'Inverno and M. Luck. Formalising the contract net as a goal directed system. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI 1038, pages 72–85. Springer-Verlag, 1996.
M. d'Inverno and M. Priestley. Structuring a Z specification to provide a unifying framework for hypertext systems. In J. P. Bowen and M. G. Hinchey, editors, ZUM'95: 9th International Conference of Z Users, LNCS 967, pages 83–102, Heidelberg, 1995. Springer-Verlag.
S. Grossberg. Studies of Mind and Brain: Neural Principles of Learning, Perception, Development, Cognition, and Motor Control. D.Reidel Publishing Company, 1992.
F. G. Halasz. Reflections on NoteCards: Seven Issues for the Next Generation of Hypermedia Systems. Communications of the ACM, 31(7), July 1988.
F. G. Halasz and M. Schwartz. The Dexter Hypertext. Communications of the ACM, 37(2):30–39, 1994.
G. E. Hinton. Connectionist learning procedures. Artificial Intelligence, 40(1–3):185–234, 1989.
M. J. Hu. An Intelligent Information System. PhD thesis, Department of Computer Science, Gower Street, University College London, 1994.
M. J. Hu and P. Kirstein. An Intelligent Hypertext System. In The First International Workshop on Intelligent Hypertext (CIKM-93), Washington, 1993.
A. Lelu. Browsing through image databases via data analysis and neural networks. In User-oriented Content-based Text and Image Handling: Proceedings of RIAO'88, pages 1034–1043, 1993.
M. Luck and M. d'Inverno. A formal framework for agency and autonomy. In Proceedings of the First International Conference on Multi-Agent Systems, pages 254–260. AAAI Press / MIT Press, 1995.
R. M. Fung et. al. An Architecture for Probabilistic Concept-based Information Retrieval. In Proceedings of the ACM SIGIR'90 conference, Brussels, Belgium, pages 455–467, 1990.
D. E. Rose and R. K. Belew. A connectionist and symbolic hybrid for improving legal research. International Journal of Man-Machine Studies, 35(1):1–31, 1991.
J. Savoy. Bayesian Inference Networks and Spreading Activation in Hypertext Systems. Information Processing and Management, 28(3):389–406, 1992.
J. M. Spivey. The Fuzz Manual. Computing Science Consultancy, 2 Willow Close, Garsington, Oxford OX9 9AN, UK, 2nd edition, 1992.
J. M. Spivey. The Z Notation. Prentice Hall, 2nd edition, 1992.
J. Reggia T. E. Doszkocs and X. Lin. Connectionist models and information retrieval. Annual Review of Information Science and Technology, 25, 1990.
S. H. Valentine. Putting numbers into the mathematical toolkit. In J. P. Bowen and J. E. Nicholls, editors, Z User Workshop, London 1992, Workshops in Computing, pages 9–36. Springer-Verlag, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
d'Inverno, M., Hu, M. (1997). A Z specification of the soft-link hypertext model. In: Bowen, J.P., Hinchey, M.G., Till, D. (eds) ZUM '97: The Z Formal Specification Notation. ZUM 1997. Lecture Notes in Computer Science, vol 1212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027294
Download citation
DOI: https://doi.org/10.1007/BFb0027294
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62717-3
Online ISBN: 978-3-540-68490-9
eBook Packages: Springer Book Archive