Navigability with Imperfect Information
Artificial Intelligence
2017-07-27 v1 Logic in Computer Science
Abstract
The article studies navigability of an autonomous agent in a maze where some rooms may be indistinguishable. In a previous work the authors have shown that the properties of navigability in such a setting depend on whether an agent has perfect recall. Navigability by an agent with perfect recall is a transitive relation and without is not transitive. This article introduces a notion of restricted navigability and shows that a certain form of transitivity holds for restricted navigability, even for an agent without perfect recall. The main technical result is a sound and complete logical system describing the properties of restricted navigability.
Cite
@article{arxiv.1707.08255,
title = {Navigability with Imperfect Information},
author = {Kaya Deuser and Pavel Naumov},
journal= {arXiv preprint arXiv:1707.08255},
year = {2017}
}