We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Navigability with intermediate constraints.
- Authors
Deuser, Kaya; Naumov, Pavel
- 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 strategies with perfect recall is a transitive relation and navigability by memoryless strategies is not. Independently, Li and Wang proposed a notion of navigability with intermediate constraints for linear navigation strategies. Linear strategies are different from both perfect recall and memoryless strategies. This article shows that a certain form of transitivity, expressible in the language with intermediate constraints, holds for memoryless strategies. The main technical result is a sound and complete logical system describing the properties of memoryless strategies in the language with intermediate constraints.
- Subjects
NAVIGATION; CONSTRAINTS (Linguistics); EPISTEMIC logic; INTERMEDIATE value theorem (Mathematics); MEMORYLESS systems
- Publication
Journal of Logic & Computation, 2018, Vol 28, Issue 7, p1647
- ISSN
0955-792X
- Publication type
Article
- DOI
10.1093/logcom/exy021