Using Linear Logic Planning to Make Knowledge Bases Reactive