2006/01/01 by Steven Shapiro, Shapiro, Steven
Computer Science · #Bayesian Modeling and Causal Inference #Belief change #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #noisy sensing #situation calculus. #theories of action
paper · doi:10.4230/dagsemproc.05321.7
openalex publication_date 2006/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, we generalize the framework of Shapiro et al. [2000], where belief change due to sensing was combined with belief introspection in the situation calculus. In that framework, sensing was assumed to be infallible and the plausibilities of alternate situations (i.e., possible worlds) were fixed in the initial state, never to be updated. Here, we relax both assumptions. That is, we model noisy sensors whose readings may stray from reality and may return different values in subsequent readings. We also allow the plausibilities of situations to change over time, bringing the framework more in line with traditional models of belief change. We give some properties of our axiomatization and show that it does not suffer from the problems with combining sensing, introspection, and plausibility update described in Shapiro et al. [2000].