A Declarative Formalization of Knowledge Translation

From Tetherless World Wiki

(Redirected from KSL-94-59)
Jump to: navigation, search

Citation: Sasa Buvac and Richard Fikes. (1994) A Declarative Formalization of Knowledge Translation. In KSL-94-59, August,1994.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Sasa Buvac and Richard Fikes
title A Declarative Formalization of Knowledge Translation
number KSL-94-59
institution Knowledge Systems, AI Laboratory
address Stanford, CA, USA
year 1994
month August
Bibtex more
Access Paper
abstract We describe an interlingua-based methodology for translating encoded knowledge and represent 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 from one vocabulary to another is sufficient 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.

KSL Technical Report ID: KSL-94-59
Facts about A Declarative Formalization of Knowledge TranslationRDF feed
Abstract We describe an interlingua-based methodolo … We describe an interlingua-based methodology for translating encoded knowledge and represent 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 from one vocabulary to another is sufficient 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  +
Has author Sasa Buvac and Richard Fikes  +
Has identifier KSL-94-59  +
Has publishing details August,1994  +
Has title A Declarative Formalization of Knowledge Translation  +
Has where published KSL-94-59  +
Has year 1994  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-94-59  +
Month August  +
Number KSL-94-59  +
Process note NO  +
Title A Declarative Formalization of Knowledge Translation  +
Year 1994  +
Retrieved from "http://tw.rpi.edu/wiki/A_Declarative_Formalization_of_Knowledge_Translation"
Personal tools