A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
Belief Update in the pGOLOG Framework
[chapter]
2001
Lecture Notes in Computer Science
In this paper, we show how the pGOLOG framework, which in its original form only accounted for the projection of high-level plans, can be extended to reason about the way the robot's beliefs evolve during ...
the effects of a candidate plan and b) to update their beliefs during online execution of a plan. ...
the updated belief state. ...
doi:10.1007/3-540-45422-5_16
fatcat:6pcuv3e6nff5nfdhxzoqpybsse
Page 1291 of Mathematical Reviews Vol. , Issue 2003B
[page]
2003
Mathematical Reviews
Friedrich, Dietmar Jannach and Markus Zanker, Towards distributed configuration (198-212): Henrik Grosskreutz and Gerhard Lakemeyer, Belief update in the pGOLOG framework (213-228); Falk Hiiffner, Stefan ...
Edelkamp, Henning Fernau and Rolf Niedermeier, Finding optimal solu- tions to Atomix (229-243); Gero Iwan, History-based diagnosis templates in the framework of the situation calculus (244-259): Wojciech ...
Qualitative and probabilistic uncertainty in reasoning about actions with sensing
2004
Non-Monotonic Reasoning
We then formulate the problem of conditional planning in this framework, and we present an algorithm for solving it. ...
This algorithm is based on a reduction to reasoning in description logics, and is shown to be sound and complete in the sense that it generates all optimal plans. ...
belief update. ...
dblp:conf/nmr/IocchiLNR04
fatcat:kudlibgwgnc2vni56ay6bchee4
Robot Controllers for Highly Dynamic Environments with Real-time Constraints
2010
Künstliche Intelligenz
in the READYLOG framework. ...
Though extensions which only update the most important regions at the current time step exist, there are more efficient methods for approximating the belief distribution. ...
doi:10.1007/s13218-010-0041-3
fatcat:ltrvy7pynjbs7joc5exp2khgii