« 創発的計算のためのモデル CCM による問題解決法における局所性の制御法 | メイン | 創発的計算のための言語 SOOC: その特徴と実装 -- 魔方陣を例題として -- »

SOOC-94: An Experimental Language toward Building Real-World Computing Systems

Kanada, Y., 未出版, 1994.

[ English page ]
[ 論文 PDF ファイル] [ 論文 ポストスクリプト・ファイル]

要旨 (英語のみ): 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.

研究テーマ紹介: CCM: 化学的計算のモデル

キーワード: CCM, SOOC, 計算言語, 創発的計算, ランダム化計算, ランダム化問題解決, ランダマイズド計算, ランダマイズド問題解決, 規則ベース計算, 規則ベース問題解決, ルールベース計算, ルールベース問題解決

コメントを投稿

About

1994-09-01 00:00に投稿されたエントリーのページです。

他にも多くのエントリーがあります。メインページアーカイブページも見てください。

(C) 2008 by Yasusi Kanada
Powered by
Movable Type 3.36