These structured sources of truth have been tried. They don’t work. Natural language allows for ambiguity where necessary in a way code does not.
> If a Wikipedia model first defined rules for a genocide article
It would be worthless. Also, futile. You think when the world’s governments can’t agree on what genocide is, a random editorial decision at Wikipedia will control?
> the goal for Wikipedia is to avoid inconsistency
It’s a goal, but certainly not the goal. Truth isn’t a mathematical schema, particularly when it comes to social constructs like genocide.
It’s useless and futile to this problem.
It could be useful. But as a compliment to Wikipedia. And not in adjudicating something like the definition of genocide.
> should be logically derived
Not really an option for social constructs, which rely on consensus more than logical consistency. You could create LLMs that logically derive an answer from a definition. But that is a semantic punt with extra steps (unless the LLM controls martial forces).