TY - JOUR
T1 - Toward an epistemic-logical theory of categorization
AU - Conradie, Willem
AU - Frittella, Sabine
AU - Palmigiano, Alessandra
AU - Piazzai, Michele
AU - Tzimoulis, Apostolos
AU - Wijnberg, Nachoem M.
PY - 2017
Y1 - 2017
N2 - 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.
AB - 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.
UR - http://resolver.tudelft.nl/uuid:2d182234-f7e7-4cf7-97ce-f311d69223b5
UR - http://www.scopus.com/inward/record.url?scp=85030155420&partnerID=8YFLogxK
U2 - 10.4204/EPTCS.251.12
DO - 10.4204/EPTCS.251.12
M3 - Article
AN - SCOPUS:85030155420
SN - 2075-2180
VL - 251
SP - 167
EP - 186
JO - Electronic Proceedings in Theoretical Computer Science, EPTCS
JF - Electronic Proceedings in Theoretical Computer Science, EPTCS
ER -