| Abstract
|
We describe an interlingua-based methodolo … We describe an interlingua-based methodology for translating encoded knowledge and repesent formalism for declaratively specifying vocabulary translations within a predicate logic interlingua. We use the formalism to provide a sematics for translation; note that the formalism enables translation to be done as deduction by a standard theorem prover; describe a proof technique for determining whether a given set of rules for translating fron one vocabulary to another is sufficent for performing that translation for any theory; provide examples of how the formalism can be used to specify various forms of translation, including abstractions and approximations; describe techniques for precompiling translation rules that translate directly between two given vocabularies; and show how the formalism might also be used to specify the syntactic translations required to convert interlingua sentences into a form that is recognizable by a grammar being used to translate from the interlingua to a target representation language. ingua to a target representation language.
|
| Address
|
Stanford, CA, USA +
|
| Author
|
Sasa Buvac +,
Richard Fikes +
|
| Bibtype
|
techreport +
|
| Institution
|
Knowledge Systems, AI Laboratory +
|
| Key
|
KSL-94-59 +
|
| Modification dateThis property is a special property in this wiki.
|
1 May 2009 13:36:20 +
|
| Month
|
August +
|
| Number
|
KSL-94-59 +
|
| Tag
|
Computer science +
|
| Title
|
A Declarative Formalization of Knowledge Translation +
|
| Tr id
|
KSL-94-59 +
|
| Year
|
1994 +
|
| Categories |
Technical Report,
Publication,
KSL Technical Report
|
