A Dynamic Preference Logic With Issue-Management

The studies on the dynamic preference logic can make great contributions to the development of its related fields like social choice theory, game theory. By combining the preference logic with the issue-management logic, we set up a new dynamic preference logic with issue-management, which connect the ceteris paribus preference and ordinary preference dynamically and explicitly.In chapter 1, firstly we give the language, semantics of axiomatic system of the basic epistemic logic and basic preference logic. Next, we present another modal logic for ceteris paribus preferences understood in the sense of "all other things being equal". Finally we show how it differs from ceteris paribus as "all other things being normal", which is used in contexts with preference defeaters.In chapter 2, we introduce a static logic with issue management. After giving its language and semantic, we further present a dynamic version of the issue-management logic, and present four different model-changing actions as dynamic operators. Then we discuss the multi-agent issue-management logic in public scenario, and give some key reduction axioms.On basis of the epistemic logic and the issue-management logic, we give a new dynamic preference logic with issue-management in chapter 3. We take the issue relations as equivalence relations in the sense of "all other things being equal". By using the nominals and satisfaction operator in hybrid logic we can express two different preferences over objects and propositions at the same level. We can cover the ordinary preference by using the ceteris paribus preference in our logic. After giving the static version of the proof system and completeness, we introduce the dynamic operators and show the completeness of this dynamic logical system.