Temporal Relevant Logic as the Logic Basis of Anticipatory Reasoning‐Reacting Systems
Temporal Relevant Logic as the Logic Basis of Anticipatory Reasoning‐Reacting Systems
复制标题
时间相关逻辑作为预期推理反应系统的逻辑基础
DOI：
10.1063/1.1787339
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Jingde Cheng
中科院分区：
文献类型：
--
作者：
Jingde Cheng
一种新型的反应系统，称为“预期推理-反应系统”，已被提出作为一类预期系统。预期推理-反应系统的一个关键功能是它的预期推理能力，这需要一个良好的逻辑基础来为推理的有效性提供一个令人满意的标准。本文指出了经典数理逻辑及其各种经典保守扩展和各种非经典替代逻辑不适合作为预期推理的逻辑基础的原因，指出时态相关逻辑是更有希望的候选者，并简要介绍了一个用于通用蕴涵演算的自动前向演绎系统“EnCal”，其可以用作用于预期推理的推理引擎。本文还提出了一个新的和具有挑战性的研究问题（NRT问题）：我们如何在一个统一的语言框架内处理这些模态概念的规范性，关联性和时间性。
A new type of reactive systems, named ‘Anticipatory Reasoning‐Reacting Systems’, has been proposed as a certain class of anticipatory systems. A key function of an anticipatory reasoning‐reacting system is its ability of anticipatory reasoning that requires a sound logic basis to provide a satisfactory criterion for validity of reasoning. This paper points out why the classical mathematical logic, its various classical conservative extensions, and its various non‐classical alternatives are not suitable logical basis for underlying anticipatory reasoning, shows that temporal relevant logic is a more hopeful candidate for the purpose, and gives a brief introduction to an automated forward deduction system for general‐purpose entailment calculus, named ‘EnCal’, which can be used as a reasoning engine for anticipatory reasoning. The paper also proposes a new and challenging research problem (NRT problem): how can we deal with those modal notions of Normativeness, Relevance, and Temporality within a unified lo...