エージェント間通信におけるアブダクションによる投機的計算(<特集>マルチエージェント)

スポンサーリンク

概要

• 論文の詳細を見る
• 日本ソフトウェア科学会の論文
• 2003-01-24

著者

• 坂間 千秋

  和歌山大学

• 井上 克巳

  国立情報学研究所

• 佐藤 健

  国立情報学研究所

• 岩沼 宏治

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

• 佐藤 健

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

• 岩沼 宏治

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

• 井上 克巳

  神戸大学工学部

• 井上 克巳

  神戸大学 工学部

• 坂間 千秋

  和歌山大学システム工学部

関連論文

• マルチエージェントシステムにおける論理プログラミング(論理に基づく推論研究の動向)
• アブダクションとインダクション(論理に基づく推論研究の動向)
• アクション言語(論理に基づく推論研究の動向)
• 解集合プログラミング(論理に基づく推論研究の動向)
• SMT:個別理論を取り扱うSAT技術(最近のSAT技術の発展)
• SATソルバーの基礎(最近のSAT技術の発展)
• 特集「最近のSAT技術の発展」にあたって(最近のSAT技術の発展)
• SMT : 個別理論を取り扱うSAT技術
• 特集「最近のSAT技術の発展」にあたって
• 特集「論理に基づく推論研究の動向」にあたって
• 画像のグルーピングとグループ間類似度に基づく主観的類似検索(:ビジュアルデータベース)
• 競合状況における投機的計算の導入に関する考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• マルチエージェントシステムにおける論理プログラミング
• 論理に基づく人工知能の法学への応用
• アブダクションとインダクション
• SOLにおけるタブ口証明反転法とその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• 極小限定モデルの解集合プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• 先行投機的計算の論理的定式化(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)(本文無し)
• 複数のSATソルバを用いたジョブショップスケジューリング問題の解法(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• 優先的解集合の論理プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• [招待論文]結論発見手続きとその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• 一般節理論における解釈からの学習に関する一考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• アクション言語
• 解集合プログラミング
• 論理プログラミングから解集合プログラミングへ(論理と推論技術の展開)
• CF帰納法の効率的実装とパスウェイ推論への応用 (特集「知識発見の諸科学への応用」および一般)
• PrologからJavaへのトランスレータ処理系とその応用
• CF帰納法の理論的再構築について(「自動化:推論,発見,学習,データマイニング」及び一般)
• 極小限定を用いた帰納推論
• 効率的なSATプランニングとSATスケジューリングのための補題再利用(「自動化:推論,発見,学習,データマイニング」及び一般)
• ペナルティ関数法によるSAWフィルタのロバスト最適設計
• 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(セッション : 社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
• CF帰納法における一般化に関する考察第2報(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
• メッセージ通信を用いた分散型結論発見(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
• 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
• CF 帰納法における一般化に関する考察:第2報(一般(知識処理), 「社会システムにおける知能」及び一般)
• 変分ベイズ法を用いたモデル構造探索に基づく抽象的単語の学習(人工知能,認知科学)
• 設計議事録に対する主題遷移解析に基づく動的文脈生成機構
• ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習(テーマ関連セッション1)
• ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習
• メッセージ通信を用いた分散型結論発見(一般(知識処理), 「社会システムにおける知能」及び一般)
• HPSGを用いた楽曲の和声解析(セッション7 : モデルと文法)
• グルーピング規則適用を改良したGTTMの実装(セッション7 : モデルと文法)
• ダイアグラムに基づく法的論争支援システム
• アフォーダンス理論による人工技能への接近 : 記憶と身体性
• 今西進化論に基づく遺伝アルゴリズムによるモジュール配置問題の多様な最適解の探索
• 今西進化論に基づく遺伝アルゴリズムによる多様なパレート最適解の抽出法 - 多目的資源分割問題を実例として -
• ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習(テーマセッション(1),CVのためのパターン認識・学習理論の新展開)
• 語の吸引力に基づく主題遷移解析と視覚化(情報可視化,テキスト情報の要約と掲示に関わる自然言語処理シンポジウム及び一般)
• 文書における語の共起依存性に基づく主題の視覚化 (テーマ:特集 「感性とインタラクション」および一般)
• 事例を用いたセルオートマトンのルール生成 (小特集:「Semantic Webとインテリジェントコンテンツ」および一般)
• 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分野:教育・人文科学,一般論文)

もっと見る 閉じる

スポンサーリンク