Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes. In the present paper, we introduce a sound and complete epistemic logic of categories and agents' categorical perception. The Kripke-style semantics of this logic is given in terms of data structures based on two domains: one domain representing objects (e.g. market products) and one domain representing the features of the objects which are relevant to the agents' decision-making. We use this framework to discuss and propose logic-based formalizations of some core concepts from psychological, sociological, and organizational research in categorization theory.
|Number of pages||20|
|Publication status||Published - 25 Jul 2017|
|Event||16th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017 - Liverpool, United Kingdom|
Duration: 24 Jul 2017 → 26 Jul 2017
|Conference||16th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017|
|Period||24/07/17 → 26/07/17|