表推演相关论文
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义,表推演具有直观、灵活的特点,它的单步扩展规则具有......
以文为基础,本文试图建立中介模态逻辑MK的自动推理理论。文中给出了中介模态逻辑正规系统MK的表推演系统,详细证明了该系统的可靠......
在一个广义的溯因问题框架下，讨论以逻辑公式形式表示的知识库的维护问题．使用表推演方法，检查知识库协调性，对知识库进行扩展、约减和......
表推演方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,因此成为目前最普及的自动推理方法之......
表推演方法作为一种经典逻辑和各种非经典逻辑统一的推理框架，近年来受到人们的普遍关注，并已用于实际推理系统中。本文旨在介绍经典......
讨论正规模态逻辑Ｓ４的自动定理证明理论，给出了一个关于正规模态逻辑Ｓ４的表推演（Ｔａｂｌｅａｕ）系统ＴＳ４，证明了该系统的可靠性与完备性。......
进一步讨论关于正规模态逻辑Ｓ５的自动定理证明理论与方法，给出了正规模态逻辑Ｓ５的表推演系统ＴＳ６，证明了该可靠性与完备性。......
中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介......
