riastradh-probcomp

teach simulate_models_rows to sample from joint on variables

1

Currently it doesn't sample from variables at all. Shortly it will sample from the independent marginals on variables. It should be restructured to sample from the joint instead.

If the population `p` has 64 models, the query `SIMULATE MUTUAL INFORMATION OF x WITH y FROM MODELS OF p` yields 64 independently sampled results. The order in which we...

The only part that should produce strings of SQL text should be an even more trivial map from SQL-only AST.

allow queries/analysis on models matching criteria

1

For example, ``` ANALYZE MODELS WHERE DEPENDENCE PROBABILITY OF X WITH Y > 0.5 ESTIMATE PROBABILITY OF x = 1 GIVEN (y = 2) WITHIN USING MODELS WHERE DEPENDENCE PROBABILITY...

``` CREATE GENERATOR g FOR p USING cgpm ( LATENT y CATEGORICAL, MODEL y GIVEN x USING whatever, MODEL z GIVEN y USING frobnosticator ) ``` In order to use...

draft a scheme for deciding agreement of statistical type with distributions in some metamodel

2

For example, it might reject attempts to model a categorical variable with a normal distribution. This issue will be satisfied not when we have a clear, coherent design implemented that...

Currently we do not distinguish ``` CREATE GENERATOR g FOR p USING m ("foo") ``` from ``` CREATE GENERATOR g FOR p USING m ('foo') ``` which is not at...

Like `sh -c foo`.