« August 1994 | Main | October 1994 »

September 1994 Archives

Kanada, Y., SIG Note of Symbol Processing, Information Processing Society of Japan, 94-SYM-75-5, pp. 31-38, 1994, Published by IPSJ.

[ 日本語のページ ]
[ Paper PDF file (in Japanese) ] [ Paper postscript file (in Japanese) ]
[ OHP postscript: Slides, Handout ]
[ OHP PDF ファイル: Slides, Handout ]

[ Magic square demo in Java ]

Abstract: A computation model called CCM was proposed by the author. CCM is developed toward establishing a problem solving methodology based on emergent computation, which is open to continually varying environment. CCM is a production system with evaluation functions, which are computed using only local information, and CCM works randomly. A computational language called SOOC-94 is used for experiments based on CCM. The features and implementation of SOOC-94 are explained using the magic square problem as an example. The features of SOOC-94 are that the automatic computation of evaluation functions and automatic local backtracking are taken place when applying a rule, that the syntax of the patterns in LHS and RHS are almost unified, the existence of two scheduling strategies, especially the random strategy, on the order of rule applications, that the existence of same name elements in a datum (structure) is allowed, and so on.

Introduction to this research theme: CCM: Chemical-Computation Model

Keywords: CCM, SOOC, Computation language, Emergent computation, Randomized computation, Randomized problem solving, Rule-based computation, Rule-based problem solving, Production rule, Production system, Local evaluation function, Magic square

Kanada, Y., not yet published, 1994.

[ 日本語のページ ]
[ Paper PDF file] [ Paper postscript file]

Abstract: Today's computer applications often require on-line input and output and sometimes requires change of computation methods while processing complex tasks. In future, they will probably be required to change even the objectives of computation. Such a new style of information processing is called real-world computing in the present paper. Real-world computing requires computation languages to work without fixed sequence of control nor fixed data flow, to work without a whole plan of computation, to be always open to environment at any time, to have possibility of distributed and parallel processing, to have possibility to respond to nondeterministic actions, and so on. Because today's programming languages are considered not to satisfy these requirements, a new computation model called CCM (chemical casting model) and a language called SOOC-94, which partially satisfies the requirements, are developed as the first step. Computation is regarded as biased random walk in CCM. The random walk is realized by a randomly acting forward-chaining production system, and the bias is realized by locally computed evaluation functions in SOOC-94. I have developed a preliminary version of compiler and interpreter, and analyzed the computation processes and results of graph coloring problems for example.

Introduction to this research theme: CCM: Chemical-Computation Model

Keywords: CCM, SOOC, Computation language, Emergent computation, Randomized computation, Randomized problem solving, Rule-based computation, Rule-based problem solving
(C) Copyright 2007 by Yasusi Kanada
Powered by
Movable Type 3.36