ゴール書換えモデルに基づく論理型プログラムの並列処理方式
スポンサーリンク
概要
- 論文の詳細を見る
論理型プログラムは, プログラムの仕様と実行ストラテジを分離して検証できることから, 知識情報処理における高度なプログラミングに対応できる能力をもつと期待されている. しかし従来のProlog処理系では, 処理能力が不足しているだけでなく, 逐次処理の制約から実行ストラテジの柔軟性が犠牲になっている. これらの問題に対処するために, 論理式の導出過程に忠実なゴール書換え操作に基づいたOR並列処理方式を提案する. 本方式では, ゴールの導出において定義節のすべての選択肢を適用するOR並列単一化プロセス間で独立性の高いゴールフレームを次々と受け渡しながら並列処理を進める. またゴールフレーム間の依存関係を関係木によって保持し, ゴールフレームの導出機構と制御を切り離している. この結果, プログラムに内在する並列性を活かした高並列処理が実現できると同時に種々の実行ストラテジに柔軟に対応できる.
- 一般社団法人情報処理学会の論文
- 1984-05-15
著者
-
相田 仁
東京大学工学部電子・電気工学科
-
田中 英彦
東京大学工学部
-
相田 仁
東京大学工学系研究科
-
元岡 達
東京大学工学部電気工学科
-
元岡 達
東京大学
-
後藤 厚宏
東京大学工学部電気工学科:(現) 日本電信電話公社
-
元岡 達
東京大学工学部教授
関連論文
- モニタ用プロセッサを用いた分散システムのモニタリング手法に関する検討
- 分散システムにおける障害回復法に関する検討 : 分散モニタシステムの一機能としての実装
- 超高速データ伝送のための確認応答方式の評価
- MULTISTAR LAN における偏り負荷特性と確認応答方式の改良
- トランスピュータによる多層プロトコルの性能評価用シミュレータ
- トランスピュータを用いたシミュレータによる多層プロトコルの評価
- トランスピュータによるプロトコル性能評価シミュレータの構成
- DRAにおける複数品質トラヒックの制御法
- Performance Tuning For TCP Based Disk-to-Disk File Transfers
- 経験空間を利用した文章理解システム
- 文章理解を支援する知識の学習に関する研究
- 会話型操作を伴うマルチメディアシステムにおける同期方式
- B-5-274 P-MP無線システムにおけるグループポーリングを用いたアクセス制御方式
- 多段接続網を用いた大容量IPデータグラムスイッチング方式
- P-MP FWAシステムにおける動的優先度に基づいた無線リソース割当方式
- 有無線統合ATM網におけるABRトラヒック制御
- 非対称TS型可変速度TDMスイッチに適するマルチキャスト対応スケジューリング方式の提案
- TS構成の可変速度時分割スイッチにおける優先制御方式
- モバイル環境における分散オブジェクトシステムの情報伝搬の評価
- FIFO付きブロードキャストメモリを用いた共有メモリの実現とその評価
- 10-110 東京大学における「教育の情報化」 : 東京大学オープンコースウェア(UTOCW)の運営と活用(オーガナイズドセッション「オープンコースウエアとその活用」-II,口頭発表論文)
- 2V-2 可変速度TDM変換方式を用いた最低帯域保証が可能な動画像伝送方式
- B-6-5 TS型可変速度時分割スイッチにおけるスケジューリング方式
- B-6-4 TS型可変速度時分割スイッチの性能評価
- 10-216 東京大学における教育の情報化 : 東京大学オープンコースウェア(UTOCW)の活用(口頭発表論文,オーガナイズドセッション「オープンコースウエアとその活用」-I)
- HORBのレプリケーション拡張におけるレプリカの自動制御
- レプリケーション拡張HORBでのレプリカ間の一貫性管理
- マルチメディア遠隔提示システムの同期条件の検討
- 分散マルチメディアシステムDMSICにおける同期機構
- シナリオ再生のための分散マルチメディアシステム
- マルチメディア遠隔提示システムの設計に関する一検討
- 分散マルチメディアシステムDMSICにおける同期機構の実現と評価
- マルチメディア遠隔提示システムの同期条件の検討
- 会話型操作を伴う分散マルチメディアシステムにおける同期機構
- 会話型操作を伴う分散マルチメディアシステムにおける情報間同期機構の実現
- 3Y-7 コメント付きユーザ配信型ライブ放送の「面白い部分」を抜き出したアーカイブ化(線画像・画像検索・映像処理,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 可変長パケットに対するBanyan Switchの性能評価
- 1V-1 Shuffle Patternによる多段接続網を用いた入力分散型パケットスイッチ
- B-5-159 無線ATM網におけるABRトラヒックの動的割当方式
- B-5-246 無線ATM網における動的ハンドオーバ方式の性能評価
- B-5-227 無線トークンパッシングLANの提案
- 無線ATMにおけるハンドオーバ方式の検討
- 無線ATMシステムにおける動的スロット割り当て方式
- 無線ATM網における動的ハンドオーバ方式に関する検討
- 無線ATMリンクにおけるトラヒック特性に基づいたリソース割当方式
- 無線ATMリンクにおけるリソース割当制御方式の検討
- フレームアドレシング方式に基づく分散型加入者網のアクセス制御方式
- 高速LANの公平かつ効率的な帯域割当法
- スロッテドリング型高速LANの公平かつ効率的な帯域割当法
- D-12-67 符号化を視野に入れたステレオ画像の視差推定
- 左右画像の相関による多眼3次元画像の効率的符号化
- Ring Bayan網の性能解析とその評価
- QoS保証を考慮した分散型加入者網アクセス制御方式
- 可視化アプリケーションにおける複製型共有メモリの評価
- 分散共有メモリシステムのアップデートプロトコルの評価
- 伝送コストの容量依存性とネットワーク構造
- ATM網における迂回バーチャルパス制御の一方式
- 5U-7 ハードウェア実装によるTS構成の可変速度時分割スイッチにおけるスケジューラの実現
- TS構成の可変速TDMスイッチアーキテクチャ
- ビデオデータ伝送のための動的QOS制御方式
- モバイル環境における分散オブジェクトシステムの実現とその評価
- 4L-1 Javaにおけるクラス定義の動的変更可能システムの構築
- 5S-4 モバイル環境における分散オブジェクトシステム
- D-3-8 共有ドキュメント編集に関する提案と実装
- D-3-3 非・常時接続環境での非同期分散オブジェクトシステム
- 変更object化方式によるreplication systemとそれによるdisconnected operation
- Peer to Peer型 Replicationによる disconnected operation
- Peer to Peer型 Replicationによる disconnected operation
- レプリケーション拡張HORBでのレプリカ間の一貫性管理
- 分散型教育用計算機システムの運用について
- B-6-3 可変速度TDM交換方式に基づくClos網における内部バッファの不要な分散網の経路設定手法
- B-6-2 優先制御機能を前段に有する出力バッファ型可変速度TDMスイッチ
- 可変速度TDM交換方式を用いた情報廃棄通知に基づく実時間動画像伝送方式
- B-7-24 WWWにおける静止画像トラヒックモデルの提案
- B-6-1 可変速時分割スイッチを用いたMPEG2ストリーム伝送の画質主観評価
- 可変速時分割スイッチにおけるMPEG2ストリーム制御
- ATM網の高速帯域予約プロトコルを用いた高能率動画像伝送方式
- 多元トラヒック処理を考慮した自律分散ダイナミックチャネル割当て方式
- 多元トラヒックDCAに対するABRトラヒックの影響
- ARPとダイナミックTDMAの組み合わせ方式の評価
- 呼の再配置接続を用いた多元トラヒックチャネル割り当て法
- マルチキャリアTDMA移動通信における多元トラヒックチャネル割り当て法 Fraction 方式の検討
- ネットワークコストの構造変化と信頼性
- An Interface Toolkit with Dynamic Selectable Modality
- 超並列C言語NCXのMIMD計算機用コンパイラにおける仮想プロセッサ割り当ての手法
- 超並列C言語NCXのMIMD計算機用コンパイラの構成
- マルチモーダル・インタフェース構築のためのソフトウェアツール
- ATM/フレームリレー・インタフェースに関する検討
- 3次元動画像通信を想定した多眼画像の特徴分析
- B-6-72 二次利用システム間の周波数利用公平性を考慮したコグニティブ無線技術の提案(B-6.ネットワークシステム,一般セッション)
- 無線トークンパッシングLANアクセス制御方式
- 3Z-5 並列離散事象シミュレーションにおける論理プロセスの移送による通信最適化
- 3K-3 並列離散事象シミュレーションにおける出力統計処理
- 離散事象シミュレーションの並列分散処理における出力統計処理についての一考察
- プロトコルの段階的詳細化を支援するプロトタイピング・ツール
- 1T-7 複数経路データ転送におけるコネクション指向プロトコルの提案
- 1T-1 多段接続可変長パケットスイッチに適した単位スイッチ方式
- 1S-6 帯域比の大きいTDMA移動体通信におけるチャネル割り当て
- 2重ウインドウ制御を用いた高速スロッテドリング型LANアクセス方式
- 連続メデイアに適したクロスポイントバッファ型時分割スイッチアーキテクチャ