I recently heard a talk about Chow motives and also read Milne's exposition on motives. If I understand it correctly, the naive definition of the Chow ring would be that it simply consists of all algebraic cycles, but to define a multiplication one needs to impose a certain equivalence relation, either rational or numerical equivalence.

I wondered myself if an alternative definition using derived algebraic geometry would be possible. Regardless which framework of derived algebraic geometry you use, a feature should be that you can get always the correct intersection/fiber product. Therefore, one might try to define a derived Chow ring by considering 'derived algebraic cycles' (without any equivalence relation). One would probably get a space out of this instead of a set, but this wouldn't necessarily be a bad thing. Also, the associated category of 'derived Chow motives' would then be a simplicial category (or $(\infty,1)$-category).

What I would like to know is the following: Has somebody tried to build such a theory and if not, what are the problems of it or why is it perhaps a bad idea right from the start?