Vi presenterar en heuristisk sökalgoritm för att lösa första ordningens MDPs (FOMDPs). Vår strategi kombinerar förstklassig stat abstraktion som undviker att utvärdera stater individuellt, och heuristisk sökning som undviker att utvärdera alla stater. För det första tillämpar vi staten abstraktion direkt på FOMDP undvika propositionalisering. Sådan abstraktion kallas första ordningens statsabstraction. För det andra, ledd av en tillåtlig heurism, begränsas sökandet endast till de stater som kan nås från det ursprungliga tillståndet. Vi demonstrerar användbarheten av ovanstående tekniker för att lösa FOMDPs på ett system, som kallas FCPlanner, som gick in i det probabilistiska spåret av den internationella planeringstävlingen (IPC'2004).
REF utvidgar FOVIA genom att kombinera första ordningens resonemang om åtgärder med en heuristisk sökning begränsad till de stater som kan nås från det ursprungliga tillståndet.
A Heuristic Search Algorithm for Solving First-Order MDPs
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}