新出尚之

ニイデナオユキ | Nide Naoyuki

所属機関・部署：
職名：准教授
ホームページURL (1件)： http://www.ics.nara-wu.ac.jp/jp/staff/nide.html

研究分野 (1件)：情報学基礎論

研究キーワード (2件)：自律エージェント , 数理論理学

競争的資金等の研究課題 (4件)：

論文 (108件)：

新出尚之. 非古典論理に基づく自律エージェントの論理モデル. 合同エージェントワークショップ&シンポジウム(JAWS2023)論文集. 2023
Naoyuki Nide, Yuki Goto, Megumi Fujita. Sequent calculus for 3-valued paraconsistent logic QMPT0. Logic Journal of the IGPL. 2019. 27. 5. 507-521
Yuki Goto, Megumi Fujita, Naoyuki Nide. Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents. Journal of Systems Science and Systems Engineering. 2018. 27. 3. 1-18
Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe. Toward a robot that acquires logical recognition of space. Information Engineering Express. 2017. 3. 4. 1-10
Naoyuki Nide, Shiro Takata. Tracing werewolf game by using extended BDI model. IEICE Transactions on Information and Systems. 2017. E100D. 12. 2888-2896

MISC (12件)：

新出尚之. 卒業研究としての自走ロボットへの取り組み. 2023年度中之島ロボットチャレンジシンポジウム. 2024
新出尚之. 奈良女子大学・北陽電機の自律走行ロボットへの取り組み -自律問題解決ロボットの仕組みの構築を目指して-. 2022年度中之島ロボットチャレンジシンポジウム. 2023
新出尚之, 高田司郎, 藤田恵. 拡張BDI論理TOMATOを用いた確率的状態遷移のモデル化とその応用. 研究報告バイオ情報学(BIO). 2010. 2010. 23. 1-9
新出尚之. BDI logic の sequent calculus による演繹体系とマルチエージェント環境への拡張. 博士学位論文 : 内容の要旨及び審査の結果の要旨. 2008. 25. 181-185
小松原美穂, 石川千里, 髙田雅美, 鴨浩靖, 新出尚之, 城和貴. 健康状態の推定を目的とした排便物識別のための一手法. 情報処理学会研究報告数理モデル化と問題解決(MPS). 2007. 2007. 64. 25-28

書籍 (3件)：

講演・口頭発表等 (10件)：

BDI-モデル、アーキテクチャ、論理-
(第5回全脳アーキテクチャ勉強会 2014)
実世界の多様性に適応したBDIロボットについて
(第28回記号論理と情報科学研究集会(SLACS2011) 2011)
汎用的な証明図作成支援ソフトの構築
(第28回記号論理と情報科学研究集会(SLACS2011) 2011)
動的環境におけるBDIエージェント搭載ロボットの動的プランニングによる再行動決定の設計及び実装
(ロボティクスフォーラム2010 2010)
mipl〜make in Prolog〜の設計方針及び実装について
(第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007) 2007)

Works (5件)：

学歴 (3件)：

学位 (1件)：

経歴 (9件)：

全件表示

委員歴 (1件)：

所属学会 (5件)：

IEEE , 人工知能学会 , 日本ロボット学会 , 電子情報通信学会 , 日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

新出 尚之