A Research On Players' Bounded Rationality In Game Logic

Game logic ,which belongs to the action logic, is a new interdisciplinary subject intersected with game theory and logic. The main research of the game logic is on some problems about inference emerged from players'interaction. When they conduct prediction-decision inference,maximizing their own benefits,the players tend to be restricted by their cognitive ability,which is so-called"players'bounded rationality". Generally, players'bounded rationality is limited by game information,prediction-decision criteria and logical inference ability. In the completely static information games,players'benefits are the common knowledge for players. In such case, players'rationality is limited by their game knowledge background,such as players'prediction-decision criteria,we would give some simple players'prediction-decision criteria and give their formalization in our logic system. At same time,players'rationality is also limited by their logical inference abilities ,including whether players could obtain the result from inferring and infer the limitation of affordable resources. We can define the complexity of inference of a sequence of thoughts in the Gentzen-style system,and apply it to the measurement of players'logical inference ability and the capture of the bounded rationality of players'logical inference in game logic.