[Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/docs/papers/mitamura-1994-kant-knowledge-based-accurate-natural/)

[home](https://md.mova.elamur.ai/free/en/) / [docs](https://md.mova.elamur.ai/free/en/docs/) / [papers](https://md.mova.elamur.ai/free/en/docs/papers/) / [Machine translation](https://md.mova.elamur.ai/free/en/docs/papers/mtrans/) / KANT: Knowledge-Based, Accurate Natural Language Translation

# KANT: Knowledge-Based, Accurate Natural Language Translation

**Authors:** [Teruko Mitamura](https://md.mova.elamur.ai/free/en/docs/papers/authors/teruko-mitamura/), [Eric Nyberg](https://md.mova.elamur.ai/free/en/docs/papers/authors/eric-nyberg/), [Jaime Carbonell](https://md.mova.elamur.ai/free/en/docs/papers/authors/jaime-carbonell/) · **Year:** 1994 · **Venue:** AMTA 1994 (First Conference of the Association for Machine Translation in the Americas) **Link:** [aclanthology.org/1994.amta-1.36](https://aclanthology.org/1994.amta-1.36/) · **Licence:** [CC BY-NC-SA 3.0](https://creativecommons.org/licenses/by-nc-sa/3.0/) — summary only

[**1** citations](https://openalex.org/works?filter=cites:W3037248408) openalex-snapshot · 2026-10-14[**1** citations in our library](https://md.mova.elamur.ai/free/en/docs/papers/cited-by/mitamura-1994-kant-knowledge-based-accurate-natural/) of the 140673 papers whose bibliographies we read[Proceedings of the First Conference of the Association for Machine Translation in the Americas](https://aclanthology.org/volumes/1994.amta-1/)[licence](https://creativecommons.org/licenses/by-nc-sa/3.0/)

- [Publisher's page](https://aclanthology.org/1994.amta-1.36/)
- [PDF](https://aclanthology.org/1994.amta-1.36.pdf)
- [OpenAlex](https://openalex.org/W3037248408)

**Authors (3)**

1. [Teruko Mitamura](https://openalex.org/A5052956256) [Semantic Scholar](https://www.semanticscholar.org/author/1706595) · h 32 · 4061 citations · 254 works
2. [Eric Nyberg](https://openalex.org/A5063241234) [Semantic Scholar](https://www.semanticscholar.org/author/46841006) · h 33 · 4968 citations · 199 works
3. [Jaime Carbonell](https://openalex.org/A5109861718) [Semantic Scholar](https://www.semanticscholar.org/author/143712374) · h 64 · 25526 citations · 406 works

Citations and author metrics from openalex-snapshot (2026-10-14); authors with the same name are not always told apart.

## What it is about

An overview of KANT, an interlingua system from Carnegie Mellon for translating technical documents written in a controlled source language. The system has four language-independent modules (parser, interpreter, mapper and generator), so that a new language needs its own lexicon and grammar but no change to the code. The parser turns each source sentence into an interlingua expression built from domain concepts (objects, events and properties), and the generator produces a target sentence for each expression, so no bilingual dictionary or transfer grammar is needed for a language pair. The paper reports applications: a Spanish-English utility-management system, and a heavy-equipment documentation system for eleven languages. The authors claim high accuracy without post-editing, because the source is controlled and the domain is narrow. The paper is an overview with no measurements of its own.

## Ideas

- I1. Check that the interlingua stays independent. Count, for each new target author, how many components of the reader and the encoder had to change. If the count is not zero, a language-specific fact has leaked into the meta-world, and the concept table needs a fix.
- I2. Carry the domain frame of a concept as part of its identity. In KANT each concept points to a domain frame used during analysis. In Mova the `prag` frame (event, fact or say, with its roles) can disambiguate two source words that share one concept, which the merge rule currently cannot.
- I3. Measure the coverage of the concept table per kind of text. A Bible book, a school text and a legal text should each have a coverage figure, so that gaps in the meta-world are found by domain, as the KANT authors found their gaps by application.

## For Mova

The code is tools/translate (meta.rs for the concept table, and the frame anchors of the prag layer) and the independence check belongs in measure.rs. The paper's modules are a useful picture of the layering, but its interlingua is hand-built for a narrow domain, so the parts to copy are the independence check and the coverage per domain.

Topics: [Machine translation](https://md.mova.elamur.ai/free/en/docs/papers/topics/machine-translation/)

## Cite

The paper itself, not this card. BibTeX from the library's record of the work.

```
@inproceedings{mitamura1994kant,
  title = {{KANT: Knowledge-Based, Accurate Natural Language Translation}},
  author = {Mitamura, Teruko and Nyberg, Eric and Carbonell, Jaime},
  booktitle = {Proceedings of the First Conference of the Association for Machine Translation in the Americas},
  year = {1994},
  url = {https://aclanthology.org/1994.amta-1.36/}
}
```

- [← previous An Efficient Interlingua Translation System for Multi-lingual Document Production](https://md.mova.elamur.ai/free/en/docs/papers/mitamura-1991-efficient-interlingua-translation-system-multi/)
- [next → Controlled English for Knowledge-Based MT: Experience with the KANT System](https://md.mova.elamur.ai/free/en/docs/papers/mitamura-1995-controlled-english-knowledge-based-mt/)
- [↑ back to Machine translation](https://md.mova.elamur.ai/free/en/docs/papers/mtrans/)