This paper attempts to discuss the importance, relevance and validity of the concept of equivalence as a constitutive notion in translation theory. Equivalence is defined as a relation that holds between a Source Langue (SL) text and a Target Language (TL) text. Our conception of equivalence is supported by a modern text-linguistic theory that considers that the text is the unit of analysis of ...

It is indeed an honour to be a part of this International Conference on Computer Aided Translation. As I am not a linguist, but an Information Scientist, my address presumes that we accept the established machine translation theories and practices as true and correct, and that we agree, in principle with the concept, practicality and cost effectiveness of its application. My presentation will f...

We provide a method of translating theories of Nute’s defeasible logic into logic programs, and a corresponding translation in the opposite direction. Under certain natural restrictions, the conclusions of defeasible theories under the ambiguity propagating defeasible logic ADL correspond to those of the well-founded semantics for normal logic programs, and so it turns out that the two formalis...

One of the central open questions in bounded arithmetic is whether Buss’ hierarchy of theories of bounded arithmetic collapses or not. In this paper, we reformulate Buss’ theories using free logic and conjecture that such theories are easier to handle. To show this, we first prove that Buss’ theories prove consistencies of induction-free fragments of our theories whose formulae have bounded com...

Specifications of state machines in CafeOBJ are called equational theory specifications (EQT Specs) which are based on equational logic, and in Maude are called rewrite theory specifications (RWT Specs) which are based on rewriting logic. The translation from EQT Specs to RWT Specs achieves the collaboration between CafeOBJ’s theorem proving facilities and Maude’s model checking facilities. How...

This article studies the development of twentieth century translation theory. This was a period during which significant theoretical contributions were made in both secular and Bible translation circles. These contributions have had a profound impact on the practice of translation throughout the twentieth century and since. The individuals who contributed to the present state of translation the...

One of the determining factors in translation relations is semantic compatibility of cooccurring words. Methods for discovering and representing semantic compatibility relations and their role in translation relations are discussed. The methods used are a combination of analytical and statistical methods, and they are all based on an analytical model of translation. Using the case of semantic c...

Chinese poetry translation is currently dominated by the rhymed translations of represented Xu Yuanchong and unrhymed Weng Xianliang. Both these methods have provided us with valuable practical experience. However, volumes 1 to 3 Xi Jinping: The Governance China, as authoritative interpretations wisdom, plans, theories, contain a large number ancient poems. in English version three volumes, rel...