[论文解读] A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality Profiles

Simon Kramer|arXiv (Cornell University)|Mar 8, 2014

Cognitive Science and Mapping参考文献 5被引用 4

一句话总结

本文提出了一种可计算的格罗滕迪克对偶关系（Galois-connection），连接了迈尔斯-布里格斯性格类型指标（MBTI）与松迪的个性轮廓（SPP），实现了两种人格框架之间的双向、可解释性转换。该关系基于序理论对偶性：从MBTI到SPP的映射（由于SPP具有更细的粒度）是具体的，而从SPP到MBTI的映射（由于MBTI结构更粗略）是抽象的，两者均可通过在预计算映射上进行模型检查命题逻辑公式，高效计算得出。

ABSTRACT

We propose a computable Galois-connection between Myers-Briggs' Type Indicators (MBTIs), the most widely-used personality measure for non-psychiatric populations (based on C.G. Jung's personality types), and Szondi's personality profiles (SPPs), a less well-known but, as we show, finer personality measure for psychiatric as well as non-psychiatric populations (conceived as a unification of the depth psychology of S. Freud, C.G. Jung, and A. Adler). The practical significance of our result is that our Galois-connection provides a pair of computable, interpreting translations between the two personality spaces of MBTIs and SPPs: one concrete from MBTI-space to SPP-space (because SPPs are finer) and one abstract from SPP-space to MBTI-space (because MBTIs are coarser). Thus Myers-Briggs' and Szondi's personality-test results are mutually interpretable and inter-translatable, even automatically by computers.

研究动机与目标

• 建立一个正式的、可计算的桥梁，连接两种广泛使用但概念上不同的性格框架：MBTI与SPP。
• 通过实现相互转换，弥合MBTI类型分类（粗粒度）与SPP框架（细粒度）之间的解释鸿沟。
• 提供一种可推广的方法论，用于生成任意人格测试结果空间之间的格罗滕迪克对偶关系，使用一种逻辑中转语言作为桥梁。
• 通过将形式序理论应用于深度心理学，支持计算心理学与数学心理学的发展，且不依赖于特定测试机制。
• 实现人格测试结果在不同社群间的自动化、忠实保持的转换，提升心理学研究中的互操作性。

提出的方法

• 该方法在MBTI类型（16种）的幂集与SPP（16^8种轮廓）的幂集之间构建一个反序格罗滕迪克对偶关系，使用两个映射：$\triangleright$ 从MBTI到SPP，以及 $\triangleleft$ 从SPP到MBTI。
• 映射 $\triangleright$ 通过模型检查一个命题公式 $\mathrm{i}(I)$ 定义，该公式在SPP空间中编码了MBTI类型 $I$ 的逻辑解释。
• 映射 $\triangleleft$ 通过检查哪些MBTI类型 $i$ 满足给定的SPP轮廓 $p$ 来定义，使用公式 $\mathrm{i}(i) \Rightarrow p$。
• 通过四个引理的形式化证明了格罗滕迪克对偶关系，建立了等价性 $P \subseteq I^\triangleright \Leftrightarrow I \subseteq P^\triangleleft$，确保对偶性与序反向行为。
• 该方法计算效率高：在预计算映射上对命题公式进行模型检查，可在多项式时间内完成计算，即使面对大规模集合亦然。
• 提出了一种通用方法论：将MBTI的直觉映射到一种逻辑中转语言（LPL），并使用固定的 $\mathrm{p}$ 映射从SPP到LPL，以诱导格罗滕迪克对偶关系，从而实现跨其他人格测试对的复用。

实验结果

研究问题

• RQ1 尽管MBTI与SPP在粒度和理论基础方面存在差异，是否可以建立一个正式的、可计算的连接？
• RQ2 如何通过一种数学结构使MBTI与SPP框架相互可解释，同时保持语义忠实性？
• RQ3 是否可以定义一种通用方法论，用于使用共享的逻辑中转语言，生成任意两种人格测试结果空间之间的格罗滕迪克对偶关系？
• RQ4 在标准计算硬件上，MBTI与SPP空间之间的转换在计算上是否可行？是否能够高效实现？
• RQ5 所生成的格罗滕迪克对偶关系是否能够支持人格测试结果的自动化、双向转换，即使其中一个框架比另一个更精细或更粗略？

主要发现

• 在MBTI与SPP框架之间建立了正式的反序格罗滕迪克对偶关系，对所有子集 $I \subseteq \text{MBTI}$ 与 $P \subseteq \text{SPP}$ 满足对偶性 $P \subseteq I^\triangleright \Leftrightarrow I \subseteq P^\triangleleft$。
• 从MBTI到SPP的转换是具体且可高效计算的：对于任意MBTI类型集合 $I$，其兼容的SPP集合 $I^\triangleright$ 通过在全部 $16^8$ 个SPP上对公式 $\mathrm{i}(I)$ 进行模型检查来计算。
• 从SPP到MBTI的转换是抽象且可高效计算的：对于任意SPP集合 $P$，其兼容的MBTI类型集合 $P^\triangleleft$ 通过在全部16种MBTI类型上对每个 $p \in P$ 进行模型检查来计算。
• 该方法确保每个MBTI类型都映射到非空的SPP集合，而某些SPP可能在MBTI空间中映射到空集，从而保持了从MBTI到SPP方向的忠实性。
• 该格罗滕迪克对偶关系独立于MBTI与SPP的具体测试机制，仅依赖于其结构化结果值，因此可推广至其他人格测试结果空间。
• 该方法实现了MBTI与SPP结果之间的自动化、可解释性转换，支持心理学研究社群间的互操作性，并具备集成到计算心理学工具中的潜力。