明示的なα変換を用いたα単一化
スポンサーリンク
概要
- 論文の詳細を見る
単一化は,述語を持つ論理系の上で自動推論を行う際の基本操作である.従来,構文的等価性という,最も強い等価性に基づいた単一化が多く用いられてきたが,より弱い等価性に基づいた単一化を用いることで,系の表現力の向上や,推論ステップ数の減少が期待できる.そのような単一化を言語処理系に用いた例として,Urbanらのλ Prologがある.λ Prologでは,項の表現として,変数を束縛することを許し,束縛変数の名前の違いを無視するα等価性に基づいた単一化を用いている.しかし,彼らの用いた単一化アルゴリズムNominal Unificationでは,項F,F',Gについて,FとGが単一化可能でFとF'がα等価であるとき,F'とGが単一化不能になる場合がある.本発表では,単一化の操作として,α変換を明示的に返すような単一化アルゴリズムを提案する.また,提案アルゴリズムが,FとGを単一化するならば,Fとα等価なすべての項F'について,F'とGを単一化することを示す.
- 2010-12-10
著者
-
山口 文彦
慶應義塾大学大学院理工学研究科
-
斎藤 博昭
慶應義塾大学 大学院理工学研究科
-
斎藤 博昭
慶應義塾大学
-
斎藤 博昭
慶應義塾大学理工学部情報工学科
-
山口 文彦
慶應義塾大学理工学部情報工学科
関連論文
- 周波数スペクトルの谷状点系列による和音推定(音高・和音・調認識)
- 文字間統計情報に基づく口語文字列の自動抽出
- 線形論理のある部分系上の帰納推論とその健全性および完全性
- 区間確率密度を用いた不確かさを含む推論法 (テーマ 「オントロジー活用の実際、産業応用」および一般)
- 3G-2 キューを利用した並列計算モデル
- 3N-5 英語固有名詞のカナ表記への変換
- 1N-2 日本語文書における複合語キーワード抽出
- 1N-1 数学的帰納法を用いる定理証明器の実装
- NGL法に基づいたリカレントニューラルネットワークの学習
- ScoreIlluminator : スコアリーディング支援のためのオーケストラスコアの自動色付け(演奏者支援)
- E-029 主旋律に着目したピアノ楽譜の難易度別簡易化(自然言語・音声・音楽,一般論文)
- RE-001 周波数スペクトルの谷状点に基づく和音推定(自然言語・音声・音楽,査読付き論文)
- 練習計画提示によるピアノ独習支援システムの開発と評価 (新しいインタラクションを取り入れた学習支援およびスキル支援/一般)
- リズム特性を用いたコンデンススコア自動生成手法の提案
- 日本語フレームネットに基づく意味役割推定
- デモンストレーション:若手による研究紹介III(デモセッション)
- ピアノ初級者のための独習支援システムにおける戦略的練習計画の提示
- ピアノ初級者のための独習支援システムの提案
- 汎用アノテーションシステム(MAML System)を利用したWeb検索結果のグラフ表示(Web検索, 夏のデータベースワークショップDBWS2005)
- 汎用アノテーションシステム(MAML System)を利用したWeb検索結果のグラフ表示(Web検索, 夏のデータベースワークショップ2005)
- 語の属性を利用した大語彙確定のための音声対話インタフェース
- 汎用アノテーション記述言語MAMLの提案とその生成・処理プロセス
- 汎用アノテーション記述言語MAML(メタ言語とメタデータ)(ユビキタス社会における情報流通および一般)
- 非単調活性化関数を用いたカオスニューラルネットワークとメモリサーチシステムへの適用
- 材質感モデルの自動生成(一般セッション(2))
- メタデータ解析と自然言語処理を併用した動画要約(セッション2 : 映像・コンテンツの生成)
- アノテーションの副次生成とテキスト処理への応用
- 音声と映像の一貫性を考慮したニュース動画の要約
- 明示的なα変換を用いたα単一化
- 将棋における合議アルゴリズム---局面評価値に基づいた指し手の選択
- ScoreIlluminator:スコア色付けによるオーケストラスコアリーディング支援システム
- コンティグマッピング手法に基づくポリフォニー音楽の声部分離と色付け楽譜の生成
- フラグメントの部分間差分を用いた例からのプログラム自動合成
- Random Forestを用いた音楽ジャンル分類
- HMM音韻認識と拡張LR構文解析法を用いた連続音声認識
- サポートベクタマシンを用いた対話表現の抽出
- ドメイン固有の文字列情報の組み込みによる形態素解析処理の精度の向上
- 最大エントロピー法を用いた対訳単語対の抽出
- 強化学習における環境変化認識法
- 強化学習における環境変化認識法
- 通信手段を持つマルチエージェント系における強化学習
- E-036 スペクトルディップテンプレートを用いた和音推定(自然言語・音声・音楽,一般論文)
- 5J-4 強化学習型マルチエージェント系における職能の分担の学習
- 述語線形論理の自動証明器
- ケプストラム正規化誤差とパワーの相関を用いた乗法性歪みの除去
- メタデータ解析に基づくマルチメディア検索システム(セッション7C : 検索方式(2))
- メタデータ解析に基づくマルチメディア検索システム(検索方式(2))(「夏のデータベースワークショップ(DBWS2003)」一般)
- 非単調活性化関数を用いたカオスニューラルネットワークの提案
- 動画像からの人物情報記述データ自動生成システムの提案
- カオスニューラルネットワークを用いたメモリサーチの一手法
- カオスニューラルネットワークを用いたメモリサーチの一手法
- マルチモーダル対話コーパス検索/再生ツールの実装
- 3T-8 アクセス履歴を基にした推奨ページリストの提示
- 3T-5 声部分離を用いたスコアリーディング支援のための色付け楽譜の生成(音楽情報の推定と理論,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 1K-3 雑音・残響環境下での音声認識
- 短期記憶を用いた複素ニューラルネットワークの時系列学習
- MELLの証明に要する計算の複雑さ
- 3T-3 左手と和音に対応したピアノ運指の自動推定システム(音楽情報の推定と理論,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 候補間の表層的差異に着目した地名の所属国推定
- 3K-3 GAとSA法を組み合わせた時間割編成問題の解決
- 5G-5 単旋律の生演奏を収録したCDからの自動採譜システム
- 感情音声の合成
- 感情音声の合成
- 感情音声の合成
- AICを用いたデフォルトルール生成法の拡張
- 複数の目標をもった発話プランニングとしての対話理解
- 集合学習における協調型Webブラウジングシステムの構築
- 大語彙を対象とした音声対話インタフェースにおける自然な応答生成
- 行動選択ネットワークによるマルチエージェントの適応学習
- LVQとHMMを用いた音楽コード認識システムの実装
- RTAとExplorationを導入した移動目標探索
- プロセス仕様の模倣関係検証
- プロセス等価性の自動証明器の実装
- 線形論理における帰納推論
- フラグメントの部分間差分を用いた例からのLISP関数の自動合成
- 年次大会余録
- 一般LR構文解析法におけるエラー処理
- 著者判別に有効な特徴量の推定
- 著者判別に有効な特徴量の推定
- 固有名詞の所属国推定における表層情報の利用
- 固有名詞の所属国推定における表層情報の利用
- ラベルなしデータの二段階分類とアンサンブル学習に基づく半教師あり日本語語義曖昧性解消
- インタラクティブな楽譜色付けによるオーケストラスコア理解支援システム
- E-007 スペクトルディップとクロマベクトルの併用による和音推定(音楽情報科学(1),E分野:自然言語・音声・音楽)
- E-008 音響特徴量と歌詞情報に基づく楽曲嗜好解析支援ツールの製作(音楽情報科学(2),E分野:自然言語・音声・音楽)