Open zhangyuanlin opened 5 years ago
After discussion, diagnosis problem will use time steps of history for its actions.
For planning problem, start from time step N, where N-1 is the last time step in the history. Max step is N+M where M is the horizon.
Open question as how to approach counterfactual reasoning as a task.
Other possible task: Given an inconsistent history, what to remove from the history to make it consistent. (Related to debugging, diagnosis)
A design proposal of the interface is below. Future discussion may be done here.
For diagnostics, ``Just put diagnostic module somewhere and load the file with atoms of the form exogenous(a)." (from MG) -- see cr-rule on page 229 of KR book.