Abstract
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.
Work sponsored by the Consortium British Council/CAPES (Brazil), Grant no. 070/98.
Partially sponsored by CNPq (Brazilian Research Council), Grant no. 300597/95-9.
On a Post-Doctoral leave of absence from Departamento de Estat__stica e Computa- ccão, Universidade Estadual do Ceará, Ceará, Brazil, sponsored by CNPq, Grant no. 201340/91-7.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
James Allen. Natural Language Understanding. Benjamin-Cummings Publishing Co., 2nd edition, 1994.
A. R. Anderson and N. D. Belnap Jr. Entailment: The Logic of Relevance and Necessity. Princeton Univ. Press, 1975.
H. P. Barendregt. The Lambda Calculus: Its Syntax and Semantics. Elsevier Science Publishers, 1981.
Bob Carpenter. Type-Logica Semantics. MIT press, 1997.
M. Cerioli and J. Meseguer. May I borrow your Logic? (Transporting Logical Structures along Maps). Theoretical Computer Science, 173:311–347, 1997.
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.
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.
D. Van Dalen. Intuitionistic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosoph. Log., volume III, 1984.
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.
J. M. Dunn and R. K. Meyer. Combinators and Structurally Free Logic. Logic Journal of the IGPL, 5(4):505–538, 1997.
M. Finger. Towards structurally-free theorem proving. Logic Journal of the IGPL, 6(3):425–449, 1998.
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.
Dov M. Gabbay. Labelled Deductive Systems, volume 1 of Oxford Logic Guides: 33. Oxford Univ. Press, 1996.
J. Giarratano and G. Riley. Expert Systems: Principles and Programming. PWS Publ. Co., 3rd. edition, 1999.
J. Y. Girard. Linear Logic. Theor. Comp. Sc., 50:1–102, 1987.
J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. J. ACM, 39:95–146, 1992.
P. Gray et al. KRAFT-Knowledge Reuse and Fusion/Transformation. http://www.csd.abdn.ac.uk/apreece/Research/KRAFT/KRAFTinfo.html.
N. Guarino, editor. Formal Ontology in Information Systems. IOS Press, 1998.
J. S. Hodas and D. Miller. Logic Programming in a Fragment of Intuitionistic Linear Logic. Inf. & Comput., 110(2):327–365, 1994.
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.
R. Neches and D. Gunning. The Knowledge Sharing Effort. http://www-ksl.stanford.edu/knowledge-sharing/papers/kse-overview.html.
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.
V. S. Subrahmanian (project director). Hermes-a Heterogeneous Reasoning and Mediator System. http://www.cs.umd.edu/projects/hermes/index.html.
M. Uschold and M. Gruninger. Ontologies: Principles, Methods and Applications. Knowl. Eng. Review, 11(2):93–136, 1996.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Finger, M., Vasconcelos, W. (2000). Sharing Resource-Sensitive Knowledge Using Combinator Logics. In: Monard, M.C., Sichman, J.S. (eds) Advances in Artificial Intelligence. IBERAMIA SBIA 2000 2000. Lecture Notes in Computer Science(), vol 1952. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44399-1_21
Download citation
DOI: https://doi.org/10.1007/3-540-44399-1_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41276-2
Online ISBN: 978-3-540-44399-5
eBook Packages: Springer Book Archive