| 講演名 | 2003/1/24 先行予測反応システム 程 京徳, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 従来の反応的システムは、外部からの刺激に対して受動的にしか反応できないので、信頼性と安全性から見れば、いつも受け身になっており、災害や攻撃を事前に能動的に自己防衛することができない。本論文は、次世代高信頼性・高安全性システムとして先行予測反応システムを提案し、その構成原理、論理基礎、実現技術、および可能な応用を論じる。先行予測反応システムは、従来の反応的システムに新たにシステムの外部環境変化の数理モデルおよび時間相関論理に基づく先行予測推論エンジンを付け加え、システム内部状態と外部環境の変化を計測、監視しながら、災害や攻撃の兆候を検出し、先行予測推論の結果に基づいて、災害や攻撃による損害をできるだけ未然に防ぐことを目指している。 |
| 抄録(英) | The next generation of reactive systems should be more active and anticipatory than the traditional systems in order to satisfy the requirements of high reliability and high security from advanced applications of reactive systems. This paper proposes a new type of reactive systems, named "Anticipatory Reasoning-Reacting Systems," as a certain class of anticipatory systems. The paper presents the background and motivation to develop anticipatory reasoning-reacting systems, proposes the architecture and logical basis of the systems, and shows their implementation problems and possible applications. |
| キーワード(和) | 反応的システム / 高信頼性システム / 高安全性システム / 先行性 / 先行予測推論 / 時間相関論理 |
| キーワード(英) | Reactive systems / Highly reliable systems / Highly secure systems / Anticipation / Anticipatory reasoning / Temporal relevant logic |
| 資料番号 | AI2002-59 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 2003/1/24(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 先行予測反応システム |
| サブタイトル（和） | |
| タイトル（英） | Anticipatory Resoning-Reacting Systems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 反応的システム / Reactive systems |
| キーワード(2)（和/英） | 高信頼性システム / Highly reliable systems |
| キーワード(3)（和/英） | 高安全性システム / Highly secure systems |
| キーワード(4)（和/英） | 先行性 / Anticipation |
| キーワード(5)（和/英） | 先行予測推論 / Anticipatory reasoning |
| キーワード(6)（和/英） | 時間相関論理 / Temporal relevant logic |
| 第 1 著者 氏名（和/英） | 程 京徳 / Jingde CHENG |
| 第 1 著者 所属（和/英） | 埼玉大学大学院理工学研究科 Graduate School of Science and Engineering,Saitama University |
| 発表年月日 | 2003/1/24 |
| 資料番号 | AI2002-59 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 615 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |