47、基于R - C框架的因果关系推理与多模态话语树应用

基于R - C框架的因果关系推理与多模态话语树应用

1. R - C框架下的因果关系表示

1.1 论证表示算法基础

首先，我们定义了一种论证表示算法。该算法基于命题语言L，其中包含连接词¬（否定）、∨（析取）、∧（合取）、→（蕴含）、↔（等价），还有两个运算符R(.)和C(.)以及额外的否定符号¬。这里需要两个否定运算符，¬用于否定命题公式（¬x表示x为假），¬用于否定R(.)和C(.)。

一个论证的形式为R(y): (¬)C(x)，它是得出一个主张的理由，主要由前提（理由）和结论两部分组成。函数R和C分别起到给出理由和得出结论的作用。例如，R(y): C(x)表示“y是得出x的理由”，R(y): ¬C(x)表示“y是不得出x的理由”。

1.2 嵌套论证的处理

处理嵌套论证对于找到有力的反驳答案很重要，因为单独处理论证的对象层或元层是不够的。嵌套论证在处理文本和对话时非常关键，我们需要支持嵌套论证及其反驳。以下是一些不同形式的论证和反驳示例：
| 论证类型 | 示例 | 逻辑表示 |
| — | — | — |
| 基本论证 | 我的信用卡可使用，它未被冻结 | R (¬b(c)): C(o(c)) |
| | 我的信用卡被盗用，它被冻结 | R (b(c)): C(m(c)) |
| | 信用卡可使用，因此不能得出交易被拒绝的结论 | R(o(c)): ¬C(d(c)) |
| 理由R中的单嵌入元论证 | 借记卡因可使用，是得出余额为正的理由 | R(R(u(c)): C(o(c))): C(p(b)) |
| | 卡因余额为正未被拒绝，是得出未被盗用的理由 |