English

Toward an Epistemic-Logical Theory of Categorization

Logic in Computer Science 2017-07-28 v1 Databases

Abstract

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.

Keywords

Cite

@article{arxiv.1707.08743,
  title  = {Toward an Epistemic-Logical Theory of Categorization},
  author = {Willem Conradie and Sabine Frittella and Alessandra Palmigiano and Michele Piazzai and Apostolos Tzimoulis and Nachoem M. Wijnberg},
  journal= {arXiv preprint arXiv:1707.08743},
  year   = {2017}
}

Comments

In Proceedings TARK 2017, arXiv:1707.08250