operator: fast-explain
description:
fast-explain[op] seq
given a cause structure, and an input sequence, find the possible cause
See here for why we would want to do this:
Parsimonious Covering Theory with Causal Chaining and Ordering Constraints:
https://github.com/garrettkatz/copct
NB: copct.py code must be available for this function to work, so you will need to download it.
Also note that copct is MIT licensed.
examples:
-- given this knowledge:
cause |p> => |g> . |m> . |r>
cause |t> => |p> . |p>
cause |x> => |p> . |g>
cause |z> => |r> . |p>
-- explain |g> . |m> . |r> . |g> . |m> . |r>:
fast-explain[cause] ssplit |gmrgmr>
see also:
sexp, explain
future:
work out why in some cases it doesn't give the same results as "explain".
Home