Using a frame‐based language for information retrieval

With the advent of the information society, many researchers are turning to artificial intelligence techniques to provide effective retrieval over large bodies of textual information. In the CODER system, the mission of which is to provide an environment for experiments in applying AI to information retrieval, a factual representation language (FRL) serves as a tool for knowledge engineering and experimentation. the FRL is a hybrid AI language supporting strong typing for attribute values, a frame system, and Prolog‐like relational structures. Inheritance is enforced throughout, and the semantics of type subsumption and object matching are formally defined. A collection of type and object managers called the knowledge administration complex implements this common language for storing knowledge and communicating it within the system. Storage of large numbers of complete knowledge objects (statements in the language) is supported by a system of external knowledge bases.

[1]  Chris Buckley,et al.  Implementation of the SMART Information Retrieval System , 1985 .

[2]  Robert A. Nado,et al.  Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults , 1987, AAAI.

[3]  Christine L. Borgman.  Why do some people have more difficulty learning to use an information retrieval system than others? , 1987, SIGIR '87.

[4]  A. Steven Pollitt,et al.  CANSEARCH: An expert systems approach to document retrieval , 1987, Inf. Process. Manag..

[5]  Nicholas J. Belkin,et al.  Distributed expert problem treatment as a model for information system analysis and design , 1982 .

[6]  Edward A. Fox,et al.  Implementation of a Perfect Hash Function Scheme , 1989 .

[7]  Newton S. Lee.  Programming with P-Shell , 1986, IEEE Expert.

[8]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[9]  Dana S. Scott,et al.  Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.

[10]  Margaret Jennings.  The Electronic Manuscript Project. , 1984 .

[11]  Richard M. Tong,et al.  Conceptual information retrieval using RUBRIC , 1987, SIGIR '87.

[12]  Edward A. Fox,et al.  Development of the coder system: A testbed for artificial intelligence methods in information retrieval , 1987, Inf. Process. Manag..

[13]  Douglas B. Lenat,et al.  CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks , 1986, AI Mag..

[14]  W. Bruce Croft,et al.  I 3 R: a new approach to the design of document retrieval systems , 1987 .

[15]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[16]  Udo Hahn,et al.  Topic Essentials , 1986, COLING.

[17]  Hector J. Levesque,et al.  Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.

[18]  Nicholas J. Belkin,et al.  Distributed Expert-Based Information Systems: An Interdisciplinary Approach , 1987, Inf. Process. Manag..