Abstract
This paper presents a natural language processing tool, called CONV, which can translate Japanese sentences to well-formed formulas on an extended predicate logic, focusing on the knowledge representation scheme and the translating method to the scheme. This tool has been developed aiming to apply to several intelligent systems such as semantic information retrievers, dialogue systems and so on. In this tool, both a simple sentence and a complex sentence are represented by a single atomic formula, using ordinary words as predicate symbol and terms. Subordinate clauses in complex sentence are represented by embedded in the predicate or terms of the atomic formula for main clause, using the same form as main clause. Sentences are parsed using existent natural language processing tools and electronic dictionaries, and then are translated to logic formulas by newly developed rules.
