« SOOC-94: An Experimental Language toward Building Real-World Computing Systems | Main | CCM: A Model Based on Analogies to Chemical Reaction System for Open and Complex Computation -- Its Relation to the Interlocked Neural Networks -- »

A Method of Independent Parallel Processing of Constraint Satisfaction and Other Problems using CCM: A Model for Emergent Computation

Kanada, Y., 49th National Conference, Information Processing Society of Japan, 4-321 - 322, 1994, Published by IPSJ.

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

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, Constraint satisfaction problem, Combinatorial optimization, Emergent Computation, Randomized computation, Randomized problem solving, Rule-based computation, Rule-based problem solving, Parallel processing

Post a comment

About

This page contains a single entry from the blog posted on October 1, 1994 12:00 AM.

Many more can be found on the main index page or by looking through the archives.

(C) Copyright 2007 by Yasusi Kanada
Powered by
Movable Type 3.36