並列LISPとその処理系の研究

1991 Fiscal Year Annual Research Report

• Project/Area Number: 01420029
• Research Institution: Tohoku University
• Principal Investigator: 伊藤 貴康 東北大学, 工学部, 教授 (80124551)
• Keywords: 並列Lisp / PaiLisp / 並列インタプリタ / 並列定理証明プログラム / ペトリネット操作システム / 並列プロダクションシステム / σー計算 / 並列プロセス計算

Research Abstract

並列Lispとその処理系に関して,次のような研究を行った。
[1]並列Lisp言語PaiLispの実現方式と処理系
昨年度までに設計および改良を行ってきた共有メモリ型並列LISP言語PaiLispの実現方式を与え,この実現方式をもとに並列計算機Alliant/FX80上での並列インタプリタを開発し,ベンチア-クプログラムによる性能評価実験を行った。PaiLispの主要構成要素の性能評価・オ-バ-ヘッドの測定を行い,PaiLispによる実行効率のよいプログラミングを行う知見を得た。
[2]PaiLisp処理系の応用と評価
PaiLispの人工知能および記号処理への応用という観点から
●導出原理による並列定理証明プログラム
●ペトリネットのための代数的操作システム
の試作と評価実験を行った。また,その経験をもとにしてPaiLispの処理系の改良を行った。
[3]並列プロダクションシステム
Reteアルゴリズムにもとづくプロダクションシステムを改良して並列マッチングおよび並列的ネット更新が行える並列プロダクションシステムのアルゴリズムを設計し,予備的評価を行った。次年度にPaiLispによる本格的な実現と評価を行う計画である。
[4]並列Lispの意味論
並列Lisp言語PaiLispの意味論を与えるために,σー計算という並列プロセス計算モデルを考案した。また,高階プロセス計算モデルCHOCSを用いて抽象チャンネルLISP言語ACLの形式的意味論を与えた。

Research Products

• [Publications] ITo.Takayasu;伊藤 貴康: "LISP and Parallelism" Artificial Intelligence and Mathematical Theory of Computation(ed)V.Lifschitz(Academic Press). 187-206 (1991)
• [Publications] Ito.Takayasu,伊藤 貴康: "Logic of Execution:An Outline" Lecture Notes in Computer Science.(SpringerーVerlag). 491. 79-91 (1991)
• [Publications] 清野 智弘: "PaiLispにおける並列構文の実現法とその評価" 情報処理学会第44回全国大会論文集. 5-95-5-96
• [Publications] 川本 真一: "ペトリネットのための代数的操作システムとその応用" 情報処理学会第44回全国大会論文集. 4-243-4-244