定理証明を用いた合理的なエージェント間協調プランニング

スポンサーリンク

概要

• 論文の詳細を見る
• 人工知能学会の論文
• 1999-06-15

著者

• 西山 裕之

  東京理科大学 理工学部 経営工学科 溝口研究室

• 溝口 文雄

  東京理科大学

• 大和田 勇人

  東京理科大学

関連論文

• 1X-5 アクセスモニタとファイルバックアップの統合による自己修復機構の設計(セキュア設計・実装・フォレンジクス,学生セッション,セキュリティ)
• ソフトウェア科学会第5回大会
• 2ZJ-7 肌質変化を考慮した3Dメイクアップシミュレーションの提案と実装(人間行動,障害等支援,学生セッション,コンピュータと人間社会)
• TinyMRL : センサネットワークへのマルチエージェント言語の導入によるセキュアな相互協調システム(分散協調とエージェント)
• 楕円曲線暗号を利用したSPKIによるネットワーク機器用認証システムの設計
• 動的なセキュリティポリシのためのRBACシステムの設計(ネットワークセキュリティ)
• 分散環境におけるプロセス間通信の為の論理型言語GMAL
• 並列論理プログラミングに基づくマルチエージェント言語MRL(マルチエージェント)
• SA-7-5 ソーシャルサービスロボットシステムの設計
• 物理的な協調の交渉のためのマルチエージェントシステム
• 3T-7 情報機器制御のためのWeb-topユーザーインターフェース
• 5N-1 Javaによるイベント認証を用いた機器制御プロトコル
• オフィスのスマート化プロジェクト : その3 : PHSを用いた機器制御
• 制約概念を用いたユーザインタフェース作成支援について
• 座談会 「人工知能研究の現状と問題点」
• 免疫科学者と計算機科学者の対話
• KLICプログラミングコンテスト--並列処理技術への挑戦
• 特集「認知科学」の新潮流について
• 2N-8 Web情報を用いたスケジュール管理支援システムの実装(Web応用,学生セッション,データベースとメディア)
• 4P-3 リフレクションとオブジェクト資源の構造化を組み合わせたJavaの動的なモデル構成(プログラミング言語,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
• 言語理解・意味理解の先駆者田中穂積先生の想い出(7)
• マルチエージェントの提案とその実装言語の設計に関する研究
• 意味処理を導入した機械翻訳について : 融合方式 (機械翻訳)
• 機械翻訳システム開発における諸問題
• 知識ベースにおけるデフォルト推論システムへの接近
• 階層的定性シミュレーションによる因果ネットワークの生成
• 定性推論を組み込んだ医療診断システム
• 1T-5 WebScoreを利用したWebサイト評価及び改善に関する研究(Webデザイン,学生セッション,データベースとメディア)
• 4P-8 生物シミュレーション構築のための確率的構文を導入した論理型言語の提案(プログラミング言語,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
• O-018 インターネットユーザ同士を繋げるカスタムWEBブラウジングシステムの提案と実装(情報システム,一般論文)
• 3ZF-3 ジェスチャーによるロボット操作を可能とするインターフェースの提案と実装(実世界指向,学生セッション,インタフェース,情報処理学会創立50周年記念)
• M-041 携帯端末の性能を考慮した画像処理システムの設計と実装(M分野:ユビキタス・モバイルコンピューティング,一般論文)
• 4Y-4 顔表情識別による聴講者の評価取得システムの設計と実装(顔・人物画像処理(2),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
• 5X-7 画像解析に基づく個人認識を利用したコミュニケーション支援システムの設計(画像処理・認識(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
• 空きCPU時間を活用した地図の再描画手法の提案
• プッシュ配線を利用した教材管理システムの設計
• モデル生成型定理証明による量空間の管理
• 真偽維持概念と定理証明に関する考察
• ATMSを利用した並列制約充足
• ATMSの並列化に関する一提案
• データ依存関系に基づく無矛盾性管理の並列処理方式
• 5P-2 KQMLによる分散制御システムの構築
• 2N-3 オフィス機器間の分散制御用クラスライブラリの開発
• 5M-7 オフィス環境制御用Java-Neuron C トランスレータの作成
• シームレスな分散制御ネットワーク上での自律移動ロボットの構築(その2) : 知的制御ネットワークの構築
• シームレスな分散制御ネットワーク上での自律移動ロボットの構築(その1) : ロボットの知的制御
• F-026 Swingによる視覚化を利用した肝細胞癌再発予測支援(F分野:人工知能・ゲーム,一般論文)
• 安全・安心を確保するためのセキュリティの技術 (特集 セキュリティ)
• 4ZB-3 特定データの保護を目的としたファイルアクセス監視システムの設計と実装(セキュリティ(4),学生セッション,セキュリティ)
• 6Y-2 アドホックネットワークを利用したWebアプリケーション「TRIPS」の提案と実装(ネットワーク応用,学生セッション,ネットワーク)
• 2U-8 エキスパートシステムのための知識ベース編集システムの設計と実装(ゲーム・知識ベース,学生セッション,人工知能と認知科学)
• 4S-7 Web情報を活用する蔵書管理システム : パーソナライズへの適用(SNS,ブログ,ソーシャルWeb,学生セッション,データベースとメディア)
• 化粧品のエキスパートシステム--コンピュータによる化粧品選択の専門家 (特集/化粧品のテクノロジー)
• SSHパスワードユーザ認証の脆弱性とその考察(ネットワークセキュリティ,再考 分散システム/インターネットの運用・管理)
• SSHパスワードユーザ認証の脆弱性とその考察
• WearableEye : ウェアラブルコンピュータによる情報化環境把握のための視覚化システムの開発(モバイルコンピューティング)
• SPAMメール対策システムの提案と実装(情報セキュリティ応用)
• 免疫系によるネットワークセキュリティ
• ユーザ認証付きDHCP(UA-DHCP)の提案と実装(電子社会に向けたコンピュータセキュリティ技術)
• 束縛のタイミングを考慮した認証プロトコルについて
• 制約指向ロボット言語の設計
• 制約充足機構を用いた作業プランナの設計
• 4S-2 インターネットを利用した金融オプション取引エージェント
• 3M-1 MPEG2トランスポートストリームデコーダの実行時間の予測
• Javaによる金融意思決定支援システム(その2) : 実装と評価
• Javaによる金融意思決定支援システム(その1) : システム設計
• 制約論理プログラミングに基づく三次元グラフィックス描画用言語
• 方向付き制約伝播
• 5P-3 移動エージェントに基づくナビゲーションシステムの設計
• 分散環境における金融意思決定支援システムの設計
• Inverting Resolutionの概念を用いた経済定性モデルの学習
• 経済予測のための定性推論
• 2ZJ-7 Web情報処理を用いた拡張現実感システムの設計(AR基礎,学生セッション,インタフェース,情報処理学会創立50周年記念)
• M-010 携帯端末における通信コストを考慮した情報共有システムの設計と実装(M分野:ユビキタス・モバイルコンピューティング,一般論文)
• K-037 視覚情報を用いた双方向コミュニケーション支援システム(K分野:教育工学・福祉工学・マルチメディア応用,一般論文)
• O-016 SNSの情報を利用したRSSフィルタシステムの設計と実装(情報システム,一般論文)
• L-032 ファイルバックアップとアクセスモニタの統合による自己修復機構の設計(ネットワーク・セキュリティ,一般論文)
• F-039 帰納論理プログラミングを用いたWebラッパー自動生成(人工知能・ゲーム,一般論文)
• 3R-6 帰納論理プログラミングを用いたWebラッパー自動生成(学習,学生セッション,人工知能と認知科学)
• 3P-2 書籍情報から得た個人情報のソーシャルネットワークヘの活用(情報管理とシステム,学生セッション,データベースとメディア)
• 2N-6 マッシュアップによる意思決定支援のための地理情報検索システムの設計と実装(Web応用,学生セッション,データベースとメディア)
• 2E-2 ユーザの要望・動作に応じた案内ロボットシステムの設計(ITS,一般セッション,ネットワーク)
• ダイナミックフィルタリングを利用したパーソナルファイアウォールの設計
• ダイナミックフィルタリングを利用したパーソナルファイアウォールの設計
• D-9-12 携帯端末を用い時間と場所情報を考慮した受講生支援システムの提案(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
• 楕円曲線暗号を利用したSPKIによるネットワーク機器用認証システムの設計
• 1A1-F02 エージェント間相互作用によるロボットシステムの構築
• ロボット間協調を容易に実現する並列論理型プログラミング言語の設計
• 4R-5 JavaSpacesを使用したフィジカルエージェントの統合
• オフィスのスマート化プロジェクト : その4 : オフィス機器の分散制御
• 2W-1 Java Beanへのロールの割り当てに基づいた相互作用のオブジェクト化による再利用
• マルチエージェントによる協調ロボットシステム : ロボット言語の設計
• マルチエージェントによる協調ロボットシステム : 協調プランナの設計
• KLICシステムによるマルチエージェントロボットシステム : 実装と評価
• KLICシステムによるマルチエージェントロボットシステム : 作業協調モデルの設計
• 免疫系エージェントによるネットワークセキュリティシステムの設計
• 定理証明を用いた合理的なエージェント間協調プランニング
• タスクレベル協調のためのエージェント間交渉
• マルチロボットのための遠隔制御システム/実験環境の設計
• M-002 スマートフォンにおいて状況推測を用いた電源管理システムの設計と実装(携帯端末アプリケーション,M分野:ビキタス・モバイルコンピューティング)

もっと見る 閉じる

スポンサーリンク