特集「定理証明, 推論関係の新技術」にあたって

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人人工知能学会の論文
• 2001-09-01

著者

• 佐藤 健

  国立情報学研究所

• 岩沼 宏治

  山梨大学大学院医学工学総合研究部

• 佐藤 健

  国立情報学研究所:総合研究大学院大学

• 岩沼 宏治

  山梨大学工学部

• 佐藤 健

  国立情報研究所

関連論文

• マルチエージェントシステムにおける論理プログラミング(論理に基づく推論研究の動向)
• SMT:個別理論を取り扱うSAT技術(最近のSAT技術の発展)
• SMT : 個別理論を取り扱うSAT技術
• WEB検索高度化のためのアンサンブル学習に基づく訓練事例の精錬 (人工知能と知識処理)
• 画像のグルーピングとグループ間類似度に基づく主観的類似検索(:ビジュアルデータベース)
• 情報利得基準に基づく系列データマイニングによるイベント系列コーパス作成実験 (特集 「知見の創出を目指した情報技術」および一般)
• マルチモーダルユーザインターフェースを備えた高次コミュニケーション空間の構築に関する研究開発通信放送機構委託研究(1997-2001)
• マルチエージェントシステムにおける論理プログラミング
• 論理に基づく人工知能の法学への応用
• 分散並列型SATソルバにおける探索空間の分割手法の提案
• 検索隠し味の半自動生成を目的とした訓練データの精製(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
• 系列パターンマイニングにおけるアイテム集合間の関連強度による頻出部分系列の絞込み(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
• SOLにおけるタブ口証明反転法とその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• 先行投機的計算の論理的定式化(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)(本文無し)
• 補題再利用によるSATプランニングの高速化(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• 投機的計算によるSATプランニングの効率改善に関する研究(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• 効率的なSATプランニングとSATスケジューリングのための補題再利用(「自動化:推論,発見,学習,データマイニング」及び一般)
• 変分ベイズ法を用いたモデル構造探索に基づく抽象的単語の学習(人工知能,認知科学)
• 設計議事録に対する主題遷移解析に基づく動的文脈生成機構
• ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習(テーマ関連セッション1)
• ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習
• WEB検索高度化のためのアンサンブル学習に基づく訓練事例の精錬(「Webインテリジェンス」及び一般)
• HPSGを用いた楽曲の和声解析(セッション7 : モデルと文法)
• グルーピング規則適用を改良したGTTMの実装(セッション7 : モデルと文法)
• Webアクセスログに対する系列データマイニング : ページ滞在時間系列の解析(「さまざまな分野の形式的検証最前線」及びAI一般)
• ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習(テーマセッション(1),CVのためのパターン認識・学習理論の新展開)
• 語の吸引力に基づく主題遷移解析と視覚化(情報可視化,テキスト情報の要約と掲示に関わる自然言語処理シンポジウム及び一般)
• 文書における語の共起依存性に基づく主題の視覚化 (テーマ:特集 「感性とインタラクション」および一般)
• 因果関係抽出を目的としたコンフィデンスに基づく高速系列データマイニング (「生命情報からの知識発見」及び一般)
• 極大系列抽出を目的とする系列包含検査の高速化アルゴリズム(「さまざまな分野の形式的検証最前線」及びAI一般)
• 山梨大学学内情報基盤(YINS)の概要 (第10回学術情報処理研究集会)
• Eighteenth International Joint Conference on Artificial Intelligence(IJCAI-2003)(会議報告)
• リテラルブロック距離に基づく良い学習節の評価と獲得によるSATソルバの性能改善 (特集 「AIの基本問題SATと応用技術」および一般)
• 論理コンピューティング(知能コンピューティングとその周辺〔第10回〕)
• (3)推論, プランニング(会議報告)
• 会議報告 IJCAI-01
• Non-monotone dualization via monotone dualization (特集 「AIの基本問題SATと応用技術」および一般)
• 論理プログラムの解集合意味論に関する証明系(「定理証明, 推論関係の新技術」)
• 共起依存度を用いた語彙連鎖に基づく連想的情報断片探索手法 (人工知能基礎論研究会(第53回)特集「シナリオ創発の科学へ向けて」および一般演題) -- (セッション(2)知識発見と情報視覚化)
• LF-012 単一の長大なデータ系列上の系列パターンの出現尺度とその逆単調性(F. 人工知能)
• 一般講演 単一の長大なテキストデータ系列からの頻出パターンの発見 (ことば工学研究会(第17回)テーマ:物語とコミュニケーション:その性質と生成)
• 第13回欧州人工知能会議報告
• Semantic Model Elimination : Toward Efficient Equality Proving : Extended Abstract
• マルチ移動エージェントシステムにおける記憶情報のピアツーピア通信に基づく大域的最適化
• LL_005 専門検索エンジンの高速半自動生成法(L分野:ネットワークコンピューティング)
• 専門検索エンジンの半自動生成を目的とした類似度に基づくWEB学習データの精製(一般,コミュニケーションとAI及び一般)
• L-083 精錬手法に基づく検索隠し味型専門検索エンジンの半自動構築(L分野:ネットワークコンピューティング)
• F-043 精度保証付きオンライン型高速近似系列マイニング(人工知能・ゲーム,一般論文)
• 時間的差分データの監視を目的とした携帯端末画面への表示システムに関する研究
• 時間的差分データの監視を目的とした携帯端末画面への表示システムに関する研究
• HTML文書の時間的差分の自動検出に関する研究 (テーマ:一般演題及び「webとtext」)
• UMLクラス図の論理プログラミングへの変換によるデバッグについて (テーマ:特集「スキルサイエンス」および一般)
• 人工知能への論理的アプローチにおける学習(機械学習,それが人に及ばざる理由)
• 双対化を用いた新しい極大頻出アイテム集合の計算(「21世紀の知識情報科学に向けて」,及び一般)
• エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
• DL : Description Logics(「哲学とAIにおける対象世界モデリング」〔第6回〕)
• アブダクションによる極小限定プリファレンスの発見
• 特集「定理証明, 推論関係の新技術」にあたって
• F-045 マルチコア環境に向けた高速並列SATソルバの開発(F分野:人工知能・ゲーム)
• マルチコア環境に向け並列SATソルバの開発(「自動化:推論,発見,学習,データマイニング」及び一般)
• 拡張論理プログラムへの意味論的関係に基づく変換による優先順位付き極小限定の計算
• 事例に基づくHTML文書からXML文書への半自動変換 : シリーズ型HTML文書における類似性の利用
• タブローに基づく論理的帰結発見手続きSOL
• Ripple Down Rules法における近傍事例の積極的活用に関する検討
• 0-1整数計画法を用いた優先順位付き極小限定における極小モデルの計算
• 不完全通信環境下におけるアブダクションによる投機的計算 (テーマ:「インターネットとAI」及び一般)
• 画像特徴量空間から類似性空間への写像を利用した類似画像検索
• F-047 イベント時系列マイニングを目的とする新聞記事からの時系列情報に基づく単語抽出(人工知能・ゲーム,一般論文)
• イベント系列マイニングを目的とする新聞記事からの時系列情報に基づく単語抽出 (「生命情報からの知識発見」及び一般)
• 階層パターンの抽出を目指した系列データマイニング(学生セッション,大学のAI・企業のAI)
• 階層パターンの抽出を目指した系列データマイニング(学生セッション,大学のAI・企業のAI)
• 結論発見手続きSOLタブロー法のための多重探索戦略の提案 (特集 「ベイジアン・ネットワーク」および一般)
• F-021 情報量と頻度に基づく系列データマイニングにおける非同期パターンの抽出と効率化(人工知能・ゲーム,一般論文)
• Nelson-Oppen結合手続きの逆伴意法に基づく改良
• 記号処理の現在-論理による知識表現と推論
• エージェントのルール学習におけるGAとGPの特性比較と融合化による性能向上
• エージェントの行動学習問題におけるGAとGPの特性解析とハイブリッド化による性能向上
• 専門語彙テンプレートの自動生成とWebページの自動統合(WWW,テキスト情報の要約と掲示に関わる自然言語処理シンポジウム及び一般)
• 全域仮説論理プログラミングに基づくプラン修正メカニズムについて (テーマ:特集「宇宙とAI」および一般)
• 事例に基づくシリーズ型HTML文書の意味論理構造の自動認識 : HTMLからXMLへの自動変換を目指して
• シリーズ型HTML文書の事例に基づく文書論理構造の自動認識と抽出 (テーマ:一般演題及び「webとtext」)
• 整数計画法を用いた優先順位付き極小限定の極小モデルの計算
• WEB文書の頻出語情報を利用した解答検索システムの構築(一般,コミュニケーションとAI及び一般)
• 近年の一階論理定理証明プログラムの実際
• 共通記号を持つ背景理論の決定手続きの結合法とその効率化について
• LF_006 緩和法に基づく系列データからの頻出部分系列の高速マイニング(F分野:人工知能・ゲーム)
• 背景記事集合の類似度に基づく新聞記事のクラスタリング(一般,テキスト情報の要約と掲示に関わる自然言語処理シンポジウム及び一般)
• 緩和法に基づく時系列データ中からの頻出部分系列の高速マイニング (テーマ:「データマイニングと統計数理」および一般)
• 時系列データ中の頻出部分系列を高速抽出するオンライン近似計算法 (テーマ:「データマイニングと統計数理」および一般)
• 論理プログラムによるゲームのプロトタイプ開発支援ツールGALOPの開発
• LF-002 大規模データ系列中に頻出する部分系列のオンライン抽出アルゴリズム(F分野:人工知能・ゲーム)
• リンク元コンテキストを用いたWEB文書の最重要箇所の同定法
• マルチエージェントシステム分散協調問題における時間遅れと知識量の関係
• 利己的なマルチエージェント群の分散協調における時間遅れの影響
• 極小変更論理仕様のデフォルト論理による計算手法について (論理と学習)
• 第5回環太平洋人工知能国際会議(PRICAI '98)報告
• CBRによる概念学習の単調関数を用いた解析
• 事例ベース推論における動的類似性の仮説論理プログラミングによる実現
• ハイパーリンク先ページでの重要箇所の同定法:リンク元コンテキストとページ構造の考慮 (特集 「医療及び化学情報マイニング」および一般)
• isAI 2011報告

もっと見る 閉じる

スポンサーリンク