Sharing Resource-Sensitive Knowledge Using Combinator Logics

* Final gross prices may vary according to local VAT.

Get Access

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.