WEKO3
アイテム
時間論理に基づく障害診断方式に関する一検討
https://ipsj.ixsq.nii.ac.jp/records/126428
https://ipsj.ixsq.nii.ac.jp/records/12642860dc5d0e-e1f9-48eb-9956-8257d0fc0514
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001339912.pdf (168.3 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1994-09-20 | |||||
| タイトル | ||||||
| タイトル | 時間論理に基づく障害診断方式に関する一検討 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | On Diagnostic Reasoning in temporal Domain | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| KDD研究所 | ||||||
| 著者所属 | ||||||
| KDD研究所 | ||||||
| 著者所属 | ||||||
| KDD研究所 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Kokusai Denshin Denwa Co.Ltd. | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Kokusai Denshin Denwa Co.Ltd. | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Kokusai Denshin Denwa Co.Ltd. | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 診断方式については、モデルベース推論に基づく定式化がなされているが、これらは時間を陽に含まない論理であるため、このままでは、過去の事象に関する診断を行なうことができない。一方、状態の時間的変化や時間的制約を直接扱う公理系は時間論理と呼ばれ、これまでに、区間論理・イベント論理など、様々な提案されているが、時間論理を取り入れて診断を行なう論理系については報告されていない。そこで、本論文では、状況の時間的変化に応じた診断が要求される監視・制御などへの応用を目的として、モデルベース推論に基づく診断を行なうReiterの論理系を時間論理を取り入れて拡張した、新たな論理系を提案する。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第49回, 号 人工知能及び認知科学, p. 1-2, 発行日 1994-09-20 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
