論理プログラムの準同型定理に基づく "解なし" 問題の解法
スポンサーリンク
概要
- 論文の詳細を見る
本論文では, 論理プログラムと問い合わせで記述された問題に解がないことを示す "解なし" 問題を抽象化によって解決する枠組を提案し, その理論的基礎を与える. 基礎となるのは, 論理プログラムの間の準同型写像であり, 本論文の抽象化は準同型写像による変換として与えられる. 準同型写像で結びつけられた2つの論理プログラムの宣言的意味の間の関係を捉える準同型定理を与え, それに基づいて, "解なし" 問題を抽象化によって解く方法の正当性を証明する.
- 社団法人電子情報通信学会の論文
- 1997-09-18
著者
-
馬淵 浩司
岩手県立大学ソフトウェア情報学部
-
宮本 衛市
北海道大学システム情報工学研究科
-
赤間 清
北海道大学情報基盤センター 大規模計算システム研究部門
-
赤間 清
北海道大学情報基盤センター
-
赤間 清
北海道大学
-
馬淵 浩司
北海道大学 工学部 システム情報工学専攻
-
宮本 衛市
北海道大学
関連論文
- 多次元データに対するGAとラフ集合を用いた新たなルール生成アルゴリズム
- 脳波情報及び印象評価結果に基づく音楽コード進行パターン自動生成プログラムの作成
- 移動体通信における遅延情報に基づくユーザ位置管理の効率化(ネットワークプロトコル,次世代社会基盤をもたらす高度交通システムとモバイル通信システム)
- 仮想Newsgroupの導入によるNetNewsの記事探索及び分類について
- Language Embedding に基づくオブジェクト指向言語の型推論
- プロダクションメモリのモジュール構造化機能をもつ適応プロダクションシステム
- 決定的抽象プログラムから低水準命令型プログラムを合成する枠組み
- 負制約の等価変換による問題解決の基礎理論
- 区間変数に関する包含制約の等価変換
- 区間変数に関する包含制約の等価変換による問題解決の高速化
- "解なし"問題の抽象化による解法のための基礎理論
- 論理プログラムの準同型定理に基づく "解なし" 問題の解法
- 準同型変換による抽象化を用いたプラニング
- ω書き換えシステムの準同型定理と到達不可能性
- ω書き換えシステムの準同型定理と到達不可能性
- ω書き換えシステムの準同型定理と到達不可能性
- ω書き換えシステムの準同型定理と到達不可能性
- 文字列領域の問題解決における一階論理表現からのプログラム生成
- 集合表現を含む仕様からのルール生成 (プログラム変換と記号・数式処理)
- 6Q-6 自己組織化マップを用いた動径基底関数ネットワークの構築(ニューラルネット(2),学生セッション,人工知能と認知科学)
- 等価変換による数独パズルの解法
- 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分野:自然言語)
- SS2000-17 GIMによるコンポーネントオブジェクトモデル
- SS2000-16 協調主導型エージェントプログラミング
- SS2000-12 Grammatical Evolutionの拡張による構造化プログラムの自動生成
- GIMによる並行オブジェクトのメッセージ制御機構の実現
- CollaborationとScenarioに基づくエージェントモデル
- オブジェクトの集団的振舞いの動的構成法
- Open System のための Generic Interaction Model
- メタレベルアーキテクチャを用いた抽象実行系の構築
- Genericな相互作用を有する並行計算モデル : GIM
- 分散オブジェクトによる分散制約充足システムの開発
- 分散オブジェクトによる分散制約充足システムの開発
- 並行オブジェクト群による協調動作に対する型の定義
- 並列オブジェクトシステムのモデル化と設計法
- Language Embeddingによる並行オブジェクトモデルの分析 (情報工学専攻創立20周年記念号)
- 分散オブジェクトにおける到着順序に関するメッセージ群の構造化
- 開放系のための協調計算に基づく名前付けモデル (分散オペレーティングシステム)
- 多言語分散環境のための型機構 (オブジェクト指向研究会から)
- 一般化論理プログラムによる変換ルールの合成
- 効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理)
- A Theoretical Foundation for Generation of Equivalent Transformation Rules (Program Transformation, Symbolic Computation and Algebraic Manipulation)
- Unification Algorithm for Obiects with Classes and Substructure
- Declarative Semantics for A Programming Language with Class Hierarchies and Substructure
- 負制約の等価変換による問題解決の基礎理論
- 条件部と実行部を持つ等価変換ルールの自動生成
- 問題仕様からの等価変換ルールの生成
- 問題仕様からの等価変換ルールの生成
- 問題解決のための効率的な等価変換ルールの探索
- 一階論理表現の等価変換を用いた問題解決の正当性
- 等価変換ルールの生成方法の理論的基礎
- 場とイベントによる並列計算モデル : Kamui 88
- 汎用簡易言語として見たインタプリタ言語Laplas
- 等価変換によるナンバーラインの解法
- プログラム変換による自然言語の意味解釈 ( 自然言語処理の実動システム)
- 参照を含む宣言的記述と負参照の等価変換
- 文字列領域における負制約の等価変換の基礎
- 否定を表現する新しい枠組 : 等価変換に基づくアプローチ
- 宣言的プログラムの推論規則
- 等価変換による最小説明発見問題の解法
- 等価変換による仮説推論
- 宣言的プログラムの宣言的意味による仮説推論問題の定式化
- 否定を含む宣言的プログラムのプログラム変換
- マルチキャストを用いたNetNewsの配送方式について
- 分散並列環境のためのファイルシステムについての一考察
- コード生成を知識化したマイクロプログラム生成系
- 論理的問題の等価変換による解法(2) : SLD導出の限界
- 等価変換ルールの探索に基づくプログラム合成
- 等価変換ルールの探索に基づくプログラム合成
- 等価変換ルールの探索に基づくプログラム合成
- 効率的な等価変換ルールを探索する方法
- 型に基づく複合オブジェクトの振舞いの解析
- プロトタイピングのためのオペレーショナルモデルOPM
- ソフトウェアプロセスの基本制御構造
- 宣言的プログラムのプログラム変換ルールの自動生成法
- 分散環境における手続き型言語のループの並列化
- 並行オブジェクトの振舞いの枠組みに基づくプログラミング環境
- 並行オブジェクトの協調動作の振舞い記述
- 意味処理のためのプログラム変換の制御と高速化
- 虫取り支援を目的としたPASCALプログラム実行制御システム
- setof参照による問題解決
- setof参照を用いた宣言的記述からのルール生成
- 条件を満たす項の集合の表現と計算
- 変数代入構造上の等価変換の基礎理論
- 等価変換パラダイムにおける制約充足問題のプログラミング
- 宣言的プログラムのアンフォールド変換
- メタ記述の変換によるアルゴリズム生成の基礎
- 変数と代入のなす構造の定式化
- 無限計算と無限項のための基礎的枠組
- H-018 K-meansを用いたArea-basedマッチングによる視差マップノイズの削除(3次元処理・ステレオ,H分野:画像認識・メディア理解)