Bidirectional and unidirectional aliases that díctate relationships for linked references and autocomplete reduces this problem. What do I mean by this?
Bidirectional: {[[pct]]=[[perceptual control theory]]} means that those are the same thing. If I write perceptual control theory, that's the same thing. This is bidirectional aliasing.
Unidirectional: {[[pct]]>[[behavioral science theories]]} would mean that every time I write pct, it recognizes that I'm referring to behavioral science theories and I'll see that when I'm looking through linked references to behavioral science theories, or when I type in behavioral science theories it will show pct and all other pages where that relationship has been outlined. The same is not true in reverse because it's unidirectional. Essentially, it's a hierarchical alias.
Aliases like this allow you to express meaning, so you can actually write things in multiple ways to mean the same thing. The current markdown aliases that are supported are essentially temporary unidirectional aliases.
The goal here is to let tags essentially be the language that I use to communicate with my notes. Permanent bidirectional and unidirectional aliases are unfortunately not yet supported by Roam, but this gets at the general point to me that the problem isn't with tags but with how you use them and how they functionally work.