研究者情報 | 神奈川大学

タケヤマ　マコト Takeyama Makoto 武山　誠所属神奈川大学理学部情報科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	2011
形態種別	その他論文
標題	対話ゲームによるD-Caseの妥当性及び正当性の統一的証明法の検証
執筆形態	共著
掲載誌名	ディペンダブルシステムワークショップ＆シンポジウム2011
掲載区分	国内
著者・共著者	木藤浩之, 武山誠
概要	開放系システムのディペンダビリティを視覚的に記述することを可能とする言語であるD-Case がDEOSプロジェクトで開発されている．しかし，D-Case はディペンダビリティの把握，分析，向上において必須の要素である既存のディペンダビリティに対する批判や反論を考慮しない．本発表では，非単調論理に背景を持つ議論及び対話の観点から，D-Case で記述されるゴールが証拠によって適切に立証されているという意味でのD-Case の妥当性，及びD-Case に現れるすべての命題が反論に耐えうるという意味でのD-Caseの正当性を統一的に証明する方法を検討する．