| 講演名 | 2024-03-14 倫理的判断へのモデル検査適用の試み 青木 善貴(BIPROGY), 中山 陽太郎(BIPROGY), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 自律的システムは，今後システムの安全を確保するとともに，倫理的な判断を行う必要がでてくると考えられる．形式手法の一つであるモデル検査は，システムの振る舞いを検証するのに有効な手段である．システムの振る舞いと倫理的な判断を結び付けたモデルに対して，モデル検査を適用することにより，複数の倫理的な判断がシステムの振る舞いへ及ぼす影響を明らかにする試みについて説明する． |
| 抄録(英) | |
| キーワード(和) | モデル検査 |
| キーワード(英) | Model Checking |
| 資料番号 | KBSE2023-73 |
| 発行日 | 2024-03-07 (KBSE) |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2024/3/14(から2日開催) |
| 開催地（和） | 沖縄県総合福祉センター |
| 開催地（英） | Okinawa Prefectual General Welfare Center |
| テーマ（和） | ソフトウェア工学全般／知能ソフトウェア工学全般／ソフトウェアサイエンス全般 |
| テーマ（英） | |
| 委員長氏名（和） | 猿渡 卓也(NTTデータ) |
| 委員長氏名（英） | Takuya Saruwatari(NTT Data) |
| 副委員長氏名（和） | 田辺 良則(鶴見大) |
| 副委員長氏名（英） | Yoshinori Tanabe(Tsurumi Univ.) |
| 幹事氏名（和） | 青木 善貴(BIPROGY) / 堀田 大貴(茨城大) |
| 幹事氏名（英） | Yoshitaka Aoki(BIPROGY) / Hiroki Horita(Ibaraki Univ.) |
| 幹事補佐氏名（和） | 田中 昂文(玉川大) / 北村 崇師(産総研) |
| 幹事補佐氏名（英） | Takafumi Tanaka(Tamagawa Univ.) / Takashi Kitamura(AIST) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Knowledge-Based Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 倫理的判断へのモデル検査適用の試み |
| サブタイトル（和） | |
| タイトル（英） | Applying Model Checking to Ethical Judgments |
| サブタイトル（和） | |
| キーワード(1)（和/英） | モデル検査 / Model Checking |
| 第 1 著者 氏名（和/英） | 青木 善貴 / Yoshitaka Aoki |
| 第 1 著者 所属（和/英） | BIPROGY株式会社(略称：BIPROGY) BIPROGY Inc.(略称：BIPROGY) |
| 第 2 著者 氏名（和/英） | 中山 陽太郎 / Yotaro Nakayama |
| 第 2 著者 所属（和/英） | BIPROGY株式会社(略称：BIPROGY) BIPROGY Inc.(略称：BIPROGY) |
| 発表年月日 | 2024-03-14 |
| 資料番号 | KBSE2023-73 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | KBSE-443 |
| ページ範囲 | pp.49-54(KBSE), |
| ページ数 | 6 |
| 発行日 | 2024-03-07 (KBSE) |