Abstract Rhetorical structure theory (RST) and relational propositions have been shown useful in analyzing texts as expressions in propositional logic. Because these expressions are systematically derived, they may be expected to model discursive reasoning as articulated in the text. If this is the case, it would follow that logical operations performed on the expressions would be reflected in the texts. In this paper the logic of relational propositions is used to demonstrate the applicability of transitive inference to discourse. Starting with a selection of RST analyses from the research literature, analyses of the logic of relational propositions are performed to identify their corresponding logical expressions and within each expression to identify the inference path implicit within the text. By eliminating intermediary relational propositions, transitivity is then used to progressively compress the expression. The resulting compressions are applied to the corresponding texts and their compressed RST analyses. The application of transitive inference to logical expressions results in abridged texts that are intuitively coherent and logically compatible with their originals. This indicates an underlying isomorphism between the inferential structure of logical expressions and discursive coherence, and it confirms that these expressions function as logical models of the text. Potential areas for application include knowledge representation, logic and argumentation, and RST validation.

中文翻译：

---

文本作为重言式：推理、传递性和逻辑压缩的探索

摘要 修辞结构理论（RST）和关系命题已被证明在分析文本作为命题逻辑中的表达方面很有用。因为这些表达是系统推导出来的，所以可以期望它们模拟文本中阐明的话语推理。如果是这种情况，那么对表达式执行的逻辑运算将反映在文本中。在本文中，关系命题的逻辑被用来证明及物推理对话语的适用性。从研究文献中选择的 RST 分析开始，对关系命题的逻辑进行分析以识别它们对应的逻辑表达式，并在每个表达式中识别隐含在文本中的推理路径。通过消除中间关系命题，传递性被用来逐步压缩表达式。生成的压缩应用于相应的文本及其压缩的 RST 分析。将及物推理应用于逻辑表达式会导致删节的文本在直觉上是连贯的，并且在逻辑上与其原始文本兼容。这表明逻辑表达式的推理结构和话语连贯性之间存在潜在的同构，并证实了这些表达式作为文本的逻辑模型发挥作用。潜在的应用领域包括知识表示、逻辑和论证以及 RST 验证。生成的压缩应用于相应的文本及其压缩的 RST 分析。将及物推理应用于逻辑表达式会导致删节的文本在直觉上是连贯的，并且在逻辑上与其原始文本兼容。这表明逻辑表达式的推理结构和话语连贯性之间存在潜在的同构，并证实了这些表达式作为文本的逻辑模型发挥作用。潜在的应用领域包括知识表示、逻辑和论证以及 RST 验证。生成的压缩应用于相应的文本及其压缩的 RST 分析。将及物推理应用于逻辑表达式会导致删节的文本在直觉上是连贯的，并且在逻辑上与其原始文本兼容。这表明逻辑表达式的推理结构和话语连贯性之间存在潜在的同构，并证实了这些表达式作为文本的逻辑模型发挥作用。潜在的应用领域包括知识表示、逻辑和论证以及 RST 验证。这表明逻辑表达式的推理结构和话语连贯性之间存在潜在的同构，并证实了这些表达式作为文本的逻辑模型发挥作用。潜在的应用领域包括知识表示、逻辑和论证以及 RST 验证。这表明逻辑表达式的推理结构和话语连贯性之间存在潜在的同构，并证实了这些表达式作为文本的逻辑模型发挥作用。潜在的应用领域包括知识表示、逻辑和论证以及 RST 验证。