AI Chat AI Image Generator AI Video Text to Speech

Armstrong's Axioms and Navigation Strategies

07/13/2017

∙

by Kaya Deuser, et al.

∙

∙

The paper investigates navigability with imperfect information. It shows that the properties of navigability with perfect recall are exactly those captured by Armstrong's axioms from the database theory. If the assumption of perfect recall is omitted, then Armstrong's transitivity axiom is not valid, but it can be replaced by two new weaker principles. The main technical results are soundness and completeness theorems for the logical systems describing properties of navigability with and without perfect recall.

Kaya Deuser
2 publications
Pavel Naumov
22 publications

page 1

page 2

page 3

page 4

research

∙ 07/13/2017

Strategic Coalitions with Perfect Recall

The paper proposes a bimodal logic that describes an interplay between d...

0 Pavel Naumov, et al. ∙

research

∙ 07/26/2017

Navigability with Imperfect Information

The article studies navigability of an autonomous agent in a maze where ...

0 Kaya Deuser, et al. ∙

research

∙ 07/18/2019

Imperfect Gaps in Gap-ETH and PCPs

We study the role of perfect completeness in probabilistically checkable...

0 Mitali Bafna, et al. ∙

research

∙ 05/03/2012

No-Regret Learning in Extensive-Form Games with Imperfect Recall

Counterfactual Regret Minimization (CFR) is an efficient no-regret learn...

0 Marc Lanctot, et al. ∙

research

∙ 04/19/2022

Influence of Repetition through Limited Recall

Decision makers who receive many signals are subject to imperfect recall...

0 Jad Sassine, et al. ∙

research

∙ 10/20/2020

Display object alignment may influence location recall in unexpected ways

There is a presumption in human-computer interaction that laying out men...

0 Peter Zelchenko, et al. ∙

research

∙ 10/07/2019

Combining No-regret and Q-learning

Counterfactual Regret Minimization (CFR) has found success in settings l...

0 Ian A. Kash, et al. ∙