[论文解读] Paraconsistency of Interactive Computation

Dina Goldin, Peter Wegner|ArXiv.org|Jul 21, 2002

Computability, Logic, AI Algorithms参考文献 5被引用 4

一句话总结

本文主张，交互式计算——现代计算的核心，如自动驾驶汽车和人工智能代理——必然需要使用矛盾逻辑，因为环境会动态影响计算过程，使得一个事实及其否定可以共存。一阶逻辑由于其静态、一致的语义，无法对这种情形进行建模，而矛盾逻辑则能够处理冲突或不断变化的环境输入，因此对于建模现实世界中的交互行为至关重要。

ABSTRACT

The goal of computational logic is to allow us to model computation as well as to reason about it. We argue that a computational logic must be able to model interactive computation. We show that first-order logic cannot model interactive computation due to the incompleteness of interaction. We show that interactive computation is necessarily paraconsistent, able to model both a fact and its negation, due to the role of the world (environment) in determining the course of the computation. We conclude that paraconsistency is a necessary property for a logic that can model interactive computation.

研究动机与目标

• 确立交互式计算（在自动驾驶汽车和人工智能代理等现代系统中普遍存在）无法被经典一阶逻辑充分建模。
• 证明交互过程中因环境动态性与不完备性导致的不完整性，使得经典逻辑不足以建模现实世界的计算场景。
• 主张矛盾性——即允许一个事实与其否定共存——是任何用于建模交互式计算的逻辑体系的必要属性。
• 表明环境在塑造计算过程中的作用，要求从单调一致的推理转向矛盾、非单调的框架。
• 将矛盾逻辑定位为建模交互系统观察性、归纳性及演化性特征的关键，尤其在人工智能和嵌入式系统中。

提出的方法

• 通过强调一阶逻辑（FOL）无法处理非静态、不可预测的环境输入，分析其在建模交互系统方面的局限性。
• 对比图灵机为基础的算法计算与交互式计算，以WH问题（自动驾驶汽车导航）为案例研究，说明预先计算所有环境变量在理论上不可行。
• 引入逻辑中‘解释的延迟绑定’概念，即解释在推理过程中根据新环境数据动态演化，作为交互式建模的一种形式。
• 应用非单调与归纳推理，建模系统如何根据来自环境的新输入（可能具有矛盾性）来修正信念。
• 证明在这些系统中，矛盾性自然产生：从相同前提出发，产生冲突的推理不仅可能，而且对于实现稳健交互是必要的。
• 将交互式计算与科学理论进行类比，指出理论会因新数据而被修正，从而强化对矛盾推理的必要性。

实验结果

研究问题

• RQ1 为何一阶逻辑在动态环境中无法充分建模交互式计算？
• RQ2 在环境持续影响计算、且输入并非完全预设的系统中，建模所需的逻辑属性是什么？
• RQ3 交互系统中环境的作用如何导致必须采用矛盾推理而非经典一致性？
• RQ4 交互系统中非单调与归纳推理过程在何种意义上本质上需要矛盾性？
• RQ5 矛盾逻辑能否在形式上被证明是建模现实世界交互系统（如自主代理或智能用户界面）的必要基础？

主要发现

• 一阶逻辑无法建模交互式计算，因其语义假设一个静态、预先计算的世界，这在动态、交互式环境中不成立。
• 交互式计算本质上具有矛盾性，因为环境可能根据实时输入同时支持一个事实及其否定。
• WH问题（自动驾驶汽车导航）表明，预先计算所有环境变量（尤其是人类行为）在技术上不可行，从而否定了算法方法的有效性。
• 从算法计算向交互式计算的转变，要求放弃经典一致性，转而采用矛盾推理，以处理演化中、冲突或不完整的资讯。
• 归纳与非单调推理——交互系统的核心机制——本质上具有矛盾性，因为它们允许信念修正，并容许矛盾推理共存。
• 矛盾逻辑不仅是理论上的替代方案，更是建模交互系统（尤其在人工智能、数据库和实时控制系统中）的必要基础，因为环境反馈在这些系统中至关重要。