强相关逻辑：用于知识表达与推论的各种应用逻辑之统一基础

程京德

这是本人十年前的一篇论文，存放在此，以方便听课学生和有兴趣者获取。

顺便把论文概要翻译为中文如下：

在计算机科学和人工智能的众多应用之中，为了描述、验证、以及推论各种对象以及它们之间的关系，我们通常需要一个合适的基础逻辑系统来作为推论的逻辑有效性标准以及形式表达及描述语言。尽管不同的应用可能会要求不同的逻辑系统，这些基础逻辑系统必须能够支持在条件句意义上的真值保持和相关推论、扩展推论、凖完全推论、準一致推论。基于我们的经验，本文展示强相关逻辑可以被用作构建满足这些要求的各种应用逻辑之统一基础。本文讨论了为什么古典数理逻辑、其各种古典保存扩张及非经典替代都不是构建各种应用逻辑之统一基础的合适候补，说明强相关逻辑是更为合适的候补，并且介绍了我们构建时态相关逻辑、规范相关逻辑、空间相关逻辑、以及时空相关逻辑的实践。

J. Cheng, “Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning," in Y. Kiyoki, J. Henno, H. Jaakkola, and H.Kangassalo (Eds.), "Information Modelling and Knowledge Bases XVII," Frontiers in Artificial Intelligence and Applications, Vol. 136, pp. 310-320, IOS Press, February 2006.

Abstract：“In many applicationsin computer science and artificial intelligence, in order to represent, specify, verify, and reason about various objects and relationships among them, we often need a right fundamental logic system to provide us with a criterion of logical validity for reasoning as well as a formal representation and specification language.  Although different applications may require different logic systems, the fundamental logics must be able to underlie truth-preserving and relevant reasoning in the sense of conditional, ampliative reasoning, paracomplete reasoning, and paraconsistent reasoning.  Based on our experiences, this paper shows that strong relevant logic can be used as the universal basis to construct various applied logics to satisfy the requirements.  The paper discusses why any of the classical mathematical logic, its various classical conservative extensions, and its non-classical alternatives is not a suitable candidate for the universal basis to construct various applied logics, shows that strong relevant logic is a more hopeful candidate for the purpose, and presents our experiences on constructions of temporal relevant logics, deontic relevant logics, spatial relevant logics, and spatial-temporal relevant logics.”

PDF: SRL_EJC-IMKB05-IOS-FAIA136_2006.pdf