Naoyuki NIDE


A Logic for Rational Agents Which Handles Beliefs and State Transitions Probabilistically
Naoyuki NIDE Shiro TAKATA 
Publication:   D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2015/06/01
Vol. J98-D  No. 6  pp. 936-947
Type of Manuscript:  Special Section PAPER (Special Section on Software Agent and Its Applications)
Category: 
Keyword: 
rational agentsBDIprobabilitylogic
 Summary | Full Text(in Japanese):PDF(694.1KB)

An Attempt to Construct Logical Model of Rational Agents Acting in Continuous State Space
Naoyuki NIDE Shiro TAKATA Megumi FUJITA 
Publication:   D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2013/12/01
Vol. J96-D  No. 12  pp. 2939-2950
Type of Manuscript:  Special Section PAPER (Special Section on Software Agent and Its Applications)
Category: 
Keyword: 
agent frameworkrational agentsBDI logicreal world
 Summary | Full Text(in Japanese):PDF(924KB)

Formal Verification Method of Realizing a Commitment Strategy in BDI Architecture
Tadashi ARARAGI Shiro TAKATA Naoyuki NIDE 
Publication:   D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2006/06/01
Vol. J89-D  No. 6  pp. 1213-1224
Type of Manuscript:  PAPER
Category: 
Keyword: 
BDI architectureformal verificationtemporal logiccommitment strategies
 Summary | Full Text(in Japanese):PDF(404.5KB)