Lシステムと論理文法
スポンサーリンク
概要
- 論文の詳細を見る
論理プログラミングによって,自然言語や形式言語の構文解析を行なうための各種の方式が提案されている,ある形式文法Gに対して,われわれはつぎのような論理プログラムPをGの論理文法と呼ぶ.(1)PとGは相互に機械的な変換が可能.(2)Pの計算によってGの構文解析およびGの文の導出が可能である.よく知られたDCGはこのような論理文法[AD89]の1つである.また,西岡ら[NUT80]は文脈依存型文法に対する1つの論理文法を示している.論理文法を用いない多くのシステムでは問題に対する文法に加えて構文解析法についても多くの労力を必要とするが,論理文法では汎用のPrologシステムで容易に構文解析でき,文法の作成に集中できる.この報告では,L(OL,IL)システムに対する論理文法を示す.Lシステムは最初は生物の成長のモデルとして提案されたものであるが,その後形式文法としての性質が研究されている[S75].Lシステムの特長は,記号列の導出においてすべての生成規則が並列に適用されることである.本報告で示される論理文法には,つぎのような意義がある.(1)すべての推移が同期しているLシステムを,そのような同期の機構が仮定されていない論理文法によってシミュレートできることが示される.(2)このシュミレーションは並列的である.すなわち,並列実行を仮定すれば構文解析と記号列の導出をLシステムと同じステップ数で実行できる.(3)これまで,Lシステムの構文解析法はあまり知られていない.この報告で示される論理文法では,共通変数による局所的な同期(共通変数はすべて同時に値を変える性質)によってLシステムの全域的な同期がとられる.共通変数による同期の方式は,PARLOGやGHCのような並列論理型においても採用されている.
- 一般社団法人情報処理学会の論文
- 1990-09-04
著者
関連論文
- 2Q-7 RoboCupロボットのための色検出にもとづく物体認識方式(ロボカップ・ロボット,学生セッション,人工知能と認知科学)
- 標準プログラム言語の国際化
- 3R-9 言語を認識する1次元セルオートマトンの漸次学習による合成(学習,学生セッション,人工知能と認知科学)
- 6X-8 構文的翻訳図式(SDTS)を用いたプログラムからのプログラム言語の翻訳規則の学習(音声・言語処理,学生セッション,人工知能と認知科学)
- 1X-8 RoboCup4足リーグにおける加速度センサにもとづく状況分析方式(ロボット,学生セッション,人工知能と認知科学)
- 4V-3 RoboCup 2Dシミュレーションリーグにおける位置予測を用いた外界モデル生成(マルチエージェント(2),学生セッション,人工知能と認知科学)
- 2U-2 Igolog : データベースと差分計算にもとづく囲碁プログラムの基本部(ゲーム・知識ベース,学生セッション,人工知能と認知科学)
- 2U-1 コンピュータ囲碁におけるデジタル解析とアナログ解析を結合した静的解析(ゲーム・知識ベース,学生セッション,人工知能と認知科学)
- 拡張文脈自由文法の漸次学習方式とその応用
- 構文解析にもとづく規則生成と規則集合探索による文脈自由文法の漸次学習
- F_035 文脈自由文法の漸次学習のための準最適な規則集合探索の方式(F分野:人工知能・ゲーム)
- F_028 電位分布の計算によるコンピュータ囲碁の局面解析(F分野:人工知能・ゲーム)
- 文脈自由文法の漸次学習方式とその応用
- E-021 コンピュータ囲碁におけるオイラーの公式と差分計算にもとづく死活の静的解析法(E.自然言語・文書・ゲーム)
- 数値的な特徴に基づく囲碁局面パタンの解析(ゲームプログラミング)
- B-25 Prologにおけるハッシュ記憶の実現方式(プログラム言語の実装,B.ソフトウェア)
- G-29 差分演算を用いた囲碁プログラミング(人工知能(一般),G.人工知能)
- G-28 コンピュータ囲碁における電荷モデルを用いた死活および地合の推定法(人工知能(一般),G.人工知能)
- 攻め合いグラフに基づく囲碁曲面の解析
- ハッシュ・リストによる集合の表現と演算
- 相互関係にもとづく論理プログラムの自動合成
- Prologによる数学上の定理証明
- H-Prologにおける大域変数と連想機能
- Monolog : 単位融合にもとづく並列論理プログラミングシステム
- SYNAPS : 相関にもとづく論理プログラムの自動合成システム
- 5Y-3 RoboCup標準プラットフォーム・リーグにおける光源の変化に対応する物体認識法(ロボットビジョン,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 立体造形のための-データモデル
- 1E-1 拡張チョムスキー標準形を用いた文脈自由文法の学習(学習,一般セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 非同期回路網の確定性について(技術談話室)
- 非同期回路網の計算と実現
- 誤り訂正セルオートマトンの一構成法(技術談話室)
- 非同期セルオートマトンとその計算能力
- 文脈自由文法の自動合成方式とその応用
- セル空間上における並列万能シミュレータ
- 聴覚障害児のための言語習得支援システム : 動作概念CAIシステム
- 相関にもとづく論理プログラムの自動合成 : 一般のHorn規則の合成方法
- 局面グラフによる囲碁盤上の攻め合いの解析
- 前向き推論による論理プログラミング言語 Monologの一計算方式
- ハッシュリストを用いたゲーム(囲碁)の局面の記憶方式
- 相関にもとづく論理プログラムの自動合成 : 多数の入力例の解析法
- コンピュータ囲碁における眼の一判定法
- 前向き推論による並列オブジェクト指向論理プログラミング
- 前向き推論にもとづく論理型言語Monologとその処理法
- 聴覚障害児の言語訓練支援システム
- 聴覚障害児のための言語習得支援システム
- 論理超グラフ文法による構造パタンの表現と識別
- Lシステムと論理文法
- 論理超グラフ文法と文脈自由超グラフ文法
- 論理プログラムの前向き推論による一計算法
- 増大形探索による文例からの文脈自由文法の合成
- 3. 複合オブジェクトに基づく演繹データベース (演繹データベース)
- 拡張論理超グラフ文法について
- DCGG(Definite Clause Graph Grammar)の構文解析方式
- DCGG : 論理プログラミングのためのグラフ文法
- Prolog 処理系 (プログラミング言語 Prolog)
- 非同期ポリオートマトンの分類と各部分クラス間の問題 (情報科学の数学的基礎理論と応用)