WEKO3
アイテム
ヒューマンファクターを包含する記号論理体系に基づく実時間知的システムの分析
https://ipsj.ixsq.nii.ac.jp/records/137175
https://ipsj.ixsq.nii.ac.jp/records/1371751a1cb9e5-8d70-42f0-a6dd-8cb1f873ff7b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00005006553.pdf (229.9 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2008-03-13 | |||||
| タイトル | ||||||
| タイトル | ヒューマンファクターを包含する記号論理体系に基づく実時間知的システムの分析 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | Analysis of Time-Concerned Intellectual Systems based on a Symbolic-Logical System involving Human Factor | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 筑波大学 | ||||||
| 著者所属 | ||||||
| 常磐大学 | ||||||
| 著者所属 | ||||||
| 常磐大学 | ||||||
| 著者所属 | ||||||
| 埼玉短期大学 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| University of Tsukuba | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Tokiwa University | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Tokiwa University | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Saitama Junior College | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | NΣラベル付カルキュラスは,外部の物理的または論理的現象を制御する人間またはコンピュータプログラムの,時間に依存して変化する知識・信念およびそれに基づく決定を記述・分析・検証する形式的体系である.この体系で,信楽高原鐡道列車衝突事故およびJAL焼津沖ニアミス事故の論理的分析を行う.これらは連続系を制御するシステムであり,誤解や誤認識をもつヒューマンファクターを内包している.これらの例を分析することにより,人工知能と,プログラムが制御する外部環境およびヒューマンファクターの関係についての研究が行われる. | |||||
| 論文抄録(英) | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | NΣ-labeled calculus is a formal system in order to describe time-concerned recognition, knowledge, belief and decision of humans or computer programs together with related external physical or logical phenomena. Formal verification and analysis of the Shigaraki Kougen Railway accident and the JAL near miss accident in this formalism will be presented as examples of cooperating systems controlling continuously changing objects including human factor with misunderstanding or incorrect recognition. Through these examples, relationship among artificial intelligence, external environment and human factors will be investigated. | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第70回, 号 人工知能と認知科学, p. 37-38, 発行日 2008-03-13 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
