Armstrong's Axioms and Navigation Strategies

AAAI 2018 pp. 6343-6350

doi:10.1609/AAAI.V32I1.12109 /aaai/2018/deuser2018aaai-armstrong/

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.

PDF AAAI Semantic Scholar

Cite

Text

Deuser and Naumov. "Armstrong's Axioms and Navigation Strategies." AAAI Conference on Artificial Intelligence, 2018. doi:10.1609/AAAI.V32I1.12109

Markdown

[Deuser and Naumov. "Armstrong's Axioms and Navigation Strategies." AAAI Conference on Artificial Intelligence, 2018.](https://mlanthology.org/aaai/2018/deuser2018aaai-armstrong/) doi:10.1609/AAAI.V32I1.12109

BibTeX

@inproceedings{deuser2018aaai-armstrong,
  title     = {{Armstrong's Axioms and Navigation Strategies}},
  author    = {Deuser, Kaya and Naumov, Pavel},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2018},
  pages     = {6343-6350},
  doi       = {10.1609/AAAI.V32I1.12109},
  url       = {https://mlanthology.org/aaai/2018/deuser2018aaai-armstrong/}
}