Vassar College Digital Library
Publications

32nd AAAI Conference on Artificial Intelligence (AAAI-18)

Vassar Scholarship

Armstrong's Axioms and Navigation Strategies

Publication Date
2018-February-02
Document Type
conference
Authors
Deuser, Kaya
Naumov, Pavel
Department or Program
Computer Science Department
Document Type
Conference
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...

View
Vassar Scholarship

Strategic Coalitions with Perfect Recall

Publication Date
2018-February-02
Document Type
conference
Authors
Naumov, Pavel
Tao, Jia
Department or Program
Computer Science Department
Document Type
Conference
Abstract

The paper proposes a bimodal logic that describes an interplay between distributed knowledge modality and coalition know-how modality. Unlike other similar systems, the one proposed here assumes perfect recall by all agents. Perfect recall is captured in the system by...

View
Subscribe to 32nd AAAI Conference on Artificial Intelligence (AAAI-18)