Kazumi Nakamatsu
兵库县立大学
人类科学和环境学院
日本
Kazumi Nakamatsu教授在日本静冈大学获得工程博士,于日本九州大学获得科学博士。他现任日本兵库县立大学,人类科学和环境学院教授。
他的研究领域包括各种逻辑及其在计算机科学中的应用,尤其是弗协调逻辑的程序注释及其应用。最近他建立了数个弗协调逻辑的程序:ALPSN(标记逻辑程序具有很强的否定),VALPSN(矢量ALPSN),EVALPSN(扩展VALPSN),bf-EVALPSN(EVALPSN前后),将它们应用到多个智能系统,比如以安全验证为基础的铁路联锁控制系统和工序顺序控制。他是超过150篇论文,20个书籍章节,10本书籍的作者,所有出版物均由著名出版社出版。
Kazumi Nakamatsu在许多国际会议,学会中担任主席,也是许多计算机科学领域会议,学会的国际组委会成员。同时他也是许多国际期刊的编辑组成员。他是《基于推理智能系统国际杂志》期刊的主编,该期刊由英国Inderscience出版。他在国际学会、会议、学术组织中作了大量演讲。他获得了多个会议奖项以及论文奖项。他是日本AI协会,日本Facial协会等成员。