FluCaP swMATH ID: 7748 Software Authors: Hölldobler, S.; Karabaev, E.; Skvortsova, O. Description: Flucap: a heuristic search planner for first-order MDPS We present a heuristic search algorithm for solving First-Order Markov Decision Processes (FOMDPs). Our approach combines first-order state abstraction that avoids evaluating states individually, and heuristic search that avoids evaluating all states. Firstly, in contrast to existing systems, which start with propositionalizing the FOMDP and then perform state abstraction on its propositionalized version we apply state abstraction directly on the FOMDP avoiding propositionalization. This kind of abstraction is referred to as first-order state abstraction. Secondly, guided by an admissible heuristic, the search is restricted to those states that are reachable from the initial state. We demonstrate the usefulness of the above techniques for solving FOMDPs with a system, referred to as FluCaP (formerly, FCPlanner), that entered the probabilistic track of the 2004 International Planning Competition (IPC’2004) and demonstrated an advantage over other planners on the problems represented in first-order terms. Homepage: http://www.jair.org/media/1965/live-1965-2984-jair.pdf Keywords: First-Order Markov Decision Processes Related Software: FODD-Planner; ProbLog; CCalc; Graphplan; GOLOG; BLOG; PREGO; Church; Alchemy; NMRDPP; VAMPIRE; IBAL; AgentSpeak; YACS Cited in: 11 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Flucap: a heuristic search planner for first-order MDPS. Zbl 1182.68246Hoelldobler, S.; Karabaev, E.; Skvortsova, O. 2006 all top 5 Cited by 20 Authors 4 Khardon, Roni 3 Joshi, Saket 2 Artikis, Alexander 2 Paliouras, Georgios 1 Belle, Vaishak 1 Boutilier, Craig 1 de Laet, Tinne 1 De Raedt, Luc 1 Givan, Robert L. 1 Hescott, Benjamin J. 1 Hölldobler, Steffen 1 Kersting, Kristian 1 Makris, Evangelos 1 Nitti, Davide 1 Sanner, Scott 1 Skarlatidis, Anastasios 1 Skvortsova, Olga 1 van Otterlo, Martijn 1 Vouros, George A. 1 Wu, Jia-Hong all top 5 Cited in 6 Serials 4 The Journal of Artificial Intelligence Research (JAIR) 3 Artificial Intelligence 1 Machine Learning 1 Annals of Mathematics and Artificial Intelligence 1 ACM Transactions on Computational Logic 1 Frontiers in Artificial Intelligence and Applications Cited in 3 Fields 11 Computer science (68-XX) 4 Operations research, mathematical programming (90-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year