演繹データベースにおける計画型問題の制約緩和解法
スポンサーリンク
概要
- 論文の詳細を見る
近年,論理プログラミングに制約を組み込んだ制約論理プログラミングの研究が盛んになされている.制約とは問題の構成要素間のさまざまな関係を宣言的に記述したもので,線形/非線形方程式,不等式,リストに関する関係式などがあり,問題記述力の向上に役立つ.制約論理プログラミング言語としては,すでにProlog CLP CHIP などが提案されているが,これらの言語では扱う制約を,必ず満たさなければならない制約(要求制約,required comstraint)に特定している.しかし多くの応用(GUI,決定支援,エンジニアリングDBの検索など)では,必ずしも満たさなくても良いができるだけ満たしていて欲しい制約(選択制約,preference constraint)を記述できることが求められる.制約論理プログラミングの特徴である宣言的な記述力をそこなわないためには,これらの選択制約をもそのまま記述できることが望ましい.そこで制約に強さをつけ,その強さによる順序構造として制約の階層を導入することで,選択制約を記述可能にした言語としてHCLPが提案されている.しかしHCLPは他の制約論理プログラミング言語と同様,制約充足のために費やされる計算量が大きいため,大規模で複雑な問題にそのまま適用することはできない.また大規模な問題を扱うためにはデータベースとの効率的な連係が重要になる.本論文では,制約階層を含む論理プログラムで記述された大規模な問題を,効率的に解くことを目的とした手法Fichを提案する本手法の特徴は次の2点である.(1)制約階層を計算に稜極的に和用することで効率的に解を求める計算方法(2)データベースからの論理的な検索を効率的に行なう演繹データベースへの制約階層処理の導入。
- 社団法人情報処理学会の論文
- 1992-09-28
著者
-
篠原 靖志
財団法人電力中央研究所
-
篠原 靖志
(財)電力中央研究所システム技術研究所情報システム領域
-
堤 富士雄
(財)電力中央研究所
-
篠原 靖志
(財)電力中央研究所
-
堤 富士雄
財団法人電力中央研究所
-
篠原 靖志
電力中研
関連論文
- Lampert,C.H., Blaschko,M.B. and Hofmann,T., Beyond sliding windows: Object localization by efficient subwindow search(写真の中から猫をすばやく見つける方法), Proc. IEEE Computer Vision and Pattern Recognition (CVPR), 2008, pp.1-8, 2008
- 自走式点検装置で撮影した架空地線映像からの異常検出手法
- UIST2006参加報告
- 状態監視保全のための設備画像に基づく良否判定基準の自動生成手法--主要な画像特徴の自動抽出手法
- 厨房内で擾乱を起こす調理者行動の大分類
- 通過所要時間に基づく入退所者数の計測
- 電気所構内の監視カメラを用いた侵入者検知方式の実用性評価
- 画像検索と機械学習を組み合わせたビデオ映像認識システム
- 巡視点検ビデオを迅速にデータベース化
- 巡視・点検映像のリアルタイムデータベース化手法(その3)模様の特徴を用いた映像認識手法の高速・高精度化
- 保守訓練支援用バーチャルリアリティシステムの簡易実現
- 遺伝的アルゴリズムを用いたヒートポンプ式給湯機の効率的な運転ルールの探索
- 1-H-7 3時間先電力需要予測手法(企業事例交流会)
- Privacy Preserving Independent Component Analysis (The 8th Workshop on Stochastic Numerics)
- プライバシーを保護した需要データ収集・共用方式の開発(その2)共用可能な需要データ生成方式
- ヒートポンプ式給湯機の最適運転ルール生成手法の開発
- 効率的能動学習のための能動サポートカーネルマシン(人工知能,認知科学)
- プライバシーを保護した需要データ収集・共用方式の開発(その1)需要データ収集・需要特性算出方式
- プライバシーを保護した需要データの収集・公開に関する調査
- ヒートポンプ式給湯機最適構成探索ツールの開発
- 小型コジェネレーション機器の最適運用計画手法の検討(電力のOR)
- 需要の不確実性を前提とした分散型電源の最適運用計画手法の開発
- 独立話題分析 : 独立性最大化による特徴的話題の抽出
- 知的情報検索の応用(「AI技術の産業応用」〔第5回〕)
- 文書検索システムExtractRequestにおける用語分析マップによるフィードバックの評価
- 原田悦子著: 人の視点から見た人工物研究, 共立出版 (1997).
- Fayyard, U. M., et al. : Advances in Knowledge Discovery and Data Mining, AAAI Press/The MIT Press (1996)
- 知識システムの検査検証技術
- 知識整理支援システムCONSIST-II : CONSISTの評価と改良について (特集 : 「発想支援システム」)
- 演繹データベースにおける計画型問題の制約緩和解法
- 88-8 知識のスレシュホールドについて
- 仮説的な推論 : TMS,ATMSとその応用(AIの推論とOR)
- 86-42 物理的システムの振舞いにおける因果関係
- 86-23 アルゴリズム設計の理解と自動化
- 84-34 コンピュータを使わないエキスパートシステム 人工知能における理輪と信頼性
- お節介の発明(編集委員今年の抱負2009:経糸から横糸まで)
- クリティカル・データ特定法による効率的データベース構築手法
- 最近のITとセキュリティ(第4回) : IT応用(その1)
- 電力設備診断,保全における画像利用研究 (特集 設備監視,診断と保守業務における最新技術)
- 電力設備診断における画像利用研究の動向
- 河川上を流れる葉の画像処理による自動カウント手法
- UIST2006参加報告
- (財)電力中央研究所システム技術研究所情報システム領域の紹介(ラボラトリー)
- ダムゲート診断エキスパート・システムとAHP(AHP)
- 高度経営情報システムのパイロットモデル : DEMANDSの開発(DSS : デシジョンサポートシステム)
- 電力・エネルギー関連分野における最近の計測システム(第18回)画像処理技術を応用した監視・計測
- オフィス・家庭用エネルギー機器の最適運用手法の開発
- 技術成果を効果的に伝える表題作成支援手法 : 開発と評価(自然言語)
- タイトルの文型が読者の関心に及ぼす影響の分析
- 技術成果をアピールするための表題作成支援システムの開発
- 表題の表現が読者の関心に与える影響分析
- 開発した技術をアピールする表題のつけ方
- 開発した技術をアピールする表題のつけ方
- 汎用シソーラスを利用した検索用の索引メニュー構成法
- 送電線点検のための空撮映像を使った架空地線の異常検出
- 架空地線空撮映像を用いた電線異常検出システム
- 架空地線空撮映像を用いた電線異常検出システム
- 快適性計測を目指した身体活動計測システムの開発
- 独立話題分析 : 独立性最大化による特徴的話題の抽出
- 独立話題分析 : 独立性最大化による特徴的話題の抽出
- ヒートポンプ式給湯機の汎用ルールの開発--多様な世帯に対して経済的な運転が可能となる汎用ルール
- 文献紹介 Grossman, T., Kong, N. and Balakrishnan, R. : Modeling pointing at targets of arbitrary shapes, Proc. ACM CHI Conference on Human Factors in Computing Systems (CHI 2007), pp. 463-472 (2007)
- UIST2006参加報告
- 地球の軌道を変えたかった園児(編集委員2007年の抱負)
- MOBILE HCI 03参加報告
- 設備点検ビデオのオンサイトデータベース化手法
- 巡視点検ビデオを迅速にデータベース化
- 3時間先電力需要予測手法(リアルタイムデータ分析技術とその応用)
- キーワードを2次元平面に配置する文書検索システム (インタラクティブソフトウェア)
- SearchSpace : 2次元空間へのキーワード配置を用いる全文検索システムのインタフェースと検索エンジン
- 91-3 プログラム変換を用いた, 論理プログラムにおける否定の処理手法
- 巡視点検ビデオを迅速にデータベース化
- 部品合成によるプログラム自動生成システム ARIES/I
- 知識処理分野における自動プログラミングとしての機械学習
- 仮説に基づく推論における目標概念の学習と矛盾の学習との融合
- 節電ボリューム
- ヒートポンプ式給湯機の汎用運転ルールの生成
- 1-E-5 エネルギー需要データ仮想化方式の開発(企業事例交流会(1))