In this paper, we develop a fuzzy dynamic belief revision logic system. In our system, propositions take truth values in a set of multiple fuzzy linguistic terms, which people use in everyday life. And we use a uninorm operator to aggregate the linguistic truth values of the same proposition but drawn from two different rules because uninorms can reflect well that the aggregated result of two somehow negative truth values of the same proposition should be more negative, the aggregated result of two somehow positive ones should be more positive, and the result of a negative one and a positive one is a compromise. In this system, the belief on a proposition is the linguistic truth of the proposition in the most possible world according to the current preference over all possible worlds. In the light of new information, the preference degrees of possible worlds will be updated. Accordingly, the most possible world will be changed to another and thus an old belief on a propositional formula will be changed to the linguistic truth of the proposition in the new most possible world. Moreover, we prove the soundness and completeness of our fuzzy dynamic belief revision system. In addition, we also prove that our belief revision method in fuzzy environment satisfies some relevant ones of standard AGM postulates (named after the names of their proponents, Alchourrón, Gärdenfors, and Makinson).
This paper proposes a logical model of multi-demand bargaining with integrity constraints. We also construct a simultaneous concession solution to bargaining games of this kind and show that the solution is uniquely characterized by a set of logical properties. Moreover, we prove that the solution also satisfies the most fundamental game theoretic properties such as symmetry and Pareto optimality. In addition, by lots of simulation experiments we study how the number of conflicting demands, bargainers' risk attitude, and bargainer number influence the bargaining success rate and efficiency as well as the agreement quality. C 2015 Wiley Periodicals, Inc.
This paper introduces a new logic approach to reason about the dynamic belief revision by extending wellknown Aucher's dynamic belief revision approach to fuzzy environments. In our system, propositions take a valuation in linguistic truth term set, and a belief revision is also in a qualitative way. Moreover, we reveal some properties of our system in epistemic style and do a comparison between our fuzzy belief system with famous AGM postulats.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.