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...

one of the most important sources of imamiyyah jurisprudence is the tradition in the form of reliable report. and a significant part of it, refers to external threads, but the renowned osuli's jurisprudents take the view that the scope of the reliable authority credit, is limited to injunctions and argue that account is a subject concerning with evidence chapter in which justice and witnes...

Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. This paper describes KANT, a system that reduces this requirement to produce practical, scalable, and accurate KBMT applications. First, the set of requirements is discussed, then the full KANT architecture is illustrated, and finally results ...

The notion of ‘power of judgement’ in the title of Kant’s Critique of the Power of Judgement is commonly taken to refer to a cognitive power inclusive of both determining judgement and reflecting judgement. I argue, first, that this seemingly innocuous view is in conflict both with the textual fact that Kant attempts a critical justification of the reflecting power of judgement – only – and wit...

Viewpoints are coherent collections of facts that describe a concept from a particular perspective. They are essential for a wide variety of tasks, such as explanation generation and qualitative modeling. We have identified many types of viewpoints and developed a program, the View Retriever, for extracting them from knowledge bases, either singly or in combinations. The View Retriever provides...

Abstract According to Kant, the division of categories “is not result a search after pure concepts undertaken at haphazard,” but is derived from “complete” classification judgments developed by traditional logic. However, sorts that he enumerates in his table are all ones logic has dealt with; consequently, we must say chose question with certain intention. Besides, know choice and strongly inf...