Pronoun Logic

📄 arXiv: 2409.18978v1 📥 PDF

作者: Rose Bohrer, Ashe Neth

分类: cs.CL

发布日期: 2024-09-13

备注: Accepted to Queer in AI Workshop @ NAACL 2024. https://www.queerinai.com/naacl-2024/

💡 一句话要点

提出一种基于形式逻辑的代词表达方法，旨在促进性别认同和尊重。

🎯 匹配领域: 支柱五：交互与反应 (Interaction & Reaction)

关键词: 形式逻辑 性别认同 代词 跨性别 非二元性别

📋 核心要点

  1. 现有方法难以精确表达个体对自身性别代词的细致偏好，尤其是在跨性别和非二元性别群体中。
  2. 论文核心思想是将性别代词的表达形式化为逻辑语言，利用逻辑的严谨性来捕捉和推理复杂的性别认同。
  3. 论文探讨了线性逻辑、时序逻辑和自由逻辑三种逻辑框架，并分析了它们在性别代词表达上的优缺点。

📝 摘要（中文）

本文提出使用形式逻辑作为表达个人代词（尤其是在跨性别和非二元性别群体中）以及潜在的性别其他方面的工具。观察到人们对于如何被称呼的愿望具有复杂的结构，类似于一种小语言。因此，本文探讨了三种潜在的逻辑基础（线性逻辑、时序逻辑和带有定描述的自由逻辑）及其权衡。该提议的主要动机是娱乐性，旨在肯定逻辑学家也可以同时是跨性别或非二元性别者。形式化被视为一种可以随着社会对性别理解的演变而不断发展的工具。这暗示着外展是一个重要的潜在应用：可以向跨性别和非二元性别青少年展示他们属于逻辑领域，并且可以做出独特的贡献。评估某人的代词是否受到尊重的工具也是一个应用。

🔬 方法详解

问题定义：论文旨在解决如何精确、形式化地表达个体对自身性别代词的偏好，尤其是在跨性别和非二元性别群体中。现有方法，如简单地列出代词（如she/they），无法充分表达个体对不同语境下代词使用的细微差别和复杂逻辑关系。这可能导致误解和不尊重，并阻碍个体性别认同的有效沟通。

核心思路：论文的核心思路是将性别代词的表达视为一种逻辑语言，并利用形式逻辑的工具来精确地定义和推理这些表达。通过将代词偏好转化为逻辑公式，可以更清晰地表达个体对代词使用的期望，并避免歧义。这种方法允许个体以一种结构化和可验证的方式表达他们的性别认同。

技术框架：论文探讨了三种不同的逻辑框架：线性逻辑、时序逻辑和带有定描述的自由逻辑。每种逻辑框架都提供了不同的表达能力和推理机制。线性逻辑强调资源的消耗和产生，可以用于建模代词使用的上下文依赖性。时序逻辑允许表达代词使用的时序约束，例如，在特定时间段内使用特定代词。带有定描述的自由逻辑允许处理不存在的对象，可以用于建模非二元性别认同。论文分析了每种逻辑框架的优缺点，并讨论了如何将其应用于性别代词的表达。

关键创新：论文最重要的技术创新在于将形式逻辑应用于性别认同的表达。这是一种全新的视角，它将性别认同视为一种可以形式化和推理的结构。与现有方法相比，这种方法更加精确、灵活和可验证。它允许个体以一种更加个性化和细致的方式表达他们的性别认同，并促进更有效的沟通和理解。

关键设计：论文并没有提供具体的参数设置、损失函数或网络结构，因为它主要关注的是形式逻辑框架的选择和应用。关键设计在于如何将性别代词的表达转化为逻辑公式，以及如何利用逻辑推理来验证代词使用是否符合个体的期望。例如，可以使用线性逻辑来建模代词使用的上下文依赖性，并使用时序逻辑来表达代词使用的时序约束。

📊 实验亮点

由于该论文主要关注理论框架的构建，因此没有提供具体的实验结果。其亮点在于提出了将形式逻辑应用于性别代词表达的创新性思路，并探讨了三种不同的逻辑框架。论文分析了每种逻辑框架的优缺点，并讨论了如何将其应用于性别代词的表达，为未来的研究奠定了基础。

🎯 应用场景

该研究的潜在应用领域包括：性别认同教育、社交媒体平台、自然语言处理系统和人机交互。通过将性别代词的表达形式化，可以开发工具来帮助人们更好地理解和尊重他人的性别认同。此外，该研究还可以用于开发更智能的自然语言处理系统，这些系统能够正确地处理性别代词，并避免性别歧视。该研究的未来影响在于促进性别平等和包容性，并帮助人们更好地理解和尊重他人的性别认同。

📄 摘要（原文）

Particularly in transgender and nonbinary (TGNB) communities, it is an increasingly common practice to publicly share one's personal pronouns so that we may be gendered correctly in others' speech. Many of us have nuanced desires for how we are gendered, leading us to use more complex descriptions of our wishes; for example, the descriptor 'she/they'. We observe that these descriptions of our wishes have the structure of a little language all their own. We thus propose formal logic as a tool for expressing one's personal pronouns and potentially other aspects of gender. We explore three potential logical foundations (linear logic, temporal logic, and free logic with definite descriptions) and their trade-offs. Our foremost motivation for this proposal is play, affirming that one can be both a logician and TGNB at the same time. We present formalization as something that can continue to evolve over time with society's understanding of gender. This implies that outreach is a major potential application: we can show TGNB youth that they belong in logic and have a unique contribution to make. Tools for evaluating whether one's pronouns are respected are an application as well.