International audienceWe study how unsolvable planning tasks can be modified in order to get solvable. We apply Katsuno and Mendelzon's distinction between update and revision and show that (1) the modification of the initial state is an update, (2) the modification of the goal description is a revision, and (3) modifications of the set of actions can be reduced to initial state modification. The input of all three belief change operations being counterfactual statements (instead of boolean formulas), existing belief change operations do not apply as they stand. We show that both the counterfactual statement and the two belief change operations can be captured in Dynamic Logic of Propositional Assignments DL-PA, where we use a variant of Fo...
We present a logical setting that incorporates a belief-revision mechanism within Dynamic-Epistemic ...
AbstractThe Katsuno and Mendelzon (KM) theory of belief update has been proposed as a reasonable mod...
We present a logical setting that incorporates a belief-revision mecha-nism within Dynamic-Epistemic...
We study how unsolvable planning tasks can be modified in order to get solvable. We apply Katsuno an...
We examine several belief change operations in the light of Dynamic Logic of Propositional Assignmen...
It is widely acknowledged that belief revision and belief update are two very different types of pro...
The AGM approach to belief change is not geared to provide a decent account of iterated belief chang...
gabriele.kern-isbernercs.uni-dortmund.de Abstract. This paper makes a foundational contribution to t...
International audienceBelief change within the framework of fragments of propo-sitional logic is one...
AbstractIn this paper we examine ten concrete propositional update operations of the literature. We ...
International audienceA general framework for update-based planning is presented. We first give a ne...
This paper shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent...
Belief revision and belief update are two different forms of belief change, and they serve different...
We present a logical setting that incorporates a belief-revision mechanism within Dynamic-Epistemic ...
AbstractBelief revision and belief update have been proposed as two types of belief change serving d...
We present a logical setting that incorporates a belief-revision mechanism within Dynamic-Epistemic ...
AbstractThe Katsuno and Mendelzon (KM) theory of belief update has been proposed as a reasonable mod...
We present a logical setting that incorporates a belief-revision mecha-nism within Dynamic-Epistemic...
We study how unsolvable planning tasks can be modified in order to get solvable. We apply Katsuno an...
We examine several belief change operations in the light of Dynamic Logic of Propositional Assignmen...
It is widely acknowledged that belief revision and belief update are two very different types of pro...
The AGM approach to belief change is not geared to provide a decent account of iterated belief chang...
gabriele.kern-isbernercs.uni-dortmund.de Abstract. This paper makes a foundational contribution to t...
International audienceBelief change within the framework of fragments of propo-sitional logic is one...
AbstractIn this paper we examine ten concrete propositional update operations of the literature. We ...
International audienceA general framework for update-based planning is presented. We first give a ne...
This paper shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent...
Belief revision and belief update are two different forms of belief change, and they serve different...
We present a logical setting that incorporates a belief-revision mechanism within Dynamic-Epistemic ...
AbstractBelief revision and belief update have been proposed as two types of belief change serving d...
We present a logical setting that incorporates a belief-revision mechanism within Dynamic-Epistemic ...
AbstractThe Katsuno and Mendelzon (KM) theory of belief update has been proposed as a reasonable mod...
We present a logical setting that incorporates a belief-revision mecha-nism within Dynamic-Epistemic...