1. A method for performing probabilistic operations with trained tree transducers, the method comprising: through execution of instructions stored in memory, obtaining tree transducer information including input/output pair information and transducer information; through execution of instructions stored in memory, converting said input/output pair information and said transducer information into a set of values in a weighted tree grammar; and through execution of instructions stored in memory, using said weighted tree grammar to solve a problem that requires information from the input/output pair information and transducer information.
15. A method as in claim 1 , wherein said using comprises solving a logic problem.