Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Logic for computer science: foundations of automatic theorem proving
Logic for computer science: foundations of automatic theorem proving
Indexing medical reports: The RIME approach
Information Processing and Management: an International Journal - Special issue on natural language processing and information retrieval
SIGIR '90 Proceedings of the 13th annual international ACM SIGIR conference on Research and development in information retrieval
Handbook of theoretical computer science (vol. B)
About retrieval models and logic
The Computer Journal - Special issue on information retrieval
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Handbook of logic in artificial intelligence and logic programming (vol. 1)
The semantic foundations of logic: predicate logic
The semantic foundations of logic: predicate logic
First steps in modal logic
The semantic foundations of logic, volume 1 (2nd ed.): propositional logics
The semantic foundations of logic, volume 1 (2nd ed.): propositional logics
(invited paper) A new theoretical framework for information retrieval
Proceedings of the 9th annual international ACM SIGIR conference on Research and development in information retrieval
Conceptual Graphs and First-Order Logic
ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
| Hi-index | 0.00 |
A major need of precision-oriented retrieval systems is the availability of high-level indexing languages which can allow the representation and the manipulation of elaborated concepts for both indexing and querying processes. Such elaborated knowledge representations, as the one developed in the RIME project, need in turn to be fully integrated within the underlying retrieval model to ensure proper and optimal use of this knowledge in the retrieval process. In this paper we present further developments of the fuzzy modal logic retrieval model which was first developed and experienced in the RIME project. These developments are precisely aimed towards a better integration of this model and knowledge representation. We show that ConceptualGraphs of Sowa have formal properties which allow a good formal control of this integration, and are inherently well adapted to IR requirements. This study has triggered extensions of the initial logic model and adaptations of the conceptual graphs' formalism which are also presented here. Finally the paper presents the way every notion of the theoretical retrieval model is expressed in terms of a derived operational model which has been implemented.