サブエルブラン領域の特定およびモデル生成定理証明への応用(その他の基礎理論)
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,節集合Sに現れる述語および関数の引致ごとに対応するSのエルブラン領域の部分領域(サブエルブラン領域と呼ぶ)を計算するアルゴリズムを提案する.また,節集合Sが充足不能であるための必要十分条件は,Sに現れの各変数にその変数に対応するサブエルブラン領域の要素を代入して得られる基礎節のある有限集合が充足不能であるということを証明する.さらに,提案した手法のモデル生成定理証明への応用について述べ,ベンチマーク問題における実験結果を用いて提案手法の有効性を示す.
- 一般社団法人情報処理学会の論文
- 2004-05-15
著者
-
加藤 昇平
名古屋工業大学大学院工学研究科情報工学専攻
-
伊藤 英則
名古屋工業大学大学院工学研究科情報工学専攻
-
中村 剛士
名古屋工業大学知能情報システム学科
-
何 立風
愛知県立大学情報科学部地域情報科学科
-
巣 宇燕
名古屋産業大学環境情報ビジネス学部
-
川那 宜充
名古屋工業大学知能情報システム学科
-
伊藤 英則
名古屋工業大学知能情報システム学科
-
中村 剛士
名古屋工業大学大学院工学研究科
-
加藤 昇平
名古屋工業大学
-
伊藤 英則
名古屋工業大学
-
中村 剛士
名古屋工業大学
-
中村 剛士
名古屋工業大学工学研究科
-
何 立風
愛知県立大学情報科学研究科
関連論文
- 結び目、自己相似などを用いたグラフィック処理について
- Simple Recurrent Network を用いた感性ロボットのインタラクティブ表情表出
- 関節制御の動的受動化とCPGに基づく二足ロボットの歩容生成
- 感性ロボット ifbot の感情空間を用いた感情遷移に伴う表情変化の主観的影響
- セルフキャリブレーションとNN学習によるカラーテクスチャ物体のレンダリング(一般セッション,光と色の解析・表現とその応用)
- 同調・差別化欲求を持つエージェントモデルによる多種循環型流行の発現
- 遺伝的アルゴリズムによるあやとり図形生成 : 紐デザイン処理(2)
- ネットワーク上のワークステーションを用いた並列仮説推論システム
- ワークステーションクラスタを用いた並列仮説推論システム
- 異機種分散環境上の並列仮説推論システム
- 三次元2値画像における高速ラベル付けアルゴリズム(画像認識,コンピュータビジョン)
- ウイルス進化型遺伝的アルゴリズムにおける感染手法による個体進化の相違に関する一考察
- 関節制御の多重動的受動化を用いた二足ロボットの歩容生成 (特集 電気関係学会東海支部連合大会)
- 楷書オンライン入力からの連筆文字生成法について
- ファジィ・スプライン関数近似による手話テキスト作成の効率化について
- エージェント間通信による人体パーツ追跡の一手法
- 編物操作の記号表現とその可視化への応用
- 3次元紐図形表現方法を用いた編物パターン処理について
- 編物における紐状態の表現方法と編目記号生成システムの作成
- 編目記号生成システムの構成 : 紐図形の認識の編み物デザイン処理への応用
- n-BDDのための節点の動的追加手法 : ロボットの行動則獲得への適用
- 分散知識システムにおける一貫性保持機構について
- 個人生体信号からのマイサウンド生成システムについて
- ロバスト推定を用いた3次元形状の咬合評価のための一手法(画像情報)
- H-055 ニューラルネットと2自由度の回転による3次元物体の局所曲面分類(H分野:画像認識・メディア理解)
- 帰納論理プログラミングを用いた詰将棋ヒューリスティックの帰納
- 帰納論理プログラミングを用いた詰め将棋のルール獲得
- ILPを利用した問題解決のためのヒューリスティクスの獲得
- ILPを利用した問題解決のためのヒューリスティクスの獲得
- 多出力二分決定グラフの Flexible APPLY 交叉を用いた生態分化モデル
- 6S-7 先天的な脳機能局在性を考慮した認知機構のモデル化(遺伝的アルゴリズム・人口生命,学生セッション,人工知能と認知科学)
- 同調遺伝子とミームを用いた性選択モデルにおける循環型流行の発現
- ニューラルネットワークを用いた感性ロボットと人の表情対応付け (特集 感性ロボティクス)
- 対話者好感度に基づく感性会話ロボットの感情生成モデル
- J-045 遠隔コミュニケーションのための感性ロボットと人の表情対応付け(J分野:ヒューマンコミュニケーション&インタラクション)
- J-044 感性ロボットの感情空間を用いた表情変化によるインタラクション効果(J分野:ヒューマンコミュニケーション&インタラクション)
- LJ-011 ベイジアンネットワークを用いた感性会話ロボットのための対話者感情の推定法(ヒューマンコミュニケーション&インタラクション)
- LJ-010 感性ロボットの表情変化による性格付け(ヒューマンコミュニケーション&インタラクション)
- 経験からの知識獲得に基づいたヒューマノイドの運動制御
- 感性ロボットのための感情領域を用いた表情生成
- F_022 ワクチンを考慮したウイルス感染エージェントモデルの提案(F分野:人工知能・ゲーム)
- Efficient Real-Coded Genetic Algorithms with Flexible-Step Crossover
- ロボットの感情表現のための発話・表情表出プランについて
- 感情指定パラメータからの感性ロボットの表情生成
- 色彩パターンと輪郭形状の重み付き類似度を用いた接合判別法
- 輪郭形状の階層表現に基づく接合箇所検出と土器復元への応用
- ロボットの混合感情表出のための表情制御手法(エンタテインメントコンピューティング)
- 破片表面の輪郭形状と色彩パターンのマッチングに基づく土器復元の一手法
- パチンコの数理モデル化, 大当り回数期待値解析, および大当りの波の制御について
- パチンコの数理モデル化, 大当り回数期待値解析, および大当りの波の制御について
- 画像アーカイブ情報からの類似箇所検出技術と考古遺物復元への応用--土器復元システム
- パチンコの数理モデル化について(応用)
- サブエルブラン領域の特定およびモデル生成定理証明への応用(その他の基礎理論)
- 類義語辞書とドキュメントの特性を用いた類似度の獲得(一般 : データマイニングII)
- 類義語辞書とドキュメントの特性を用いた類似度の獲得(一般(データマイニングII))(「社会システムにおける知能」及び一般)
- ロボットを用いた独居高齢者のための生活支援システム(OS6 ロボット・ヒューマンコミュニケーション)
- 拡散律速凝集体の形状特性に着目したサウンド変換の一手法
- 一次元セルオートマトンの時間発展パタンに基づくサウンド変換の一手法
- A Simulation Study on the Form of Fish Schooling for Escape from Predator
- 出生前淘汰による遺伝的アルゴリズムの効率化
- 外敵遭遇時における魚群の行動特性 : 進化計算を用いた群行動のシミュレーションモデル
- 多次元自己回帰モデルを用いた脳波のパワー寄与率についての一検討
- 判別の難易度に基づく類似箇所検出の高速化(21世紀のグループウェア)
- 快・不快感情における脳波のパワー寄与率解析
- PARCAR : コストに基づく並列仮説推論システム
- 5D-7 画像輪郭の接合のための探索制御の一手法
- BDDを用いた仮説推論における高速化の一方法
- 契約ネットプロトコルに基づいたマルチエージェントプランニング
- 帰納学習を使った詰め将棋戦略の獲得
- BDDを用いた仮説推論の並列化の一方法
- 二分決定グラフを用いた仮説推論処理の一手法
- コストに基づく仮説推論における最適解探索の一方法
- コストに基づく仮説推論の並列化について
- コスト付き仮説推論に対する近似解法の一手法
- コスト付仮説推論における最適解探索について
- プログラム解析に基づく仮説推論の高速化技法
- コストに基く仮設推論における最適解探索について
- 不確定論理データベースを対象とした仮説推論
- プログラム解析に基づく仮説推論の高速化技法
- H-037 単眼カメラからの移動物体の3次元位置復元(H分野:画像認識・メディア理解)
- 進化的学習エージェントによる役割分担の発現
- 進化的学習エージェントによる役割分担の創発
- 高齢者音声韻律特徴を用いたHDS-Rスコアとの相関分析 : 音声を用いた認知症の早期スクリーニングをめざして
- 同等ラベル解析に基づく1回走査ラベル付けアルゴリズム
- ラスタ走査型ラベル付けアルゴリズムにおける第一走査の効率化手法(研究速報)
- 連に基づく高速2回走査ラベル付けアルゴリズム
- 高速2回走査ラベル付けアルゴリズム(パターン認識)
- 4U-5 環境変動に対する適応行動と繁殖休眠の進化による渡りの創発(遺伝的アルゴリズム(1),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2W-5 ヒューマノイドロボットによるキネティックチェイン投球運動学習(学習(1),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 3W-9 筋収縮力の能動制御による二足歩行ロボットの降段動作獲得(学習(2),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 運動の知識化に基づく模倣ロボットの運動認識と応用生成
- 関節制御の多重動的受動化を用いた二足ロボットの歩容生成
- 楽譜コンテキストのベイジアンマイニングに基づく自動伴奏付与システム-ユーザの感性的要求に応じた伴奏生成-
- 関節制御の多重動的受動化を用いた二足ロボットの歩容生成
- 運動の知識化に基づく模倣ロボットの運動認識と応用生成
- 音楽ゆらぎ特徴を用いた楽曲印象の推定
- 課題実行時脳血流のベイジアンマイニングに基づく認知機能障害のスクリーニング(福祉情報工学一般,ライフイノベーションのための介護・リハビリ・生活支援技術)
- 課題実行時ｆＮＩＲＳ脳機能計測データのベイジアンマイニングに基づく認知機能障害の３群判別
- 発話状態時間長に着目した対話雰囲気推定
- RE-002 ユーザ感性へのインタラクティブ適応に基づく楽曲推薦システム(音楽情報科学(2),E分野:自然言語・音声・音楽)