Download:
|
by Marcelo Finger, Wamberto Vasconcelos
ftp://ftp.ime.usp.br/pub/reports/comp/rt-mac-00xx.ps.gz
Add To MetaCart
Abstract:
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. This paper illustrates 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
Citations
|
894
|
The lambda calculus, its syntax and semantics
– Barendregt
- 1984
|
|
399
|
Institutions: Abstract model theory for specification and programming
– Goguen, Burstall
- 1992
|
|
293
|
Logic programming in a fragment of Intuitionistic Linear Logic
– Hodas, Miller
- 1994
|
|
260
|
Ontologies: principles, methods and applications
– Ushold, Grüninger
- 1996
|
|
229
|
Natural Language Understanding
– Allen
- 1995
|
|
177
|
Categorial type logics, in
– Moortgat
- 1997
|
|
124
|
Entailment: the Logic of Relevance and Necessity
– Anderson, Belnap
- 1975
|
|
77
|
Type-Logical Semantics
– Carpenter
- 1996
|
|
65
|
G.: Expert Systems: Principles and Programming
– Giarratano, Riley
- 1989
|
|
59
|
Intuitionistic logic
– Dalen
- 1986
|
|
48
|
I borrow your logic? (transporting logical structures along maps
– Cerioli, Meseguer
|
|
27
|
A historical introduction to substructural logics
– Dosen
- 1993
|
|
14
|
Implementation and Development Issues for the Linear Logic Programming Language Lygon
– Winikoff, Harland
- 1995
|
|
8
|
die Bausteine der mathematischen Logik
– Uber
- 1924
|
|
3
|
Why Ontologies are not Enough for Knowledge Sharing
– Silva, Vasconcelos, et al.
- 1999
|
|
3
|
Combinators and Structurally Free Logic
– DUNN, MEYER
- 1997
|
|
2
|
Cooperation Between Knowledge-Based Systems
– Silva, Vasconcelos, et al.
- 1998
|
|
2
|
Towards Structurally-Free Theorem Proving
– Finger
- 1998
|
|
2
|
Labelled Deductive Systems, volume 1 of Oxford Logic Guides
– Gabbay
- 1996
|
|
2
|
et al. KRAFT { Knowledge Reuse and Fusion/Transformation. http://www.csd.abdn.ac.uk/apreece/Research/KRAFT/ KRAFTinfo.html
– Gray
- 1998
|
|
2
|
The Knowledge Sharing Effort. http://www-ksl.stanford.edu/knowledge-sharing/papers/kseoverview. html
– Neches, Gunning
|
|
2
|
project director) Subrahmanian. Hermes -- a Heterogeneous Reasoning and Mediator System. http://www.cs.umd.edu/projects/hermes/index.html
– S
|
|
1
|
Structurally-free theorem proving and the learning of structural permissions in categorial grammar
– Finger
- 1998
|
