Automated generation of program translation and verification tools using annotated grammars
Science of Computer Programming
Towards a satisfactory conversion of messages among agent-based information systems
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
This paper describes Chomsky, a content language translation agent. This agent provides a service, which first translates the content expression from its original language into an abstract logic language (ALL). Then, the resulting ALL expression is translated to the desired target language. ALL has been designed as a superset of most known content languages to avoid loosing expressiveness during translation. For more than three supported languages, using an intermediate language approach involves fewer translators than a pair wise approach. Currently, Chomsky supports FIPA-SL, KIF, and Prolog Content Language. In one mode of operation, Chomsky returns the result of the translation request to the client agent. In the other mode, Chomsky receives a message from the intended sender whose content is expressed in language L1, it translates the content to the content language used by the intended receiver (L2), and it sends the message with the L2 content to the intended receiver.