A declarative formalization of knowledge translation
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|a declarative formalization of knowledge translation }}
- [[]]
bibtex
{{#vardefine:pagename|A declarative formalization of knowledge translation }}{{#vardefine:key| }}
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.
download:
- paper:
- slides:
| 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 +, and Richard Fikes + |
| Bibtype | techreport + |
| Institution | Knowledge Systems, AI Laboratory + |
| Key | KSL-94-59 + |
| Month | August + |
| Number | KSL-94-59 + |
| Tag | Computer science + |
| Title | A Declarative Formalization of Knowledge Translation + |
| Tr id | KSL-94-59 + |
| Year | 1994 + |
