Title Ring Story 1
Author(s) Wang, Dinkan; Kobayashi, Hidetsune
Citation 数理解析研究所講究録 (1998), 1038: 7-7
Issue Date 1998-04
Type Departmental Bulletin Paper
Ring Story 1
Dinkan Wang and Hidetsune Kobayashi
The goal of
ourstudy is to express the abstract ring theory
ona computer. We have
several steps to the goal:
1. Translate propositions expressed in a restricted natural language to lists of LISP.
2. make an inference engine
3. express the conclusion given by the engine in English.
In our presentation,
someexamples of 1. The translator is written in “ lex&
yacc” Through experimental work, we see it is possible to translate propositions in ring theory by using “lex
&yacc’’,provided the expression of the proposition is within our
limited semi-natural language( which is ambient enough to express ring theory).