抄録
The Werewolf game is a game with incomplete information in which knowledge about the other players, such as roles assigned to players, is unknown and the game continues with debate about uncertain information or actions taken by players with uncertain beliefs until a win-condition is achieved. Aiming to develop an artificial intelligence that plays the Werewolf game, we consider a logical model for agents with uncertain beliefs based on BDI logic, and present a transformation of logical formulas from BDI logic to first-order logic so as to perform abductive inference on the private information of other players. We also discuss several issues of this approach to be resolved.