Functional Programming
Translating English into logical form
ACL '82 Proceedings of the 20th annual meeting on Association for Computational Linguistics
The representation of inconsistent information in a dynamic model-theoretic semantics
ACL '82 Proceedings of the 20th annual meeting on Association for Computational Linguistics
ACL '81 Proceedings of the 19th annual meeting on Association for Computational Linguistics
Hierarchical meaning representation and analysis of natural language documents
COLING '80 Proceedings of the 8th conference on Computational linguistics
Adaptation of Montague Grammar to the requirements of question-answering
COLING '80 Proceedings of the 8th conference on Computational linguistics
Database system based on intensional logic
COLING '80 Proceedings of the 8th conference on Computational linguistics
Machine translation based on logically isomorphic Montague grammars
COLING '82 Proceedings of the 9th conference on Computational linguistics - Volume 1
A survey of machine translation: its history, current status, and future prospects
Computational Linguistics - Special issues on machine translation
Wide-range restructuring of intermediate representations in machine translation
Computational Linguistics
Disambiguating grammatically ambiguous sentences by asking
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Machine Translation: its history, current status, and future prospects
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Computational Linguistics - Special issue on machine translation
Phrase structure grammars and natural languages
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
English-Japanese machine translation requires a large amount of structural transformations in both grammatical and conceptual level. In order to make its control structure clearer and more understandable, this paper proposes a model based on Montague Gramamr. Translation process is modeled as a data flow computation process. Formal description tools are developed and a prototype system is constructed. Various problems which arise in this modeling and their solutions are described. Results of experiments are shown and it is discussed how far initial goals are achieved.