顺势逻辑的灵活框架

知识表示的逻辑因过度专业化而受到批评：虽然每个逻辑可能为某些问题提供理想的表示 formalism，但对于其他问题则不够理想。解决方法是从多个逻辑中选择，并且在必要时组合表示。在一般情况下，这种方法会导致组合的困难问题。然而，如果我们可以从统一的框架中选择逻辑，则组合问题大大简化。在本文中，我们开发了一个用于顺势逻辑的统一框架。该框架支持满足强否定原则的所有顺势逻辑。我们使用逻辑元程序作为框架的基础。