An Improved Multi-agent Epistemic Planner via Higher-Order Belief Change Based on Heuristic Search

2018 ◽  
pp. 102-116
Author(s):  
Zhongbin Wu
Keyword(s):  
Heuristic Search ◽  
Belief Change ◽  
Higher Order ◽  
Multi Agent

scholarly journals A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

2017 ◽  
Author(s):  
Xiao Huang ◽  
Biqing Fang ◽  
Hai Wan ◽  
Yongmei Liu
Keyword(s):  
Normal Form ◽  
Belief Change ◽  
Common Knowledge ◽  
Dynamic Logic ◽  
Higher Order ◽  
Experimental Results ◽  
General Representation ◽  
Multi Agent ◽  
Representation Language ◽  
Contingent Planning

In recent years, multi-agent epistemic planning has received attention from both dynamic logic and planning communities. Existing implementations of multi-agent epistemic planning are based on compilation into classical planning and suffer from various limitations, such as generating only linear plans, restriction to public actions, and incapability to handle disjunctive beliefs. In this paper, we propose a general representation language for multi-agent epistemic planning where the initial KB and the goal, the preconditions and effects of actions can be arbitrary multi-agent epistemic formulas, and the solution is an action tree branching on sensing results.To support efficient reasoning in the multi-agent KD45 logic, we make use of a normal form called alternative cover disjunctive formula (ACDF). We propose basic revision and update algorithms for ACDF formulas. We also handle static propositional common knowledge, which we call constraints. Based on our reasoning, revision and update algorithms, adapting the PrAO algorithm for contingent planning from the literature, we implemented a multi-agent epistemic planner called MAEP. Our experimental results show the viability of our approach.

A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

2021 ◽  
pp. 103562
Author(s):  
Hai Wan ◽  
Biqing Fang ◽  
Yongmei Liu
Keyword(s):  
Belief Change ◽  
Higher Order ◽  
Multi Agent

scholarly journals Reputations for Resolve and Higher-Order Beliefs in Crisis Bargaining

2021 ◽  
pp. 002200272199554
Author(s):  
Allan Dafoe ◽  
Remco Zwetsloot ◽  
Matthew Cebul
Keyword(s):  
Belief Change ◽  
Higher Order ◽  
Future Research ◽  
Order Effects ◽  
Survey Experiment ◽  
Experimental Setting ◽  
Crisis Bargaining ◽  
First Order ◽  
Qualitative Evidence ◽  
Higher Order Effects

Reputations for resolve are said to be one of the few things worth fighting for, yet they remain inadequately understood. Discussions of reputation focus almost exclusively on first-order belief change— A stands firm, B updates its beliefs about A’s resolve. Such first-order reputational effects are important, but they are not the whole story. Higher-order beliefs—what A believes about B’s beliefs, and so on—matter a great deal as well. When A comes to believe that B is more resolved, this may decrease A’s resolve, and this in turn may increase B’s resolve, and so on. In other words, resolve is interdependent. We offer a framework for estimating higher-order effects, and find evidence of such reasoning in a survey experiment on quasi-elites. Our findings indicate both that states and leaders can develop potent reputations for resolve, and that higher-order beliefs are often responsible for a large proportion of these effects (40 percent to 70 percent in our experimental setting). We conclude by complementing the survey with qualitative evidence and laying the groundwork for future research.

(DIS)BELIEF CHANGE AND ARGUED FEED-BACK DIALOG

2005 ◽  
Vol 13 (05) ◽  
pp. 511-538
Author(s):  
LAURENT PERRUSSEL ◽  
JEAN-MARC THÉVENIN
Keyword(s):  
Belief Revision ◽  
Belief Change ◽  
Preference Relation ◽  
Belief State ◽  
Temporal Aspects ◽  
Incoming Information ◽  
Multi Agent

This paper focuses on the features of belief change in a multi-agent context where agents consider beliefs and disbeliefs. Disbeliefs represent explicit ignorance and are useful to prevent agents to entail conclusions due to their ignorance. Agents receive messages holding information from other agents and change their belief state accordingly. An agent may refuse to adopt incoming information if it prefers its own (dis)beliefs. For this, each agent maintains a preference relation over its own beliefs and disbeliefs in order to decide if it accepts or rejects incoming information whenever inconsistencies occur. This preference relation may be built by considering several criteria such as the reliability of the sender of statements or temporal aspects. This process leads to non-prioritized belief revision. In this context we first present the * and − operators which allow an agent to revise, respectively contract, its belief state in a non-prioritized way when it receives an incoming belief, respectively disbelief. We show that these operators behave properly. Based on this we then illustrate how the receiver and the sender may argue when the incoming (dis)belief is refused. We describe pieces of dialog where (i) the sender tries to convince the receiver by sending arguments in favor of the original (dis)belief and (ii) the receiver justifies its refusal by sending arguments against the original (dis)belief. We show that the notion of acceptability of these arguments can be represented in a simple way by using the non-prioritized change operators * and −. The advantage of argumentation dialogs is twofold. First whenever arguments are acceptable the sender or the receiver reconsider its belief state; the main result is an improvement of the reconsidered belief state. Second the sender may not be aware of some sets of rules which act as constraints to reach a specific conclusion and discover them through argumentation dialogs.

A novel approach for adaptive H∞ leader-following consensus of higher-order locally Lipschitz multi-agent systems

2021 ◽  
Vol 395 ◽  
pp. 125749
Author(s):  
Ambreen Basheer ◽  
Muhammad Rehan ◽  
Muhammad Tufail ◽  
Muhammad Ahsan Razaq
Keyword(s):  
Higher Order ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Novel Approach ◽  
Locally Lipschitz ◽  
Leader Following ◽  
Multi Agent

scholarly journals Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities

2019 ◽  
Vol 29 (1) ◽  
pp. 77-107 ◽  
Author(s):  
Dragan Doder ◽  
Nenad Savić ◽  
Zoran Ognjanović
Keyword(s):  
Higher Order ◽  
Upper And Lower Probabilities ◽  
Multi Agent
Sign in / Sign up

Export Citation Format

Share Document