タブローに基づく論理的帰結発見手続きSOL
スポンサーリンク
概要
- 論文の詳細を見る
論理的帰結式の発見問題は反駁発見問題の一般化問題である。SOL導出法はスキップ規則を導入してモデル消去法を拡張した証明体系であり、論理的帰結式の導出計算法として極めて重要である。本論文ではまず初めにSOL導出法をコネクションタブロー上に再構築し、次にスキップ正規性の条件を導入し、体系の効率化と精密化を図る。更に種々の枝刈り規則を導入して、その完全性を証明する。特にスキップ規則それ自体が有効な枝刈りメカニズムとして働くことを示す。
- 社団法人電子情報通信学会の論文
- 2000-09-18
著者
-
井上 克巳
国立情報学研究所
-
佐藤 健
国立情報学研究所
-
岩沼 宏治
山梨大学大学院医学工学総合研究部
-
佐藤 健
国立情報学研究所:総合研究大学院大学
-
佐藤 健
北海道大学大学院工学研究科
-
岩沼 宏治
山梨大学 大学院 医学工学総合研究部
-
井上 克巳
神戸大学工学部
-
井上 克巳
神戸大学 工学部
関連論文
- マルチエージェントシステムにおける論理プログラミング(論理に基づく推論研究の動向)
- アブダクションとインダクション(論理に基づく推論研究の動向)
- 解集合プログラミング(論理に基づく推論研究の動向)
- SMT:個別理論を取り扱うSAT技術(最近のSAT技術の発展)
- SATソルバーの基礎(最近のSAT技術の発展)
- 特集「最近のSAT技術の発展」にあたって(最近のSAT技術の発展)
- SMT : 個別理論を取り扱うSAT技術
- 特集「最近のSAT技術の発展」にあたって
- 特集「論理に基づく推論研究の動向」にあたって
- WEB検索高度化のためのアンサンブル学習に基づく訓練事例の精錬 (人工知能と知識処理)
- 画像のグルーピングとグループ間類似度に基づく主観的類似検索(:ビジュアルデータベース)
- 情報利得基準に基づく系列データマイニングによるイベント系列コーパス作成実験 (特集 「知見の創出を目指した情報技術」および一般)
- 競合状況における投機的計算の導入に関する考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- マルチモーダルユーザインターフェースを備えた高次コミュニケーション空間の構築に関する研究開発通信放送機構委託研究(1997-2001)
- マルチエージェントシステムにおける論理プログラミング
- 論理に基づく人工知能の法学への応用
- アブダクションとインダクション
- 分散並列型SATソルバにおける探索空間の分割手法の提案
- 検索隠し味の半自動生成を目的とした訓練データの精製(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
- 系列パターンマイニングにおけるアイテム集合間の関連強度による頻出部分系列の絞込み(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
- SOLにおけるタブ口証明反転法とその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- 極小限定モデルの解集合プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- 先行投機的計算の論理的定式化(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)(本文無し)
- 複数のSATソルバを用いたジョブショップスケジューリング問題の解法(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- 補題再利用によるSATプランニングの高速化(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 優先的解集合の論理プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- [招待論文]結論発見手続きとその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 一般節理論における解釈からの学習に関する一考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 投機的計算によるSATプランニングの効率改善に関する研究(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 解集合プログラミング
- 論理プログラミングから解集合プログラミングへ(論理と推論技術の展開)
- CF帰納法の効率的実装とパスウェイ推論への応用 (特集「知識発見の諸科学への応用」および一般)
- PrologからJavaへのトランスレータ処理系とその応用
- CF帰納法の理論的再構築について(「自動化:推論,発見,学習,データマイニング」及び一般)
- 極小限定を用いた帰納推論
- 効率的なSATプランニングとSATスケジューリングのための補題再利用(「自動化:推論,発見,学習,データマイニング」及び一般)
- ペナルティ関数法によるSAWフィルタのロバスト最適設計
- 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(セッション : 社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
- CF帰納法における一般化に関する考察第2報(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
- メッセージ通信を用いた分散型結論発見(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
- 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
- CF 帰納法における一般化に関する考察:第2報(一般(知識処理), 「社会システムにおける知能」及び一般)
- 変分ベイズ法を用いたモデル構造探索に基づく抽象的単語の学習(人工知能,認知科学)
- 設計議事録に対する主題遷移解析に基づく動的文脈生成機構
- ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習(テーマ関連セッション1)
- ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習
- WEB検索高度化のためのアンサンブル学習に基づく訓練事例の精錬(「Webインテリジェンス」及び一般)
- メッセージ通信を用いた分散型結論発見(一般(知識処理), 「社会システムにおける知能」及び一般)
- HPSGを用いた楽曲の和声解析(セッション7 : モデルと文法)
- グルーピング規則適用を改良したGTTMの実装(セッション7 : モデルと文法)
- ダイアグラムに基づく法的論争支援システム
- アフォーダンス理論による人工技能への接近 : 記憶と身体性
- 今西進化論に基づく遺伝アルゴリズムによるモジュール配置問題の多様な最適解の探索
- 今西進化論に基づく遺伝アルゴリズムによる多様なパレート最適解の抽出法 - 多目的資源分割問題を実例として -
- ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習(テーマセッション(1),CVのためのパターン認識・学習理論の新展開)
- 語の吸引力に基づく主題遷移解析と視覚化(情報可視化,テキスト情報の要約と掲示に関わる自然言語処理シンポジウム及び一般)
- 文書における語の共起依存性に基づく主題の視覚化 (テーマ:特集 「感性とインタラクション」および一般)
- Eighteenth International Joint Conference on Artificial Intelligence(IJCAI-2003)(会議報告)
- 論理コンピューティング(知能コンピューティングとその周辺〔第10回〕)
- (3)推論, プランニング(会議報告)
- 会議報告 IJCAI-01
- 論理プログラムの解集合意味論に関する証明系(「定理証明, 推論関係の新技術」)
- 共起依存度を用いた語彙連鎖に基づく連想的情報断片探索手法 (人工知能基礎論研究会(第53回)特集「シナリオ創発の科学へ向けて」および一般演題) -- (セッション(2)知識発見と情報視覚化)
- 第13回欧州人工知能会議報告
- CF帰納法における一般化に関する考察
- UMLクラス図の論理プログラミングへの変換によるデバッグについて (テーマ:特集「スキルサイエンス」および一般)
- 人工知能への論理的アプローチにおける学習(機械学習,それが人に及ばざる理由)
- 双対化を用いた新しい極大頻出アイテム集合の計算(「21世紀の知識情報科学に向けて」,及び一般)
- エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
- DL : Description Logics(「哲学とAIにおける対象世界モデリング」〔第6回〕)
- アブダクションによる極小限定プリファレンスの発見
- 特集「定理証明, 推論関係の新技術」にあたって
- 拡張論理プログラムへの意味論的関係に基づく変換による優先順位付き極小限定の計算
- タブローに基づく論理的帰結発見手続きSOL
- Ripple Down Rules法における近傍事例の積極的活用に関する検討
- 0-1整数計画法を用いた優先順位付き極小限定における極小モデルの計算
- 不完全通信環境下におけるアブダクションによる投機的計算 (テーマ:「インターネットとAI」及び一般)
- 画像特徴量空間から類似性空間への写像を利用した類似画像検索
- 記号処理の現在-論理による知識表現と推論
- アクション言語Aにおける行動規則の学習
- 非決定性アクション言語NA上のプランニング手続き
- 投機的計算を行う協調型マルチエージェントシステムの構築に関する一手法 (小特集 使えるAI基礎技術)
- ユーザの嗜好を取り入れた文書評価を行うWeb上の情報検索 (小特集 使えるAI基礎技術)
- 補題の利用による効率的なSOL導出の実現
- 全域仮説論理プログラミングに基づくプラン修正メカニズムについて (テーマ:特集「宇宙とAI」および一般)
- 整数計画法を用いた優先順位付き極小限定の極小モデルの計算
- アクション言語Aにおける行動規則の学習
- 極小変更論理仕様のデフォルト論理による計算手法について (論理と学習)
- 第5回環太平洋人工知能国際会議(PRICAI '98)報告
- CBRによる概念学習の単調関数を用いた解析
- 事例ベース推論における動的類似性の仮説論理プログラミングによる実現
- プランニンググラフとSATプランニング(「プランニング技術の進展と新たな応用展開」)
- isAI 2011報告
- 「SATソルバー」(私のブックマーク)
- モデル生成を用いた代謝ネットワークにおける極小活性パスウェイの列挙
- O-041 システムズ・レジリエンス(サービス・クラウド,O分野:情報システム)
- 多目的分散制約最適化問題における厳密/非厳密解法の提案(理論,ソフトウェアエージェントとその応用論文)
- 分散制約最適化問題 : 擬似木に基づくハイブリッド型の解法の提案(理論,ソフトウェアエージェントとその応用論文)
- N-016 サイバーセキュリティ問題の分散型多元制約最適化によるモデル化と解法(N分野:教育・人文科学,一般論文)