Based on weighted possible-world semantics, Belle and Lakemeyer recently proposed the
logic DS, a probabilistic extension of a modal variant of the situation calculus with a model of …

In general, an agent may have incomplete and inaccurate knowledge about its environment.
As well, actions may not turn out as intended or may have nondeterministic effects, and …

This article considers defeasible beliefs in dynamic settings. In particular, we examine the
belief projection problem: what is believed after performing an action and/or receiving new …

Belief revision and update, two significant types of belief change, both focus on how an
agent modifies her beliefs in presence of new information. The most striking difference …

A fundamental task in reasoning about action and change is projection, which refers to
determining what holds after a number of actions have occurred. A powerful method for …

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 …

Fundamental to reasoning about actions and beliefs is the projection problem: to decide
what is believed after a sequence of actions is performed. Progression is one widely applied …

We investigate augmenting a theory of belief and actions with qualitative plausibility levels.
Shapiro et al. created a framework for modeling iterated belief revision and update which …

Belief change studies how an agent modifies her beliefs on receiving new information.
However, so far most research on belief change works on beliefs represented in …

Belief revision and update, two significant types of belief change, both focus on how an
agent modify her beliefs in presence of new information. The most striking difference …