A Computationally Grounded Logic of Visibility, Perception, and Knowledge

Abstract

VSK logic is a family of multi-modal logics for reasoning about the information properties of computational agents situated in some environment. Using VSK logic, we can represent what is objectively true of the environment, the information that is visible, or knowable about the environment, information the agent perceives of the environment, and finally… (More)
DOI: 10.1093/jigpal/9.2.257

Topics

4 Figures and Tables

Slides referencing similar topics