極小限定モデル生成系(さまざまな分野の形式的検証最前線」及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
これ迄, 極小限定に関する理論研究は数多く行われてきたが, 極小限定の効率的実装に関する研究は非常に少なく, ベンチマークも殆んど存在しない.近年, 我々は極小限定を解集合論理プログラミング(answer set programming)で計算する方法を提案すると共に, 提案する方法に基づき優先順位付き極小限定のモデルを計算する極小限定モデル生成系circumを開発した.本論文では, 我々の極小限定モデル生成系circumの基礎理論, 及び, 本システムの使用法と性能評価結果について述べる.計算機実検の結果より, 優先順位付き極小限定のモデル計算時間に関する我々のcircumの性能が, 極小化の優先度の階層数が増加するにつれて, 度々, Janhunenらのシステムの性能を凌駕することを示し, その有効性を確認した.
- 社団法人電子情報通信学会の論文
- 2005-10-14
著者
-
新田 克己
東京工業大学大学院総合理工学研究科
-
若木 利子
芝浦工業大学大学院工学研究科 システム工学部
-
若木 利子
芝浦工業大学システム工学部
-
若木 利子
芝浦工業大学
-
新田 克己
東京工業大学 大学院 総合理工学研究科 知能システム科学専攻
-
新田 克己
東京工業大学
関連論文
- 異文化体験ゲームにおける集団適応エージェントの開発
- 社会的インタラクションに基づくマルチューザ学習エージェント(MULA)(IDEA: 適応のためのインタラクション設計)
- セマンティックWeb推論と議論エージェントシステムとの統合(「自動化:推論,発見,学習,データマイニング」及び一般)
- 階層型研究分野ネットワークで探る学術誌の見えざる専門性把握支援
- Keepawayタスクにおけるマルチエージェントの協調行動の学習(学習1)
- 論議と妥協案発見を含めた交渉支援システムの開発(セッション議論支援)
- 研究分野ネットワークによる学術分野動向の解析と評価 (「Web情報処理」および一般発表)
- アドホックコミュニケーションに基づく口コミ的情報伝播の過程推定 (「Web情報処理」および一般発表)
- 事例に基づく特性をもった論争エージェントの開発(教育システムにおけるプラットホームとコンテンツ開発論文)
- KeyGraphとデータ結晶化を用いた交渉ログからのシナリオ抽出支援システム(人間/コミュニティ活動支援,「Webインテリジェンス」及び一般)
- SVMを利用した小論文の採点支援システム(人間/コミュニティ活動支援,「Webインテリジェンス」及び一般)
- クラスタリングを用いたマルチユーザラーニングエージェント(MULA-C)
- 文献情報に基づく分野間のネットワーク分析(情報抽出,特集「Web情報処理」及び一般)
- ダイアグラムによる交渉の解析 (問題を中心とした学習支援およびスキル支援/一般)
- 文献情報に基づく分野間のネットワーク分析 (テーマ:「Web情報処理」および一般発表)
- 電子掲示板のリンク情報に基づく流行的話題の予測
- 調停トレーニングにおけるアドバイザエージェント
- 地図上の情報推薦システムにおける投稿情報の信頼度
- 2A3-2 調停教育における論争エージェントの開発(2A3 OS:エージェントベース社会システム科学)
- 話者の類似性に基づく会話戦略(コミュニケーションとAI,コミュニケーションとAI及び一般)
- SiG擬似核を用いた自己組織化関数近似モデル
- ウェブベース英単語学習支援システムの提案(教育実践システムと学習評価/一般)
- RoboCup Rescueにおける異種エージェントを考慮したタスク割り当て(セッション3: マルチエージェントと複雑系(2))
- RoboCup Rescueにおける異種エージェントを考慮したタスク割り当て(マルチエージェントと複雑系, 「社会システムにおける知能」及び一般)
- ウェブベース英単語学習支援システムの提案 (教育実践システムと学習評価)
- 人間-エージェント間相互作用 : ユーザビリティとフレキシビリティを目指して
- オンライン調停教育支援システムの類似場面検索機能
- 10209 マルチユーザ学習エージェントによる社会的インタラクション((III),OS15 知能ロボット)
- アドバイスによるマルチエージェント環境への適応(知識工学)
- アドバイスによるマルチエージェント環境への適応
- 判例の構造を利用した判例文書検索(セッション1:構造化文書による検索応用)
- 電子掲示板のリンク情報に基づく流行的話題の発見(コミュニティ形成とデータ知能学, セマンティックWebとソフトウェア工学, 一般)
- Webからの情報を利用した買い物相談エージェント(オフィスアプリケーション・ネットワーキング・マネジメント及び一般)
- 学習プロファイルの類似度に基づくプログラミング教育支援システム (新しいデバイスを用いた学習・教育支援環境/一般)
- 電子掲示板のリンク情報に基づく流行的話題の発見
- 電子掲示板のリンク情報に基づく流行的話題の発見 (特集 「セマンティックWebとソフトウェア工学」および一般) -- (コミュニティ形成とデータ知能学)
- 投稿情報とユｰザプロファイルに基づく地図上の情報推薦システム
- ヒューマンエージェントインタラクションにおける社会性の実現に向けて
- 投稿情報に基づく地図上の情報推薦システム(ソフトコンピューティング及び一般)
- 2つの通信方式を組み合わせたフェロモン情報を用いた車椅子支援
- Web サイト評価基準の抽出と評価の自動化
- ダイアグラムに基づく法的論争支援システム
- 採点ルール学習とその説明機能をもつ小論文の採点支援システム
- モノポリーゲームにおける交渉エージェント(ゲームプログラミング)
- まちづくりにおける地域情報収集システム
- 採点ルール学習とその説明機能をもつ小論文の採点支援システム
- 交差検証誤差逆伝搬法によるランク縮小(人工知能,認知科学)
- 交差検証誤差逆伝播法によるランク縮小
- 大学と人工知能(ワークショップ:今後10年の人工知能,人工知能学会創設20周年記念企画)
- 状態遷移モデルを用いた交渉会話のシミュレーション
- 状態遷移モデルを用いた交渉会話のシミュレーション
- 状態遷移モデルを用いた交渉会話のシミュレーション
- マルチエージェント環境における交渉戦略の獲得
- ネットワーク環境における交渉支援ツール
- ネットワーク環境における交渉支援ツール
- ネットワーク環境における交渉支援ツール
- 特集「論理と推論技術の展開」の編集にあたって
- Webページ集合からのWebページのコンテンツと構造を用いたクラスタリングによるトピックマップの抽出
- Webページ集合からのWebページのコンテンツと構造を用いたクラスタリングによるトピックマップの抽出 (「Web Intelligence」および一般発表)
- 「HAI : ヒューマンエージェントインタラクション」にあたって(HAI : ヒューマンエージェントインタラクション)
- SVMを利用した小論文の採点支援システム(人間/コミュニティ活動支援,「Webインテリジェンス」及び一般)
- 調停支援システムのための事例の分析(セッション1 : メディア分析・要約・高度変換)(テーマ:デジタルコンテンツの管理と応用)
- 仲介エージェントを用いた論争支援システム(「次世代Web技術とディジタルエンタープライズ」及び一般)
- 座談会 : AIと電子商取引の展望(AIの観点から見た電子商取引の将来像)
- セマンティック Web 推論と議論エージェント推論の統合
- 不偏尤度逆伝搬学習(生体信号の計測と解析,一般)
- 不偏尤度に基づく階層モデルの統計的学習
- データ結晶化を用いた対話ログの時系列解析
- フレッシュマンのための人工知能研究交流会のご案内(イベントだより)
- 法情報学と人工知能(法情報学最前線)
- 特集「法情報学最前線」にあたって
- KeyGraphとデータ結晶化を用いた交渉ログからのシナリオ抽出支援システム(人間/コミュニティ活動支援,「Webインテリジェンス」及び一般)
- Computing argumentation semantics in answer set programming (「スキルサイエンス」「論理プログラミング」及び一般)
- 極小限定モデル生成系(さまざまな分野の形式的検証最前線」及び一般)
- Webからの情報を利用した買い物相談エージェント(オフィスアプリケーション・ネットワーキング・マネジメント及び一般)
- Webからの情報を利用した買い物相談エージェント(オフィスアプリケーション・ネットワーキング・マネジメント及び一般)
- 論文からのプレゼンテーション資料の作成支援
- ルール優先関係を持つ非単調推論の意味論の性質
- 法的論争の支援ツール
- オンライン交渉における擬人化エージェントの表情選択支援(インタラクション,コミュニケーション)
- オンライン交渉における擬人化エージェントの表情選択支援(インタラクション,コミュニケーション)
- 事例に基づく消費者相談の自動回答システム(ディジタルエンタープライズシステム(1))(ディジタルエンタープライズ,及び一般)
- ベイジアンネットを用いた交渉エージェントの表情表出(ロボットとエージェント)(「インタラクション:理論,技術,応用,評価」)
- XML表現に基づくCBRを用いた日常業務支援システム
- エージェントによるクラスタリングに基づく3次元物体モデルの獲得
- 交渉における擬人化エージェントの表情戦略
- 交渉における擬人化エージェントの表情戦略
- 生物DB統合のためのオントロジーと統合検索システムの試作(「次世代Web技術とディジタルエンタープライズ」及び一般)
- 判決文の論理構造のタグ付けツール
- 論文特集「情報論的学習理論(IBIS 2000)」について
- 「AIの観点から見た電子商取引の将来像」の編集にあたって
- 法創造教育のための要素技術(法創造教育と人工知能)
- 2A2-F03 人間とのインタラクションに基づくロボットの社会的知性の構築(ヒューマン・エージェント・インタラクション)
- 裁判員裁判の評議の支援システム (一般セッションと「法と社会のインタフェース」関する特別セッション)
- 論理構造と感情を考慮した議論の解析 (一般セッションと「法と社会のインタフェース」関する特別セッション)
- SPIDAR-tabletを用いた力説による協調学習支援システムの提案(インタフェース技術と学習支援システム/一般)
- 数理議論学の可能性
- 長期のセンサデータに基づくオフィスワーカーの固有行動パターンの獲得とその分析(ライフログ,ライフログ活用技術,オフィス情報システム,情報通信マネジメント,一般)
- 長期のセンサデータに基づくオフィスワーカーの固有行動パターンの獲得とその分析(ライフログ,ライフログ活用技術,オフィス情報システム,情報通信マネジメント,一般)
- 「交渉と合意形成」特集にあたって