Filters








4 Hits in 3.1 sec

Belief Update in the pGOLOG Framework [chapter]

Henrik Grosskreutz, Gerhard Lakemeyer
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

Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati
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

Alexander Ferrein
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