Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
We investigate the issue of stalling in the LogP model. In particular, we introduce a novel quantitative characterization of stalling, referred to as δ-stalling, which intuitively captures the realistic assumption that once the network's capacity constraint is violated, it takes some time (at most δ) for this information to propagate to the processors involved. We prove a lower bound that shows that LogP under δ-stalling is strictly more powerful than the stall-free version of the model where only strictly stall-free computations are permitted. On the other hand, we show that δ-stalling LogP with δ=L can be simulated with at most logarithmic slowdown by a BSP machine with similar bandwidth and latency values, thus extending the equivalence (up to logarithmic factors) between stall-free LogP and BSP argued in Bilardi et al. (Algorithmica 24 (1999) 405) and Ramachandran et al. (J. Parallel Distributed Comput. 63 (2003) 1175) to the more powerful L-stalling LogP. © 2004 Elsevier Inc. All rights reserved.
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Basel Shbita, Pengyuan Li, et al.
ESWC 2026
Baihan Lin, Guillermo Cecchi, et al.
IJCAI 2023
Arnold.L. Rosenberg
Journal of the ACM