Ring Story 1

全文

(1)

Title Ring Story 1

Author(s) Wang, Dinkan; Kobayashi, Hidetsune

Citation 数理解析研究所講究録 (1998), 1038: 7-7

Issue Date 1998-04

URL http://hdl.handle.net/2433/61992

Right

Type Departmental Bulletin Paper

Textversion publisher

(2)

Ring Story 1

Dinkan Wang and Hidetsune Kobayashi

The goal of

our

study is to express the abstract ring theory

on

a 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,

we

gave

some

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

数理解析研究所講究録

Updating...

参照

Updating...

関連した話題 :