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 domain 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 cannot 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.

[1]  Wamberto Weber Vasconcelos,et al.  Why Ontologies Are Not Enough for Knowledge Sharing , 1999, IEA/AIE.

[2]  Henk Barendregt,et al.  The Lambda Calculus: Its Syntax and Semantics , 1985 .

[3]  Wamberto Vasconcelos,et al.  Why ontologies are not enough for sharing , 1999 .

[4]  Marcelo Finger.  Towards Structurally-Free Theorem Proving , 1998, Log. J. IGPL.

[5]  Dale Miller,et al.  Logic Programming in a Fragment of Intuitionistic Linear Logic , 1994, Inf. Comput..

[6]  J. Heijenoort.  From Frege To Gödel , 1967 .

[7]  José Meseguer,et al.  May I Borrow Your Logic? (Transporting Logical Structures Along Maps) , 1997, Theor. Comput. Sci..

[8]  Michael Winikoff James Harland.  Implementation and development Issues for the Linear Logic Programming Language Lygon , 1995 .

[9]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

[10]  Robert K. Meyer,et al.  Combinators and Structurally Free Logic , 1997, Log. J. IGPL.

[11]  Michael Moortgat,et al.  Categorial Type Logics , 1997, Handbook of Logic and Language.

[12]  Wamberto Vasconcelos,et al.  Cooperation Between Knowledge Based Systems , 1998 .

[13]  B. Carpenter,et al.  Type-Logical Semantics , 1997 .

[14]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[15]  M. Schönfinkel.  Über die Bausteine der mathematischen Logik , 1924 .

[16]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[17]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[18]  J. Davenport.  Editor , 1960 .

[19]  Michael Moortgat.  Categorial Type Logics , 1997, Handbook of Logic and Language.

[20]  Vito F. Sinisi,et al.  Entailment: The Logic of Relevance and Necessity , 1996 .