相関にもとづく論理プログラムの自動合成 : 多数の入力例の解析法
スポンサーリンク
概要
- 論文の詳細を見る
逆融合(inverse resolution)にもとづいた帰納推論により,例から論理プログラムを合成する各種の方法が研究されている.われわれは,与えられた単位節の例に対して相関と呼ばれる解析を行うことにより論理プログラムを自動合成するシステムSYNAPS(SYNthesis by Analyzing Positive Samples)を作成している.相関は,入出力例からこれに含まれる再帰的構造をLeast General Generarization(LGG)を用いて解析する方法であり,あるアトムの内部に他のアトムの構造が含まれることを検出する.SYNAPSシステムでは,まず入出力例を相関によって解析し,その結果よりいくつかのオペレータを用いて確定節を合成する.
- 一般社団法人情報処理学会の論文
- 1995-09-20
著者
関連論文
- 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システムと論理文法
- 論理超グラフ文法と文脈自由超グラフ文法
- 論理プログラムの前向き推論による一計算法
- CCDカメラによる圧電振動デバイスの振動変位測定
- 増大形探索による文例からの文脈自由文法の合成
- 拡張論理超グラフ文法について
- DCGG(Definite Clause Graph Grammar)の構文解析方式
- DCGG : 論理プログラミングのためのグラフ文法
- Prolog 処理系 (プログラミング言語 Prolog)
- 非同期ポリオートマトンの分類と各部分クラス間の問題 (情報科学の数学的基礎理論と応用)