Ask HN: How best to model a government programmatically?

The law comes about from many years of precedent based on various ambiguous circumstances, eg it's a bit of a 'bottom up' thing, i'm not sure if a 'top down' approach like this would work for day-to-day laws. Maybe it'd be better for things that don't change much, eg a constitution. Fun thought experiment though!

Your question is too general, and you'd have realized it if you built a toy model. You need to think about what your goals are with the model. If it's to build a replica government in code, then make a start and have at it, no special tech is needed. Just start encoding your data (eg. {"Jaywalking Fee" : "100.00"} into files your model can parse.

Prolog isn't the right tool here, there are no complex dependency chains to reason through, it's not really right for modelling uncertainty, which you will have to accept until you start caring about what parts of the model will need to be high fidelity.

Perhaps one can start by building a "SimGovernment", a simulation with the major features/structures representing those in real life.

Very broad question but related: this blog [0] discusses how a modelling product was used to simulate the internet backbone. If your aim is real-time reaction modelling of actors, this could theoretically be implemented using such a system.

They have an open beta [1], although building a comprehensive system like that described above seems a very significant task even to a large engineering team.

[0] https://improbable.io/2016/03/24/what-we-found-when-we-simul...

[1] https://spatialos.improbable.io/get-spatialos

(Disclaimer: I have interviewed with and accepted an offer by Improbable)

I've long thought 'government' was a fascinating topic for computers to tackle, but first I think you need to answer what it is you want to model: 1) the process of government (politicians and politics) or 2) the outcome of government -- the regulation of business and civil activity and international concordances.

I think the US gov't (and many military contractors) have long attempted option 1. The modeling of adversary nations or individuals and anticipation of their behavior using scenarios and war games has been around long before computers. But the number of unknown variables and the unknown state of those that are known has greatly limited the practical value of such efforts, IMHO. Even predicting the binary outcome of presidential elections has shown the weaknesses inherent in endeavors like this.

But how about option 2; could you model the analytical and decision processes that regulate a society toward 'homeostasis'? Probably, though I suspect adjusting the weights to wisely balance the interests, values, and civil rights in corporations, persons, and countries is likely to prove tricky. But could a lot of government's existing processes be effectively modeled by computer or even automated? Absolutely yes, IMHO.

Could this be related?

System Dynamics

https://en.m.wikipedia.org/wiki/System_dynamics

There are macro-economic models (https://en.wikipedia.org/wiki/Macroeconomic_model) that include such things as taxation structure, effect of child benefits on how long parents work, effect of taxation on consumption, effect of export/import restrictions, etc.

AFAIK, some of those models are fairly accurate, but not at the level that physics models are. They also do not include all quantities citizens are interested in, such as pollution levels or effects on commute times, and even if they do, they likely don't do it at small scales (a model may predict that commute times will go down on average if policy P is enacted, but that may not be uniformly across the country)

This is interesting to me. I am thinking loud here. The first thing for me would be to understand from a top level the different departments/ministries have a set of function and they are required to communicate between them to accomplish certain task. So before I could make anything programmatically I could at some level try to model it mathematically. I believe these are processes which ought to communicate, could we think of these as modeled by pi-calculus (https://en.wikipedia.org/wiki/%CE%A0-calculus)

I am not sure I am even close enough to what your are asking, but thats my two cents.

NBA final 2017 Golden State Warriors vs Cleveland Cavaliers

Watch NBA final live Stream, Golden State Warriors vs Cleveland Cavaliers. Game 1 – Thursday June 1, Cleveland at Golden State.

if you want nba final 2017 to watch click here http://2017nbafinals.org/

You could look at Democracy 3 [0] for inspiration, its a game that tries to model a democratic country from the point of view of a candidate.

[0] http://positech.co.uk/democracy3/

Conway's game of life

https://en.m.wikipedia.org/wiki/Conway%27s_Game_of_Life#

I've thought about this one for a while and I keep coming back to modelling actors with a set of behaviours that influences/triggers other behaviours and variable changes (which can then influence other behaviours and variables).

This way a government becomes a set of actors whose behaviours include creation of policy, of which are intended to influence the behaviours of all actors in the governing nation, another set of actors of which the serving government is a proper subset.

Much like democracy 3, recommended below, it'd form one or more graphs, depending on how far one takes it.

My main idea was to simulate an economy independent of current economic models but then simulating government is an integral part of that project.

I'm curious what people here think of Agent Based Modelling.

I cannot recommend enough a paper called "A Garbage Can Model of Organizational Choice" (1972) by Cohen, March, and Olsen. Maybe the best thing I was assigned to read during my whole PhD. The authors propose that decisions are made by random co-occurrences of problems looking for solutions, solutions looking for problems, and people looking for opportunities to make decisions (not exactly in those terms). The authors even did a little computer simulation, which might prove enlightening (or distressing) given your objective. Link: http://www.jstor.org/stable/2392088

Thanks for reminding me of this.

Governments operate and constrain social systems, so to simulate government it would be necessary to simulate social systems.

It's impossible to program what is inherently broken unless of course your software was full of glitches and had as many bugs in it as our governments. You can of course debug, but the glitches are impossible to predict, and thus program.

If you were to remove all elected officials from the equation, then programming becomes a much more straightforward task and could be done following due process. In an ideal world passing laws/policies would be a matter of logic, where the benefit of citizens and planet are the primary objectives. However, given the interests and persuasions of individual players, and the influences of third parties, even the deepest of phycological and analytical appraisal tools would come up short when trying to predict the decisions of any given policymaker.

Maybe that's the way to tackle this, remove the protagonists and concentrate on the system. Once you have a schema of the system, you could attempt to integrate the variables. Good luck with the latter.

IMO, I would start again. Determine where the power is now, and think about where it should be. How the decisions are made now and how they could be made better with your system.

You may already know about it but if not, this might give you some inspiration: https://www.globalchallenges.org/en

In essence, there is a 5m prize pool for someone/team to come up with a UN 2.0. One that works. That would entail fixing governments for any kind of UN to work effectively.

Are you l

Are you looking to model the System and its projected and/or perceived outcomes (such as using the field of Systems Theory)? or looking at how those laws/rules/policies are implemented in the bureaucracy?

If you have a proposed law, the law is generally (or at least supposed to be) a framework, and the bureaucracy chooses how to interpret and implement that framework.

If you want to model the bureaucracy (its inputs, outputs, efficiency, etc), take a look at BPM tools like Camunda, or JBOSS. Have done some of this related to local governments (https://github.com/StephenOTT/Gov-BPMN-Sub-Process-Departmen...).

If you want to model the System (a modelled version of the impacts of the laws and how they could impact the other parts of 'society'), then take a look at Systems Theory and related apps. Mesa looks like a good starter tool for this.

I've been thinking about literate programming for government policy / laws. Composing law documents using python notebook/R markdown. This could allow citizen's to more easily draft, assess or monitor new laws. Or build services around the 'API' of the law. Having the wording and entities semantically defined in code would probably help move towards modelling you are interested in. Here's my blog about it http://fozy81.github.io/2016/02/25/r-markdown-for-policy-doc...

Government is a set of laws federal, state and local, nothing is the same. Also a policy is local to the area.

When you get into information that also varies, for one reason or another governments use different systems computer and otherwise. A lot of government collaboration is working out how these similar but dissimilar systems will operate. What works for say Los Angeles certainly doesn't work for San Andreas and visa versa, and it gets even weirder if you cross state lines.

A respectable goal is to work up universal data interchange standards, not set systems, but say a "record" of a law should contain minimally certain information in certain text standards, etc. This leaves the municipalities to still work with their preferred systems but when doing cross-government business everyone know what data to expect minimally.

The downside of this is sometimes some entities are bad players and vote for bad data rules (i.e. the ever dwindling census detail) which benefit them in one way or another.