This paper describes the integration of a Turkish generation system with the KANT knowledge-based machine translation system to produce a prototype English–Turkish interlingua-based machine translation system. These two independently constructed systems were successfully integrated within a period of two months, through development of a module which maps KANT interlingua expressions to Turkish ...

In his famous discussion of the source of our duties concerning anirrals, the German philosopher Immanuel Kant approvingly mentions a series of engravings ( "The Four Stages of Cruelty") by the English artist William Hogarth as exemplifying one of his central contentions. [2] The approach to our duties regarding anirrals advocated by Kant holds that avoiding cruelty is the most fUndamental duty...

In this paper, we describe the design and deployment of KANT Controlled English (KCE) for knowledge-based machine translation in the KANT system. KCE combines three kinds of constraints: constraints on the lexicon; constraints on the complexity of sentences; and the use of generalized markup language. We describe how each of these types of language control are utilized in the implementation of ...

Strawson and Kant is a collection of articles originally presented at the Kant Society’s 1999 conference, which was dedicated to Strawson. The articles discuss issues related to Strawson’s interpretation of Kant’s Critique of Pure Reason, the rise of interest in metaphysics started by Strawson’s Individuals, and key issues in Strawson’s analytic Kantianism. There are also articles in the collec...

In this paper, we present an overview of the issues in designing a controlled language, the implementation of a controlled language checker, and the deployment of KANT Controlled English for multilingual machine translation. We also discuss some success criteria for introducing controlled language. Finally, future vision of KANT controlled language development is discussed.

In this paper, we present an overview of the issues in designing a controlled language, the implementation of a controlled language checker, and the deployment of KANT Controlled English for multilingual machine translation. We also discuss some success criteria for introducing controlled language. Finally, future vision of KANT controlled language development is discussed.

We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation Infrastructure for Europe) project. One of the major results of the project so far is an OpenMath based protocol called SCSCP (Symbolic Computation Software Composability Protocol). SCSCP enables the various software p...

For applications with certain properties (well-deened technical domain, technical vocabulary, simple grammatical style), use of a controlled language can enhance the accuracy of knowledge-based machine translation (Baker, et al., 1994). In the continuing development of the KANT system (Mitamura, et al., 1991; Mitamura and Nyberg, 1995), we have explored diierent sublanguage techniques which lim...