非经典逻辑的自动推理

非经典逻辑的自动推理近来受到国学不术界的广泛重视。本项申请主要研究模态逻辑、直觉逻辑和多值逻辑等非经典逻辑的表推演方法，提出简化表推学业 的技术和策略；建立含等词的表推演理论和方法，同时将此方面的研究成果应用到逻辑公式的模型生成中，调离同高效的自动推理器和模型生成器，为非经典逻辑在计算机科学中进一步应用，提供理论基础。