仮想機械による述語論理型構文解析プログラムの効率改善について
スポンサーリンク
概要
- 論文の詳細を見る
本報告は自然言語処理プログラムPAMPSと, その仮想機械PAMPSマシンについて述べたものである. PAMPSによる文法の記述は述語論理に基づいているために, 文法を宣言的に解釈することができる. そのためPAMPSを用いて言語理解システムを作成・修正することは容易である. しかしながら当初開発されていたPAMPSの実行メカニズムは, 文法規則の逐一解釈・実行というインタプリタ形式であったため, 高速な処理速度が得られなかった. 今回試作した仮想機械PAMPSマシンは, PAMPS文法をPAMPSマシン命令にコンパイルし, その命令列を直接実行するものである. PAMPSマシン命令は, パターンマッチング用命令とパージングアルゴリズム用命令の2種類に分けて考えることができる. それぞれはPAMPSの実行メカニズムの特性を十分に考慮した高レベルの命令体系になっている. またPAMPSマシンのデータ構造は, DEC-10 Prologでの構造共有化技法に基づいているが, 逐次処理, 並列処理のいずれにも依存しない汎用性のあるものとなっている点に特色がある. この結果インプリメントした言語に違いはあるが, PAMPSマシンはインタプリタに比べて20倍から76倍もの処理速度改善となっている.
- 一般社団法人情報処理学会の論文
- 1984-07-15
著者
関連論文
- 深い知識に基づく知識コンパイラの基本設計
- 音声理解システムにおける知識ベースの拡充
- 信号解釈エキスパートシステムシェルの開発
- エネルギー差分胸部X線画像による肺腫瘤陰影の検出 : スケールスペースによるサイズアダプティブフィルタ
- 空欄補充問題を用いたプログラム理解支援
- プログラム理解の促進制御に向けて : 空欄補充問題と認知的負荷
- プログラム理解の促進制御に向けて-空欄補充問題と認知的負荷-
- プログラムにおける因果理解の表現と空欄補充問題への応用
- 配送スケジューリングにおけるジョブのグループ化について
- 群化に基づく図形パターンの階層表現の生成手法
- 感覚的情報を扱うためのPrologとニューラルネットワークの結合
- 決定支援における感覚的情報の処理手法
- 汎用DBMSを用いた知的マン・マシンインタフェースの実現 : 音声データベースSPEECH-DBに関して
- 計算機援助型相談システム"CONSULTANT"の構成とその設計思想
- ユーザのふるまいに対するメニュー構造の差異の影響分析
- ソフトウエア移行におけるユーザモデルの再構成
- 言語処理システムにおけるATMSの利用法について
- 音声理解における主題情報の役割とその利用 (「音声の知的処理」)
- 音声理解システムのための言語処理方式 : 並列処理へのフレームワークの拡張
- インタビューに基づくデータベース論理設計支援エキスパートシステム
- 深い知識に基づく知識コンパイラの評価
- チャート分析ルールの洗練化知識と深い知識の考察
- メタレベルのプログラミング機能を持つ高速推論システム-SPIRE
- Prologを対象としたソースプログラムからのプログラム仕様自動生成 : 構造と引数操作パターンに基づく変形解析法の提案
- ESP言語上のウィンドウ制御プログラム開発支援システムWINCS
- 現実関係モデルを導入した自然語による検索キーの取り扱い : 再利用プログラムベースの構築を目指して
- ユーザモデルを利用した説明文生成プランニング
- プログラムの類似性定義のためのネットワーク表現
- プログラム合成システムWINCSのための知識獲得サブシステム
- インクリメンタルPROLOGコンパイラの設計と実現
- ESP言語上のウィンドウ制御プログラムの開発を支援するシステムWINCS
- 事象駆動型と予測駆動型を融合した文脈解析手法
- 自然言語理解に基づくプログラム合成 (「知的プログラミングの基礎」)
- Prologと関係データベースとの結合システムDB-Prolog
- 自然言語による仕様からの自動プログラム合成
- マニュアルレスシステムにおける説明文生成(2)
- 仮想機械による述語論理型構文解析プログラムの効率改善について
- 知的アクセス機能をもつ音声データベース「SPEECH-DB」
- 分散制約充足におけるエージェントの非集中的組織化
- 山登り法を用いた分散制約充足における組織化
- 分散制約充足における組織化の負荷分散
- 山登り法を用いた分散制約充足における組織化
- 山登り法を用いた分散制約充足における組織化
- 複数スピーカ・複数受聴者の場合の音像定位への最小2乗法の応用
- マニュアルレスシステムにおける説明文生成(1)
- 拡張ユニフィケーションを用いたパーザIPの実現手法
- 母音認識の際の主要な高調波成分について
- 凸関数コストをもつ流れ網におけるフロウの性質
- 一般逆行列を用いた音声の線形予測分析
- いかにプログラム空欄補充問題を作るか?
- 補助問題の定式化 ( 特集 : 「コンピュータによる学習支援」)
- 力学問題における補助問題の分類・生成
- 力学における誤り修正支援を目的としたフェイクシミュレーションの提案
- Fake Simulationによる誤りの修正支援
- 操作型学習環境における誤りの修正支援
- インタラクション可能な力学のシミュレーション機能
- 適応的パスプレビュー : ハイパー空間における探究学習のためのナビゲーション支援 (先端メディアの教育利用と教材データの格納・再利用/一般
- WWWにおける学習リソースの組織化
- WWWにおける学習リソースのデザインシナリオ見積もり手法
- 音声の線形予測分析におけるGivens変換の性質
- 高域強調のための差分操作に等価な線形予測係数上の後処理
- 一般逆行列の音響信号処理への応用
- 実数値列の複素化2重FFT(技術談話室)
- 2重標本化に基づいた離散的フ-リエ変換の計算法とその応用
- 高次代数方程式のFFTによる解法の可能性(技術談話室)
- 筆者の自動照合のための偽筆の分析
- 書写技能に基づく筆跡に現れる個人性の抽出
- 算数の文章題を対象とした問題演習支援機能の実現
- 問題理解モデルに基づく問題解説 : 解説の生成
- 問題理解モデルに基づく問題解説 : モデルと問題分類
- 説明による対象理解支援のための学習環境について
- 認知的負荷の適用を指向した教授モデル : CLATとその実験的評価
- 操作可能なPDGによるプログラミング支援について
- ハイパー空間における主体的学習プロセスのリフレクション支援
- Web における学習者のナビゲーションプラニングを支援する環境について
- ハイパー空間におけるリフレクション支援(メタ認知を促進・支援する学習システム/一般)
- ハイパー空間におけるリフレクション支援 (テーマ:「メタ認知を促進・支援する学習システム」および一般)
- WWWにおける学習リソースのローカルインデクシング支援
- 一般化メ-ビウス関数とその直積定理(技術談話室)
- 財務諸表知識と内部統制知識を融合処理する企業診断エキスパートシステムの構成
- バイオリン音のクラスタリング
- Prologプログラミング教育のための知的CAIシステムの開発
- 論理プログラミングと帰納推論による汎用知的CAIシステム
- 容量制限のある計算グラフのスケジュ-リング
- インタビューシステムのためのシェル, SIS
- 知的インタビューシステムI^2Sに基づくデータベース構築支援システムの開発
- 知的インタビューシステムI^2Sとその質問戦略 : データベースの論理設計支援に関して
- 知識ベースに基づく連続音声認識システム : 知識ベース構築支援環境の整備
- 調和合成母音における高調波成分の聴覚的重要度の計量化
- 知識ベースに基づく連続音声認識システム : 帰納的学習による認識ルールの自動生成
- 知識ベースに基づく連続音声認識システム : 知識ベース構築の問題点とその解決法
- 階層的プロダクションシステム-HIPS
- 有声破裂音の知覚におけるホルマント遷移時間の役割
- 定理証明プログラムにおける内部構造の一実現法
- 大阪大学産業科研究所
- 音声研究の現状と問題点
- 知識獲得支援システム (「学習と知識獲得技術の新展開」)
- 知的 CAI における学習者モデル (知的 CAI 最近の動向)
- 知的CAIのための帰納推論方式
- 設計と診断を融合したシェルの構成 : 基本構想