その他の研究業績等

基本情報

氏名 後藤　哲史
氏名（カナ） ゴトウ　テツジ
氏名（英語） Tetsuji Goto
所属 健康メディカル学部 医療科学科 臨床工学コース
職名 准教授
researchmap研究者コード
researchmap機関

タイトル・テーマ 

Predictability of Agent in Legal Cases

					

					

						

							

								

									
単著・共著の別 

									
								

							

						

						
共著

					

					

						

							

								

									
発行又は発表の年月 

									
								

							

						

						
201511

					

					

						

							

								

									
発表学会等の名称 

									
								

							

						

						
The 9th International Workshop on Juris-Informatics

					

					

						

							

								

									
概要 

									
								

							

						

						
既存の動的認識の論理(Dynamic Epistemic Logic)を扱うプログラムに、エージェントの知識状態をモデル化したうえで実装し、計算機上で推論を行うプログラムをHaskellにて開発した。また、実際に日本の刑法判例に従い法的推論を行い、その結果について分析した。判例の中でも特に、過失と故意を分ける結果の予見性について論理的に扱える可能性を示した。