外延战略与内涵战略
Extensional and Intensional Strategies
摘要：
本文是对战略理论基础的贡献。首先，我们提出了一个一般的定义，抽象的战略，这是在这个意义上，一个战略是明确定义为一组派生的抽象约简系统的外延。然后，我们转向一个更有内涵的定义，它支持抽象观点，但更具有操作性，因为它描述了确定这样一个集合的方法。我们的特点，可以内涵定义的扩展策略类。我们也给出了一些暗示，对内涵战略的逻辑特征，并提出了一些具有挑战性的观点。
英文摘要：
This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a strategy is defined explicitly as a set of derivations of an abstract reduction system. We then move to a more intensional definition supporting the abstract view but more operational in the sense that it describes a means for determining such a set. We characterize the class of extensional strategies that can be defined intensionally. We also give some hints towards a logical characterization of intensional strategies and propose a few challenging perspectives.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
