一般化論理プログラムによる変換ルールの合成
スポンサーリンク
概要
- 論文の詳細を見る
論理回路を簡単化するときに,変換ルールを用いる.本論文では,変換ルールを論理の枠組みで定式化する.そして,論理の枠組みで定式化された変換ルールの学習について考える.その学習の核となる技術は,変換ルールの合成で,複数の変換ルールから新しい変換ルールを作り出す.本研究では,一般化論理プログラム(GLP)を理論的基盤とし,言語には,GLPの理論に基礎をおくプログラミング言語UL/αを用いる.UL/αは,集合オブジェクトを含むさまざまなデータ構造の表現を可能にするため,変換ルールの中の論理回路を素子の集合として記述することができる.変換ルールの合成を行うためにGLPの理論に基づくユニフィケーションを用いる.Prologではユニフィケーションは一つしか存在しないが,UL/αを用いた本研究では,論理回路が集合で表現されているためユニフィケーションは複数あり得る.このそれぞれに対して一つの合成ルールが求められるので,合成ルールも複数あり得る.この新しい段階で,説明に基づく学習(FBL)に見られるように,複数の合成ルールに例を与えることで,複数の合成ルールから例に対応した合成ルールを選び出す.
- 社団法人電子情報通信学会の論文
- 1993-09-25
著者
-
馬淵 浩司
岩手県立大学ソフトウェア情報学部
-
青木 由直
北海道大学大学院工学研究科
-
赤間 清
北海道大学情報基盤センター
-
赤間 清
北海道大学
-
青木 由直
北海道大学工学部情報メディア工学講座
-
馬渕 浩司
北海道大学工学部情報工学科
-
青木 由直
北海道大学 工学部
-
青木 由直
北海道大学
関連論文
- 多次元データに対するGAとラフ集合を用いた新たなルール生成アルゴリズム
- 脳波情報及び印象評価結果に基づく音楽コード進行パターン自動生成プログラムの作成
- 移動体通信における遅延情報に基づくユーザ位置管理の効率化(ネットワークプロトコル,次世代社会基盤をもたらす高度交通システムとモバイル通信システム)
- A-15-7 化身話技術を用いたユビキタスインターフェースの検討
- A-7-4 セルオートマトン変換を用いた電子透かし法の検討(A-7. 情報セキュリティ)
- K-089 The Research of the Ubiquitous Interface Using Acceleration Sensor
- A-16-16 化身話通信における漫画的感情表現に関する研究(A-16. マルチメディア・仮想環境基礎)
- A-15-10 加速度センサを用いたユビキタスインターフェースの研究(A-15. ヒューマン情報処理)
- D-9-8 線形メディア変換による感情通信システムの実装の検討
- D-9-7 線形メディア変換を用いた感情通信システムの試み
- D-12-38 ジェスチャ認識を目的とした手の速度特徴抽出
- A-14-5 抽象化顔画像伝送システムの検討
- 衛星通信における化身話チャッティングシステムの開発
- A-15-16 抽象化顔画像生成法の検討
- 手話メールシステムのための手話入力法の検討
- 衛星通信における仮想対話環境の検討
- フレネル変換による電子透かし法の開発と衛星通信よる透かし画像伝送実験
- フレネル変換による電子透かし法の開発と衛星通信による透かし画像伝送実験
- 知的通信における3次元意味情報フィールドの応用
- 輪郭と差分画像を用いた手話の動作解析
- 14/12GHz帯サテライト・ダイバーシティ方式の降雨/降雪時特性比較と方式導入条件
- 移動体衛星通信用静止衛星の都市内しゃへい特性 : GPS衛星を用いたSat.D特性推定法と測定結果
- A・P2000-55 / SAT2000-52 / MW2000-55 移動体衛星通信用静止衛星からの信号の都市内遮蔽特性、Sat.D特性推定法と測定結果
- 移動体放送用静止衛星からの信号の都市内遮蔽特性とSat.D特性の推定法と測定結果
- eシルクロードとパンダ画像伝送プロジェクト
- 咀嚼時口唇付近の動きに関する多点時系列解析 : 主成分分析の応用
- A・P2000-55 / SAT2000-52 / MW2000-55 移動体衛星通信用静止衛星からの信号の都市内遮蔽特性、Sat.D特性推定法と測定結果
- A・P2000-55 / SAT2000-52 / MW2000-55 移動体衛星通信用静止衛星からの信号の都市内遮蔽特性、Sat.D特性推定法と測定結果
- 紙の変形を考慮した机上文書のハンドリング
- 因子分解法に基づく運動画像列解析による多関節物体の構造推定
- 咀嚼時口唇付近の動きに関する多点時系列解析 : 主成分分析の応用 その2
- 咀嚼時口唇付近の動きに関する多点時系列解析 : 第2報 顔面皮膚の部位別動態に関する検討
- マルチセンサシステムによる運動物体の構造モデルの動的推定
- 口唇付近の動きに関する多点時系列解析 : システム開発
- B-4-36 可視化技術を用いた放射線管理システムの構築に関する研究
- 決定的抽象プログラムから低水準命令型プログラムを合成する枠組み
- 負制約の等価変換による問題解決の基礎理論
- 区間変数に関する包含制約の等価変換
- 区間変数に関する包含制約の等価変換による問題解決の高速化
- "解なし"問題の抽象化による解法のための基礎理論
- 論理プログラムの準同型定理に基づく "解なし" 問題の解法
- 準同型変換による抽象化を用いたプラニング
- 物体実画像を用いた3次元モデル復元に関する考察(映像メディアおよび一般 : インターネット, デジタル放送, マルチメディア, 三次元画像, 視覚と画質評価, ITS等)
- 物体実画像を用いた3次元モデル復元に関する考察
- 物体実画像を用いた3次元モデル復元に関する考察
- D-11-9 劣化型データ埋め込み法におけるハッシュ関数を用いた秘密情報の安全性の強化(D-11. 画像工学A(画像基礎・符号化), 情報・システム2)
- 可逆的データ埋め込み技術を用いたDRM技法
- 可逆的データ埋め込み技術を用いたDRM技法(符号化II, ITS画像処理, 映像メディア及び一般)
- 可逆的データ埋め込み技術を用いたDRM技法(符号化II, ITS画像処理, 映像メディア及び一般)
- M-017 加速度センサを用いた手の動きの認識(M.ネットワーク・モバイルコンピューティング)
- J-039 DRM技法のためのデータ埋め込み技術(J.グラフィクス・画像)
- J-038 フレネル変換の距離パラメータの変化による透かし画像への攻撃(J.グラフィクス・画像)
- D-11-130 電子透かし技法の認証システムへの応用の検討
- DSP2000-67 / SST2000-26 画像圧縮におけるフレネル変換を用いたカラー画像電子透かし法
- DSP2000-66 / SST2000-25 DCT係数の平均値を利用した電子透かしの埋め込み方法
- DSP2000-67 / SST2000-26 画像圧縮におけるフレネル変換を用いたカラー画像電子透かし法
- DSP2000-66 / SST2000-25 DCT係数の平均値を利用した電子透かしの埋め込み方法
- D-11-45 フレネル変換による電子透かし法の検討
- フーリエスペクトルの回転による2次元図形のモーフィングの検討
- フーリエ変換法による3次元図形のモーフィングの検討
- フーリエ変換法による2次元図形のモーフィングの検討
- フレネル変換法による2次元図形のモーフィング
- 手話を伝送する知的通信のためのアニメーション画像合成法
- 3次元物体記述用言語とその応用
- シルエットに基づく階層的アスペクトグラフ
- 3次元自由曲面に対する階層的記述の生成
- 多重解像度における構造変形規則を用いた三次元自由曲面の階層化
- 3次元形状に対するScale Space Filteringと階層的記述の生成 : 情報ディスプレイ無線・光伝送画像通信システム画像応用
- 複数参照画像を用いたイメージベースド法による3次元復元(映像メディアおよび一般 : インターネット, デジタル放送, マルチメディア, 三次元画像, 視覚と画質評価, ITS等)
- 複数参照画像を用いたイメージベースド法による3次元復元
- 北海道統合通信網におけるPC-USAT方式の衛星回線有効利用率の向上と稼働率改善のための検討
- 北海道統合通信網における簡易衛星回線制御方式の一提案と実験的検討
- 北海道統合通信網におけるPC-USAT方式の衛星回線有効利用率の向上と稼働率改善のための検討
- 北海道統合通信網における簡易衛星回線制御方式の一提案と実験的検討
- 北海道統合通信網におけるM^2PC-USAT方式の2地球局間折り返しインターフェースの設計と衛星経由総合実験
- 北海道統合通信網におけるM^2PC-USAT方式の2地球局間折り返しインターフェースの設計と衛星経由総合実験
- 円筒状屈折媒質中の音線軌跡と集束性の理論的考察
- 6Q-6 自己組織化マップを用いた動径基底関数ネットワークの構築(ニューラルネット(2),学生セッション,人工知能と認知科学)
- 細分割曲面に対する電子透かしの研究(映像メディア及び一般)
- 細分割曲面に対する電子透かしの研究(映像メディア及び一般)
- 光線の到来方向を考慮したZバッファによる計算機合成ホログラムの高速隠面処理法(3次元映像情報メディア技術)
- 屈折現象を考慮した計算機合成ホログラムの計算法(コンピュータグラフィックス)
- A-14-9 漫画的似顔絵の作成方法についての検討(A-14. ヒューマンコミュニケーション基礎)
- D-11-48 非言語コミュニケーション為のチャットシステムに対する検討
- ET2000-41 異国間コミュニケーションにおけるCG化身話利用
- 日常生活空間における視点映像の階層的セグメンテーション
- D-12-186 日常生活における動作履歴の記録手法
- F-029 自己組織化マップを用いた動径基底関数ネットワークの性能評価(F分野:人工知能・ゲーム,一般論文)
- E-042 符号誤り訂正を用いた携帯端末向け日本語入力手法の有効性について(E分野:自然言語・音声・音楽,一般論文)
- E-041 携帯電話での文字入力における誤り自動訂正手法の性能評価(E分野:自然言語・音声・音楽,一般論文)
- G-010 遺伝子発現データを用いた病理診断における遺伝子選択手法の提案(生体情報科学,一般論文)
- E-019 ニューラルネットワークを用いた携帯端末向け日本語入力手法の有効性について(自然言語・音声・音楽,一般論文)
- F-012 ワイヤレスセンサネットワークにおけるAnt Colony Optimizationを用いた適用的経路探索(人工知能・ゲーム,一般論文)
- H-026 角度の変化に対応した顔認識手法(H分野:画像認識・メディア理解)
- G-004 損傷したニューラルネットワークにおける再学習法の検討(G分野:生体情報科学)
- 遺伝子発現データを用いた病理診断補助手法(セッション6)
- 遺伝子発現データを用いた病理診断補助手法(セッション6)
- E-012 携帯端末向け日本語入力手法における類似度を考慮した単語変換精度について(E分野:自然言語)
- 一般化論理プログラムによる変換ルールの合成
- H-018 K-meansを用いたArea-basedマッチングによる視差マップノイズの削除(3次元処理・ステレオ,H分野:画像認識・メディア理解)