Armstrong's axioms and navigation strategies
Armstrong's axioms and navigation strategies
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.
6343-6350
Deuser, Kaya
23a1de64-9965-4ce3-9cf5-33546306002b
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
2018
Deuser, Kaya
23a1de64-9965-4ce3-9cf5-33546306002b
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Deuser, Kaya and Naumov, Pavel
(2018)
Armstrong's axioms and navigation strategies.
In 32nd AAAI Conference on Artificial Intelligence, AAAI 2018.
AAAI Press.
.
Record type:
Conference or Workshop Item
(Paper)
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.
This record has no associated files available for download.
More information
Published date: 2018
Additional Information:
Publisher Copyright:
Copyright © 2018, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.
Venue - Dates:
32nd AAAI Conference on Artificial Intelligence, AAAI 2018, , New Orleans, United States, 2018-02-02 - 2018-02-07
Identifiers
Local EPrints ID: 481073
URI: http://eprints.soton.ac.uk/id/eprint/481073
PURE UUID: 4e6bd8ce-cb0e-4d32-96f1-9de486375c1c
Catalogue record
Date deposited: 15 Aug 2023 16:44
Last modified: 08 Dec 2023 03:01
Export record
Contributors
Author:
Kaya Deuser
Author:
Pavel Naumov
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics