主な論文

基本情報

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

題名 

Dynamic epistemic reasoning with awareness and its legal application

					

					

						

							

								

									
単著・共著の別 

									
								

							

						

						
共著

					

					

						

							

								

									
概要 

									
								

							

						

						
気づき（Awareness）を含む新しいDynamic Epistemic LogicのSemanticsを構築し、その完全性/健全性を示した。また，この論理に基づき，エージェントが外部から情報を得て自身の知識を更新し「考える」モデルを構築し，これを実装するため，これまで開発したコンピュータプログラムを改修した．


					

					

						

							

								

									
発表雑誌等の名称 

									
								

							

						

						
Vietnam Journal of Computer Science Vol.6,

					

					

						

							

								

									
発行又は発表の年月 

									
								

							

						

						
201902