A Declarative Formalization of Knowledge Translation

Reference: Buvac, S. & Fikes, R. A Declarative Formalization of Knowledge Translation. Knowledge Systems Laboratory, August, 1994.

Abstract: 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.

Jump to... [KSL] [SMI] [Reports by Author] [Reports by KSL Number] [Reports by Year]
Send mail to: ksl-info@ksl.stanford.edu to send a message to the maintainer of the KSL Reports.