DBLP:conf/cikm/BuvacF95 +, KSL-94-59 + redirect page
A Declarative Formalization of Knowledge Translation + Has identifier
A Declarative Formalization of Knowledge Translation + Ksl tr id
A Declarative Formalization of Knowledge Translation + Number
| A Declarative Formalization of Knowledge Translation |
Bibtype
techreport
Has publishing details
August,1994
Has title
A Declarative Formalization of Knowledge Translation
Has where published
KSL-94-59
Has year
1994
Title
A Declarative Formalization of Knowledge Translation
Year
1994
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 +
Has author
Sasa Buvac and Richard Fikes +
Has identifier
A Declarative Formalization of Knowledge Translation +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
A Declarative Formalization of Knowledge Translation +
Month
August +
Number
A Declarative Formalization of Knowledge Translation +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
