Armstrong's Axioms and Navigation Strategies

Authors

  • Kaya Deuser Vassar College
  • Pavel Naumov Vassar College

Keywords:

navigation, completeness, axiomatization, memoryless, perfect recall

Abstract

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 database theory. If the assumption of perfect recall is omitted, then Armstrong's transitivity axiom is not valid, but it can be replaced by a weaker principle. The main technical results are soundness and completeness theorems for the logical systems describing properties of navigability with and without perfect recall.

Downloads

Published

2018-04-26

How to Cite

Deuser, K., & Naumov, P. (2018). Armstrong’s Axioms and Navigation Strategies. Proceedings of the AAAI Conference on Artificial Intelligence, 32(1). Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/12109

Issue

Section

AAAI Technical Track: Reasoning under Uncertainty