.fox@vtcs1 (05/27/86)
[Forwarded from IRList Digest V2#26 by Laws@SRI-AI.] The M.S. defense of Robert K. France will be held at 10am Monday June 2 in Norris 301. The title of his thesis is "An Artificial Intelligence Environment for Information Retrieval Research." The CODER (COmposite Document Expert/extended/effective Retrieval) project is a multi-year effort to investigate how best to apply artificial intelligence methods to increase the effectiveness of information retrieval systems. Particular attention is being given to analysis and representation of heterogeneous documents, such as electronic mail digests or messages, which vary widely in style, length, topic, and structure. In order to ensure system adaptability and to allow reconfiguration for controlled experimentation, the project has been designed as a moderated expert system. This thesis covers the design problems involved in providing a unified architecture and knowledge representation scheme for such a system, and the solutions chosen for CODER. An overall object-oriented environment is constructed using a set of message-passing primitives based on a modified Prolog call paradigm. Within this environment is embedded the skeleton of a flexible expert system, where task decomposition is performed in a knowledge-oriented fashion and where subtask managers are implemented as members of a community of experts. A three-level knowledge representation formalism of elementary data types, frames, and relations is provided, and can be used to construct knowledge structures such as terms, meaning structures, and document interpretations. The use of individually tailored specialist experts coupled with standardized blackboard modules for communication and control and external knowledge bases for maintenance of factual world knowledge allows for rapid prototyping, incremental development, and flexibility under change. The system as a whole is structured as a set of communicating modules, defined functionally and imple- mented under UNIX using sockets and the TCP/IP protocol for communication. Inferential modules are being coded in MU-Prolog; non-inferential modules are being prototyped in MU-Prolog and will be re-implemented as needed in C++. Host: Dr. Edward A. Fox, Dept. of Computer Science