Toward an Epistemic-Logical Theory of Categorization

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 perceptio...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Electronic proceedings in theoretical computer science Ročník 251; číslo Proc. TARK 2017; s. 167 - 186
Hlavní autoři:	Conradie, Willem, Frittella, Sabine, Palmigiano, Alessandra, Piazzai, Michele, Tzimoulis, Apostolos, Wijnberg, Nachoem M.
Médium:	Journal Article Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	EPTCS 25.07.2017 Open Publishing Association
Témata:	Computer Science Logic in Computer Science
ISSN:	2075-2180, 2075-2180
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Popis
Shrnutí:	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.
ISSN:	2075-2180 2075-2180
DOI:	10.4204/EPTCS.251.12