辩织 & OpenDebate 是一个开源的辩论平台,旨在通过图形化的方式组织和展示辩论观点。
- 辩论:一场辩论由多个观点组成,辩论是组织和展示观点的视图,全辩论容纳了所有观点
- 观点:每个节点代表一个观点,观点内容应当是一个命题,可属于多个辩论
- 或节点:默认情况下,观点之间的支持链和反驳链是 OR 关系,代表该观点可以被多个其他观点中的任一一个支持或反驳
- 与节点:在某些情况下,观点之间的支持链可以是 AND 关系,代表该观点需要被多个其他观点同时支持
- 与节点只能在父节点和子节点已有的情况下创建,且无法自定义内容和分数
- 与节点的相邻节点只能是或节点
- 创建的新边不能连接到已有的与节点
- 观点链:观点之间通过支持链和反驳链连接。某观点可以通过支持链指向它的推论,或通过反驳链指向反驳它的观点
- 所有反驳链都是 OR 关系,所有支持链都可以是 OR 或 AND 关系
- 链的有效性受质疑时,可以对其进行攻击。这会在链中添加一个 AND 节点,和一个反驳 AND 节点的 OR 观点(该观点内容为“该链有效”)
- 父、子:定义支持链和反驳链都是从子节点指向父节点的,最低的子节点是叶节点,最高是根节点,叶节点的观点是辩论的假设
观点的有效性取决于其相邻节点的有效性。系统会通过算法为每个观点打分,考虑以下因素:
- 首先,全部辩论图中,不应存在环,即不能循环论证
- 其次,所有观点的有效性都取决于其相邻节点的有效性,根本上是取决于叶节点,也就是假设的分数
- 叶节点的分数由用户直接赋予,范围在 0 到 1 之间,而非叶节点的分数只能由系统计算得出
在此需区分正证分和反证分,观点有效分数是正证分和反证分的平均值。
正证分是指观点在正证推理中获得的分数,和观点逻辑类型、链类型有关。其实际含义是:本观点的所有祖孙节点的正证分在逻辑上提供的分数。
或节点的正证分计算方式为:
与节点的正证分计算方式为:
反证分是指观点在反证推理中获得的分数,和观点逻辑类型、链类型有关,其实际含义是:若固定其他观点的正证分,本观点正证分不与其他观点正证分冲突的最高分。
该计算方法比较复杂,需靠图传播的方式进行计算。
权限管理用于控制用户对辩论和观点的访问和修改权限。主要包括以下角色:
- 服主:拥有所有权限,包括分配用户角色
- 管理员:可以管理辩论和观点
- 普通用户:可以查看和参与辩论/观点,但不能修改或删除辩论/观点
- 游客:只能查看公开辩论,不能参与
服主可通过python脚本分配用户角色。