Development of a supporting tool for translation between declarative sentences and logical formulas

Logical formulas are often used as a representation form to describe knowledge in many intelligent system applications. However, it is not an easy task to translate declarative sentences into logical formulas. On the other hand, in some intelligent system applications, it is necessary to translate logical formulas into declarative sentences for usual. To do the translation, the correspondence between the vocabulary of the logical formulas and that of declarative sentences is demanded. Thus, a supporting tool for translation from logical formulas to declarative sentences must cooperate with a supporting tool for translation from declarative sentences to logical formulas. However, there are no reports about such supporting tools. This paper presents a supporting tool for translation between declarative sentences and logical formulas. The tool works with its users in an interactive mode. The tool makes users revise a target declarative sentence in order to translate declarative sentences into logical formulas. It also translates revised declarative sentences into logical formulas according to its user´s instructions, and records correspondence between the vocabulary of declarative sentences and that of logical formulas. Moreover, it translates logical formulas into declarative sentences according to the correspondence. By using our supporting tool, one can easily translate the declarative sentences into logical formulas, and vice versa.