A New Epistemic Logic Model of Regret Games

Cui, Jianying; Luo, Xudong; Sim, Kwang Mong

doi:10.1007/978-3-642-39787-5_31

Cited by 6 publications

(2 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The problem of belief change is an active topic in logic, artificial intelligence, and game theory. [1][2][3][4][5][6] It is the process of changing believes when taking into account a new piece of information. There are three types of belief change: expansion, contraction, and revision.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Fuzzy Dynamic Belief Logic System

Jing

Luo

Zhang

2014

Int. J. Intell. Syst.

Self Cite

View full text Add to dashboard Cite

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).

show abstract

Section: Introductionmentioning

confidence: 99%

“…The problem of belief change is an active topic in logic, artificial intelligence, and game theory . It is the process of changing believes when taking into account a new piece of information.…”

Section: Introductionmentioning

confidence: 99%