講演名 | 2005-01-17 非標準解析に基づくハイブリッドシステムの推論系について(「日本文化と知識処理」及び一般) 中村 勝則, 房岡 璋, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 非標準解析に基づいてハイブリッドシステムの状態を推論するための枠組みについて報告する.これらの枠組みに基づいてハイブリッドシステムの状態について推論するシステムを現在作成中であり, これの基本的な構成についても議論する. |
抄録(英) | We have devised new type of reasoning framework based on Nonstandard Analysis, and also developed experimental reasoning system based on these frameworks. |
キーワード(和) | 非標準解析 / ハイブリッドシステム |
キーワード(英) | Situation Calculus / Transfinite Automaton / Nonstandard Analysis / Hybrid System |
資料番号 | AI2004-65 |
発行日 |
研究会情報 | |
研究会 | AI |
---|---|
開催期間 | 2005/1/10(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
---|---|
本文の言語 | JPN |
タイトル(和) | 非標準解析に基づくハイブリッドシステムの推論系について(「日本文化と知識処理」及び一般) |
サブタイトル(和) | |
タイトル(英) | Reasoning Framework Based On Nonstandard Analysis Handling Zeno Problem in Hybrid System |
サブタイトル(和) | |
キーワード(1)(和/英) | 非標準解析 / Situation Calculus |
キーワード(2)(和/英) | ハイブリッドシステム / Transfinite Automaton |
第 1 著者 氏名(和/英) | 中村 勝則 / Katsunori NAKAMURA |
第 1 著者 所属(和/英) | 立命館大学情報理工学部 Faculty of Computer Science, Ritsumeikan University |
第 2 著者 氏名(和/英) | 房岡 璋 / Akira FUSAOKA |
第 2 著者 所属(和/英) | 立命館大学情報理工学部 Faculty of Computer Science, Ritsumeikan University |
発表年月日 | 2005-01-17 |
資料番号 | AI2004-65 |
巻番号(vol) | vol.104 |
号番号(no) | 548 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |