確定節文法のための内部構造変換機能付きパーザとアンパーザの自動生成方式
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,DCGの形式をベースとした構文記述法であるDGGo記法と,その記法で書かれた構文規則から内部構造変換機能付きパーザとアンパーザとンパーザを自動生成する方式を提案する.我々は一般ユーザとしているので構文規則に,記述力,記述の容易さ,記述量の少なさ,という評価基準を設け,それを満足する構文規則からパーザとアンパーザの自助生成することを目的とした.DOG形式は上記の評価基準を満たしながらパーザとアンパーザを自助生成することはできない.ユーザの負担を軽減するために,より簡単な構文記述法からの自動生成が望まれる.本方式では自助生成を行うために,DOG形式に構成子定義を加えた構文記述法である,DCGo記法を与える.DCGo記法で記述された構文規則から内部構造変換機能付きパーザとアンパーザを自動生成する.この自動生成方式は,汎用の構文記述言語であるDCG形式をベースとしているので,扱う言語の定まっていないシステムにおける言語処理系の作成に有効である.
- 一般社団法人情報処理学会の論文
- 1990-11-15
著者
-
南 俊朗
(株)富士通研究所パーソナルシステム研究所ネットメディア研究センター
-
南 俊朗
九州大学附属図書館研究開発室
-
大橋 恭子
(株)富士通研究所ソフトウェア研究部
-
大谷 武
九州大学システム情報科学研究科情報理学専攻
-
大橋 恭子
富士通株式会社
-
横田 かおる
(株)富士通研究所
-
南 俊朗
富士通(株)国際情報社会科学研究所
-
沢村 一
富士通(株)国際情報社会科学研究所
-
大谷 武
富士通(株)国際情報社会科学研究所
-
沢村 一
新潟大学
-
Sawamura Hajime
Faculty Of Engeneering Niigata University
-
大橋 恭子
(株)富士通研究所
関連論文
- セマンティックWeb推論と議論エージェントシステムとの統合(「自動化:推論,発見,学習,データマイニング」及び一般)
- 口コミ機構のコスト制御法
- エージェント社会における資源管理
- 論理学対議論学(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
- ビジネスアプリケーションむけパターン体系とその適用
- 再利用の新しい枠組みを求めて : オブジェクト指向開発でのパターンシステム
- 5K-4 キーワード利用傾向に基づく発想検索支援
- 検索ログを用いたキーワード推薦エージェント
- SASS : Web文書の発送検索支援システム
- 参照履歴を用いたWeb文書推薦方法の提案
- B-006 アクティビティグラフからのテストケース生成技術(B分野:ソフトウェア)
- On Designing the Method of Syntax Descriptions for Logics
- 論証支援システムEUODHILOSのための構文記述法の改良とパーザの実現
- 論証プログラミング
- 口コミ機構のコスト制御法
- 口コミによる情報伝達を利用した情報資源管理
- エージェント社会における資源管理
- 汎用論証支援システムEUODHILOS-IIの設計と実装
- 汎用論証支援システム EUODHILOS の応用と評価
- 汎用論証支援システム EUODHlLOS の応用と評価
- 確定節文法のための内部構造変換機能付きパーザとアンパーザの自動生成方式
- イメージによる図書目録カード検索システム : 遡及入力問題の一解決法
- イメージによる図書目録カード検索システム : 遡及入力問題の一解決法
- 証明木パターン記述言語としてのTactics
- 関連度を用いたWeb文書のナビゲーション
- セマンティック Web 推論と議論エージェント推論の統合
- 論証支援システムのための論理式エディタ
- 多値議論の論理LMAのテトラレンマへの東洋的特殊化(「日本文化と知識処理」及び一般)
- 図を用いた推論の複雑性に関する考察
- 図を用いた推論法とその複雑性に関する考察
- 論証支援システムのための証明支援 : 思考シートによる証明方法
- 回覧板プロトコルを用いたスケジュール調整エージェント構築に関する一考察
- 記号創成に基くニューラルネット様生物機械の創成:遺伝暗号およびその他の記号システムの起源と進化についての統一理論の構築
- Neural-Network-like Biomachinogenesis via Semeiogenesis: Origin of Genetic Codes and Other Semeiotic Systems (数理モデル化と問題解決 研究報告)
- 議論するエージェント : 論理から議論へ
- 議論するエイジェントシステム
- 準無矛盾論理に基づく議論フレームワーク
- 議論を計算とコミュニケーションの基本メカニズムとするエージェントシステム(システムLSIの設計技術と設計自動化)
- 議論の論理と議論するマルチエージェント : 論理から議論へ (「マルチエージェント技術における新しい可能性」)
- "議論の論理と議論するマルチエージェント--論理から議論へ"への補遺 (AIシンポジウム(第16回) e-learningのintelligent化に向けて) -- (パネル討論「e-learningのintelligent化に向けて」)
- 妥協/譲歩機能をもつ議論による合意形成
- 議論によって合意形成するエージェントシステム
- モバイル可能な議論するエージェントシステム
- 2種類の否定を持つ知識ベースからの議論の作成と実装
- マルチエージェントシステムのための通信プロトコルとその効率分析
- PROLOG述語(呼び出し)の決定性
- Prologソースレベル・オプティマイザの試作とその性能評価
- R,Turner 著, "Logics for Artificial Intelligence", (人工知能のための論理学), Ellis Horwood Limited, B5判, 121p., 1984
- Tactics/Tacticalsを利用したアナロジーによる証明法について
- HOLによるRelevant logicの定理証明機
- 対話型論証支援システムEUODHILOS (「人工知能と定理証明システム」)
- 論証支援のための証明コンストラクタ
- テスト対象と実行条件を考慮したテストタイプに基づくシステムテスト計画書導出手順の開発