Sharing Resource-Sensitive Knowledge Using Combinator Logics
Research on ontologies has been pursued as a solution to the difficult problem of knowledge sharing. Ontologies consist of a do- main description which suits the needs of all systems to be integrated. Any agreed ontology, however, is not the end of the problems involved in knowledge sharing since how we represent knowledge is intimately linked to the inferences we expect to perform with it. Knowledge sharing can- not ignore the similarities and differences between the inference engines participating in the information exchange. We illustrate this issue via a case study on resource-sensitive knowledge-based systems and we show how these can efficiently share their knowledge using combinator logics.
KeywordsKnowledge sharing resource-sensitive logics.
Unable to display preview. Download preview PDF.
- 1.James Allen. Natural Language Understanding. Benjamin-Cummings Publishing Co., 2nd edition, 1994.Google Scholar
- 2.A. R. Anderson and N. D. Belnap Jr. Entailment: The Logic of Relevance and Necessity. Princeton Univ. Press, 1975.Google Scholar
- 3.H. P. Barendregt. The Lambda Calculus: Its Syntax and Semantics. Elsevier Science Publishers, 1981.Google Scholar
- 4.Bob Carpenter. Type-Logica Semantics. MIT press, 1997.Google Scholar
- 6.F. S. Correa da Silva, W. W. Vasconcelos, and D. S. Robertson. Cooperation Between Knowledge-Based Systems. In Proc. IV World Congress on Expert Systems, pages 819–825, Mexico City, Mexico, 1998.Google Scholar
- 7.F. S. Correa da Silva, W. W. Vasconcelos, D. S. Robertson, J. Agustí, and A. C. V. Melo. Why Ontologies are not Enough for Knowledge Sharing. In Springer-Verlag, editor, LNAI, vol. 1611, pages 520–529, 1999.Google Scholar
- 8.D. Van Dalen. Intuitionistic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosoph. Log., volume III, 1984.Google Scholar
- 9.K. Došen. A Historical Introduction to Substructural Logics. In P. S. Heister and K. Došen, editors, Substructural Logics, pages 1–31. Oxford Univ. Press, 1993.Google Scholar
- 12.M. Finger. Structurally-free theorem proving and the learning of structural permissions in categorial grammar. In Proc. 4th Workshop on Logical Aspects of Comp. Ling. (LACL98), 1998.Google Scholar
- 13.Dov M. Gabbay. Labelled Deductive Systems, volume 1 of Oxford Logic Guides: 33. Oxford Univ. Press, 1996.Google Scholar
- 14.J. Giarratano and G. Riley. Expert Systems: Principles and Programming. PWS Publ. Co., 3rd. edition, 1999.Google Scholar
- 17.P. Gray et al. KRAFT-Knowledge Reuse and Fusion/Transformation. http://www.csd.abdn.ac.uk/ apreece/ Research/ KRAFT/ KRAFTinfo.html.
- 18.N. Guarino, editor. Formal Ontology in Information Systems. IOS Press, 1998.Google Scholar
- 20.M. Moortgat. Categorial type logics. In J. Van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, pages 93–178. Elsevier North-Holland/MIT Press, 1997.Google Scholar
- 21.R. Neches and D. Gunning. The Knowledge Sharing Effort. http://www-ksl.stanford.edu/knowledge-sharing /papers/kse-overview.html.
- 22.A. Schönfinkel. Über die Bausteine der Mathematischen Logik. In J. van Heijenoort, editor, From Frege to Gödel. Harvard Univ. Press, Cambridge, Mass., 1924. Reprinted.Google Scholar
- 23.V. S. Subrahmanian (project director). Hermes-a Heterogeneous Reasoning and Mediator System. http://www.cs.umd.edu/ projects/hermes/index.html.
- 25.M. Winikoff and J. Harland. Implementation and Development Issues for the Linear Logic Programming Language Lygon. In Proc. 8th Australasian Computer Science Conf., pages 562–573, Adelaide, Australia, February 1995.Google Scholar