策略的重写观点

本文是一篇关于已发表工作的说明性贡献。它聚焦于重写社区中用于形式化策略概念的一种方法。基于重写概念，回顾并联系了策略的几种定义：为了把握策略的高阶性质，策略被定义为在重写逻辑或重写演算中表达的一个证明项；为了以一致的方式处理演绎和计算，策略被视为推导的一个子集；为了恢复在顺序路径构建游戏或函数式程序中策略的定义，策略被视为一个部分函数，它将进行中的归约与归约序列中可能的下一步相关联。