| Item type |
SIG Technical Reports(1) |
| 公開日 |
2021-02-22 |
| タイトル |
|
|
タイトル |
矛盾許容階層確率モデル検査技術を用いた臨床推論・知識検証技法の提案 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Clinical Reasoning/Knowledge Verification Method Using Inconsistency-tolerant Hierarchical Probabilistic Model Checking |
| 言語 |
|
|
言語 |
jpn |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
帝京大学大学院理工学研究科情報科学専攻 |
| 著者所属 |
|
|
|
帝京大学理工学部情報電子工学科 |
| 著者所属 |
|
|
|
帝京大学理工学部情報電子工学科 |
| 著者所属 |
|
|
|
帝京大学理工学部情報電子工学科 |
| 著者所属 |
|
|
|
帝京大学理工学部情報電子工学科 |
| 著者所属 |
|
|
|
帝京大学理工学部情報電子工学科 |
| 著者名 |
山本, ノリコ
Khoo, Nee Kwan
楊, 奕偉
石野, 寛人
神戸, 勢大
上出, 哲広
|
| 著者名(英) |
Noriko, Yamamoto
Khoo, Nee Kwan
Yiwei, Yang
Hiroto, Ishino
Seidai, Kanbe
Norihiro, Kamide
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
本研究では，矛盾許容階層確率モデル検査技術を用いた臨床推論・知識検証技法を提案する．矛盾許容階層確率モデル検査技術は，矛盾許容性，階層性および確率性を扱えるように標準的なモデル検査技術を拡張したものである．本研究で扱う臨床推論および臨床知識は，それぞれ医師が疾患を診断するための思考過程および臨床医学オントロジーなどを基盤として構造化された臨床情報である．本研究では，矛盾許容階層確率モデル検査技術を標準的なモデル検査技術に変換するアルゴリズムを使用する．これにより，矛盾許容性，階層性および確率性を考慮した臨床推論・知識のモデルや対応する検査式を標準的なモデル検査技術で使用されるモデルや検査式に変換することができる．この変換アルゴリズムを用いることにより，臨床推論・知識を標準的なモデル検査器である SPIN，NuSMV および PRISM を組み合わせて検証することが可能になる．本研究では，臨床推論・知識に対するモデル化の具体例を与え，それらを検証する方法を示す．そのような検証の具体例として，簡単な疾患モデルに対する検証例を示す． |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN10505667 |
| 書誌情報 |
研究報告数理モデル化と問題解決（MPS）
巻 2021-MPS-132,
号 2,
p. 1-6,
発行日 2021-02-22
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8833 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-MPS21132002.pdf (412.3 kB)
