空間制約充足問題の定式化とその解法
スポンサーリンク
概要
- 論文の詳細を見る
レイアウト問題に代表される設計計画問題は人工知能の分野において,制約充足問題と呼ばれており,一般にNP完全であることから特定のアルゴリズムを持たない.これらの問題を解く為の幾つかのテクニックやアルゴリズムが提案されている.レイアウト問題は与えられた制約条件の元で複数のオブジェクトの位置を求める問題であり,これは2次元空間上での間の関係を扱うために,非常に複雑であり,これを解く為には一般に組み合わせ爆発が避けられない.本論文ではこのようなレイアウト問題のあるクラスを制約充足問題の枠組で定式化を行ない,その解法について述べる.
- 一般社団法人情報処理学会の論文
- 1994-09-20
著者
-
大和田 勇人
東京理科大学理工学部経営工学科
-
溝口 文雄
東京理科大学
-
本多 一賀
東京ガス株式会社
-
本多 一賀
東京理科大学理工学部:東京ガス(株)
-
市原 尚久
(株)NTTデータ 技術開発本部 マルチメディア技術センタ
-
市原 尚久
東京理科大学理工学部
-
大和田 勇人
東京理科大学
関連論文
- F-027 ベイジアンフィルタとユーザ認証を組み合わせたspamメールフィルタリング(人工知能・ゲーム,一般論文)
- 1X-5 アクセスモニタとファイルバックアップの統合による自己修復機構の設計(セキュア設計・実装・フォレンジクス,学生セッション,セキュリティ)
- ソフトウェア科学会第5回大会
- 2ZJ-7 肌質変化を考慮した3Dメイクアップシミュレーションの提案と実装(人間行動,障害等支援,学生セッション,コンピュータと人間社会)
- TinyMRL : センサネットワークへのマルチエージェント言語の導入によるセキュアな相互協調システム(分散協調とエージェント)
- 楕円曲線暗号を利用したSPKIによるネットワーク機器用認証システムの設計
- 動的なセキュリティポリシのためのRBACシステムの設計(ネットワークセキュリティ)
- 分散環境におけるプロセス間通信の為の論理型言語GMAL
- 並列論理プログラミングに基づくマルチエージェント言語MRL(マルチエージェント)
- SA-7-5 ソーシャルサービスロボットシステムの設計
- 物理的な協調の交渉のためのマルチエージェントシステム
- 3T-7 情報機器制御のためのWeb-topユーザーインターフェース
- 5N-1 Javaによるイベント認証を用いた機器制御プロトコル
- オフィスのスマート化プロジェクト : その3 : PHSを用いた機器制御
- 制約概念を用いたユーザインタフェース作成支援について
- 座談会 「人工知能研究の現状と問題点」
- 免疫科学者と計算機科学者の対話
- KLICプログラミングコンテスト--並列処理技術への挑戦
- H-034 マルチドメインを持つ遠縁な相同タンパク質の検出手法(H分野:生体情報科学)
- 特集「認知科学」の新潮流について
- 3W-4 アソシエーションルールを用いた電子メールのマルチラベル分類(学習(2),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 1S-4 クチコミ掲示板を対象とした製品評価情報の分類(ソーシャルWeb,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- 言語理解・意味理解の先駆者田中穂積先生の想い出(7)
- 意味処理を導入した機械翻訳について : 融合方式 (機械翻訳)
- 階層的定性シミュレーションによる因果ネットワークの生成
- 定性推論を組み込んだ医療診断システム
- 5L-2 バイトコードによるJava servletプログラムの解析(プログラミング支援環境,学生セッション,ソフトウェア科学・工学)
- 4P-8 生物シミュレーション構築のための確率的構文を導入した論理型言語の提案(プログラミング言語,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 共生進化に基づく帰納論理プログラミングの予測精度の向上
- F-018 造語に特化した固有表現抽出(F分野:人工知能・ゲーム,一般論文)
- F-054 WWWのテキスト情報を利用した関連企業の自動抽出(F分野:人工知能・ゲーム,一般論文)
- 帰納論理プログラミングに基づく順序データからの学習方式
- F-026 Swingによる視覚化を利用した肝細胞癌再発予測支援(F分野:人工知能・ゲーム,一般論文)
- 5ZJ-3 ILPを用いたBCL2ファミリータンパク質の一次構造からのフォールド予測(バイオ情報学,学生セッション,コンピュータと人間社会)
- H_020 モデル植物の購買履歴からの変異体選択支援システム(H分野:生体情報科学)
- H_017 HMMプロファイルの類似性に着目した遠縁の相同体検出手法の提案(H分野:生体情報科学)
- LH_006 Multi-Domain HMMsearch : マルチドメインを持つ遠縁なタンパク質のための相同性検索ツール(H分野:生体情報科学)
- 中間報酬環境へのOn-Line Profit Sharing強化学習法の適用 (「機械学習とその応用」および一般発表)
- F_006 強化学習を用いた株式取引シミュレーション(F分野:人工知能・ゲーム)
- 制約指向ロボット言語の設計
- 制約充足機構を用いた作業プランナの設計
- Javaによる金融意思決定支援システム(その2) : 実装と評価
- Javaによる金融意思決定支援システム(その1) : システム設計
- 5P-3 移動エージェントに基づくナビゲーションシステムの設計
- F-004 重みつき類似度を用いたテキスト分類における判別モデルの改善(人工知能・ゲーム,一般論文)
- 5ZJ-1 大きく変異したマルチドメインタンパク質のためのMDHMMERの改良(バイオ情報学,学生セッション,コンピュータと人間社会)
- 5V-9 学習機能を持った製造工程管理システムの構築(ニューラルネット・学習,学生セッション,人工知能と認知科学)
- 5V-8 ILPを用いたダイス製造プロセスネットワークの学習(ニューラルネット・学習,学生セッション,人工知能と認知科学)
- 1V-4 併買関係に基づく金銭的価値による商品ランキング(学習・推論,学生セッション,人工知能と認知科学)
- 3N-1 HMMERのOpenMPによる並列化(ハイパフォーマンスコンピューティング,学生セッション,アーキテクチャ)
- 複数のWeb Wrapperによる高精度な情報抽出(セッション4:Web応用)
- 複数のWeb Wrapperによる高精度な情報抽出(セッション4:Web応用)
- 複数の Web Wrapper による高精度な情報抽出
- 二段階アプローチによるWeblogからの意見文抽出(情報抽出,特集「Web情報処理」及び一般)
- 二段階アプローチによるWeblogからの意見文抽出 (テーマ:「Web情報処理」および一般発表)
- Inverting Resolutionの概念を用いた経済定性モデルの学習
- 経済予測のための定性推論
- 帰納論理プログラミングを用いたグラフィックデザイン知識の獲得
- 帰納論理プログラミングを用いたグラフィックデザイン知識の獲得
- L-032 ファイルバックアップとアクセスモニタの統合による自己修復機構の設計(ネットワーク・セキュリティ,一般論文)
- F-039 帰納論理プログラミングを用いたWebラッパー自動生成(人工知能・ゲーム,一般論文)
- 3R-6 帰納論理プログラミングを用いたWebラッパー自動生成(学習,学生セッション,人工知能と認知科学)
- 3P-2 書籍情報から得た個人情報のソーシャルネットワークヘの活用(情報管理とシステム,学生セッション,データベースとメディア)
- 4X-4 遠隔教育システムにおける個人適応型システムの設計(学校・教室システム,一般講演,コンピュータと人間社会)
- ILPシステムと属性-値学習システムとの比較検討
- 帰納論理システムを用いたフロアプランの自動生成
- 帰納学習を用いた数値データからの知識獲得
- 帰納学習システムの比較検討と応用可能性
- F-007 編集距離を組み込んだWrapperによるWebからの情報抽出(F分野:人工知能・ゲーム,一般論文)
- 3ZG-3 電子機器制御に関するユーザビリティ向上のためのインターフェース構築(知的活動支援,学生セッション,インタフェース,情報処理学会創立50周年記念)
- 3W-5 誤ラベルデータ検出による半教師有り学習の研究(学習(2),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 1W-4 帰納論理プログラミングにおける関係データベース技術を用いたアルゴリズムの提案(最適化,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 3P-8 Sootを用いた解析コードの挿入による電子商取引システムのユーザーログ生成手法(ソフトウェアアーキテクチャ・設計,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 帰納学習によるしわ画像の分類規則の生成
- 帰納学習を用いた画像分類システムの開発
- 自動配置システムの為の空間配置問題の分類とその解法について
- 空間制約充足問題の定式化とその解法
- 知識ベースを取り入れた制約指向フロアプランニングシステムの設計
- 制約指向フロアプランニングシステムの設計
- 制約論理プログラミングによる衝突回避動作計画
- 制約プログラミングのBundle Price問題への応用
- 把握物体を考慮したロボット動作計画システムの設計
- 空間的制約を用いた障害物回避動作計画
- 空間的制約を考慮した協調ロボット動作計画
- 空間制約を用いた協調ロボット動作計画
- 帰納論理プログラミングと関係データベースの結合
- 帰納論理システムによる発見的学習 : 関係データベースからの帰納的一般化
- 帰納学習を用いた幾何学的制約の獲得
- 帰能学習によるレイアウト設計知識の獲得
- Personalized Mail Agent(その2) : 性能評価
- Personalized Mail Agent(その1) : 設計方針
- 定性的シミュレーションに基づく診断システムの構築法
- KQMLを利用した分散制御方式の検討
- ロボット間協調を容易に実現する並列論理型プログラミング言語の設計
- 実用的な経路計画生成のための時間制約付きヒューリスティック探索
- 2X-1 遠隔学習における演習問題記述のためのスクリプト言語の設計(プログラミング・言語教育,一般講演,コンピュータと人間社会)
- 4X-5 遠隔教育システムにおける効果的な教材検索および表示機能の設計(学校・教室システム,一般講演,コンピュータと人間社会)
- WWW情報の構造視覚化と検索機能の統合(発見科学)
- E-014 不要語除去を用いた商品情報の比較支援システム(検索・質問応答・抽出,E分野:自然言語・音声・音楽)
- E-005 生命医学文献の新たな文献探索システムの開発支援(情報抽出・検索,E分野:自然言語・音声・音楽)