Next: Domain Growth
Up: Protecting LCW
Previous: Protecting LCW
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.