Extensional and Intensional Strategies

Details Extensional and Intensional Strategies Extensional and Intensional Strategies

2010-01-25

arxiv.org/abs/1001.4427v1

EPTCS 15, 2010, pp. 1-19

Computer Science

Computer Science and Game Theory

Scientific paper

10.4204/EPTCS.15.1

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.

Affiliated with

Also associated with

No associations

Rating

Extensional and Intensional Strategies does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Extensional and Intensional Strategies, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Extensional and Intensional Strategies will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-131015