Information Loss

We say that threatens with information loss if LCW(), possibly comes between and , and contains an effect that makes unknown, for some that unifies with some in . For example, suppose XII's plan has a link in which indicating that the link is protecting the subgoal of knowing the word counts of all the files in directory /papers. If XII now adds a step which has the action compress myfile.txt, then the new step threatens the link, since compress has the effect of making the word count of myfile.txt unknown.

• Shrinking LCW: Given a link with condition LCW(P()Q()R()) and threat causing P(foo) to be unknown, XII can protect the link by subgoaling to achieve Q(foo)R(foo) at the time that the link's consumer is executed. For example, compressing myfile.txt threatens the link described above, because if myfile.txt is in directory /papers, then the word counts of all the files in /papers are no longer known. However, if parent.dir(myfile.txt,/papers) is false then the threat goes away.