search

jpfairbanks / SemanticModels.jl

A julia package for representing and manipulating model semantics
MIT License
77 stars 17 forks source link

Random walks on models #176

Open jpfairbanks opened 5 years ago

jpfairbanks commented 5 years ago

Given a model and a set of feasible transformations on that model we can define a random walk on the class of all models. We should implement that and write some Monte Carlo algorithms over models

jpfairbanks commented 5 years ago
  1. Assume that the transformation set you are given is a set of "valid" transformations.
  2. Pick a model UAR by repeatedly applying transformations chosen at random
  3. deal with the fact that transformations are not invertible.