Game Logic With Preference And Its Application Of The Law

This paper presents the game logic with preference (GLP). It is to research that the agents who in order to achieve their own preferences how to use the information or assumptions about other players' preferences. The logic allows us to reason about the interactions between the agents with only partial knowledge about their preferences, so it can avoid the unrealistic assumptions of existing analysis methods. Initially, agents do not know other agents' preferences, and we assume that all the agents have the same information about preferences, and then the agents reason about the preferences of other agents and make certain final decisions; This is equivalent to allow us to reason about the consequences of the announcement of information.The article has five chapters. The first chapter gives an informal outline of the relevant knowledge of the game, including the game's constituent elements, the game's basic notions,the game's division, Nash Equilibrium of the game and sub-game perfect Nash equilibrium and so on; the chapter 2 presents the game's formal definition that will be used later, including the game tree, the form of the game, game, pure strategy and the mixed strategy, strategy updates and so on; the third chapter gives out the syntax and semantics of the GLP, axiom system and the proofs of soundness; the fourth chapter describes the GLP's application of the law, and has a detailed, intuitive analysis on the selection of the heritage division and civil disputes solution way by using the GLP. It fully reflects the application value of the GLP; the fifth chapter explains the deficiencies of the articles and the future direction of the relevant research.