Jared darlington

This paper describes a COMIT program that proves the validity of logical arguments expressed in a restricted form of ordinary English. Some special features include its ability to translate an input argument into logical notation in four progressively refined ways, of which the first pertains to propositional logic and the last three to first-order functional logic; and its ability in many cases to select the "correct" logical translation of an argument, i.e., the translation that yields the simplest proof....

27p nghetay_1 06-04-2013 43 3   Download

This paper discusses a proposal by Alexander Gode that Interlingua be used as an intermediate language for mechanical translation. The wordby-word translations proposed by Gode from Interlingua into English are not always easily understandable or editable, because of the presence in Interlingua of idioms, reflexive verbs, multiple meanings for particles and other words, and non-English word-order. Some revisions in Interlingua are suggested which would make it more useful for mechanical translation....

6p nghetay_1 06-04-2013 56 4   Download