Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin

PosterID: 9 PDF Slides BibTeX

We address two central notions of fairness in the literature of nondeterministic fully observable domains. The first, which we call stochastic fairness, is classical, and assumes an environment which operates probabilistically using possibly unknown probabilities. The second, which is language-theoretic, assumes that if an action is taken from a given state infinitely often then all its possible outcomes should appear infinitely often (we call this state-action fairness). While the two notions coincide for standard reachability goals, they diverge for temporally extended goals. This important difference has been overlooked in the planning literature, and has lead to confusion in a number of published algorithms which were stated for state-action fairness, for which they are incorrect, while being correct for stochastic fairness. We remedy this and provide a correct optimal algorithm for solving state-action fair planning for LTL/LTLf goals, as well as a correct proof of the lower bound of the goal-complexity (our proof is general enough that it provides new proofs also for the no-fairness and stochastic-fairness cases). Overall, we show that stochastic fairness is better behaved than state-action fairness.

Session Aus1: Non-deterministic & Probabilistic Planning
Canb 10/27/2020, 20:00 – 21:00
10/30/2020, 11:00 – 12:00
Paris 10/27/2020, 10:00 – 11:00
10/30/2020, 01:00 – 02:00
NYC 10/27/2020, 05:00 – 06:00
10/29/2020, 20:00 – 21:00
LA 10/27/2020, 02:00 – 03:00
10/29/2020, 17:00 – 18:00