| 講演名 | 2003/7/25 インターネットエージェントとその基礎理論(「21世紀の知識情報科学に向けて」,及び一般) 櫟 粛之, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿ではまずインターネットエージェントの背景を説明し、その世界を実現する場合に大きな課題となる問題を指摘する。特に、エージェントプログラムの形式的検証、エージェントシステムの耐故障、エージェントの信頼度計算など、エージェントの信頼性に関わる問題を理論的立場から取り上げ、その中のインターネットエージェント特有の側面を明らかにする。さらにこれらの課題に対するNTTCS研エージェントオープンラボの取り組みについて紹介する。 |
| 抄録(英) | We explain the background of Internet agents and the obstacles to realization of the world of Internet agents. We especially focus on the problem of reliability such as formal verification of agent programs, fault tolerance of agent systems and learning method of the degree of reliance of Internet agents. We also reveal the characteristic aspect of Internet agents on these problems and introduce some results for them given by the agent open laboratory of NTT CS laboratories. |
| キーワード(和) | エージェント / 形式的検証 / 耐故障 / 信頼度 |
| キーワード(英) | Agents / Formal Verification / Fault Tolerance / Degree of Reliance |
| 資料番号 | AI2003-21 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 2003/7/25(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | インターネットエージェントとその基礎理論(「21世紀の知識情報科学に向けて」,及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Internet Agents and their Basic Theories |
| サブタイトル（和） | |
| キーワード(1)（和/英） | エージェント / Agents |
| キーワード(2)（和/英） | 形式的検証 / Formal Verification |
| キーワード(3)（和/英） | 耐故障 / Fault Tolerance |
| キーワード(4)（和/英） | 信頼度 / Degree of Reliance |
| 第 1 著者 氏名（和/英） | 櫟 粛之 / Tadashi ARARAGI |
| 第 1 著者 所属（和/英） | 日本電信電話株式会社NTTコミュニケーション科学基礎研究所エージェントオープンラボ NIPPON TELEGRAPH AND TELEPHONE CORPORATION, NTT Communication Science Laboratories Agent Open Laboratory |
| 発表年月日 | 2003/7/25 |
| 資料番号 | AI2003-21 |
| 巻番号（vol） | vol.103 |
| 号番号（no） | 244 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |