Open information systems based on the open intelligent information sys
tems architecture require appropriate strategies for problem solving.
The problem solving strategies are the inferencing and control strateg
ies that should exist in a knowledge-based type environment. The paper
outlines the necessary strategies. The proposed strategies essentiall
y augment the existing problem solving strategies, such as backward ch
aining, forward chaining and mixed chaining. The strategies are implem
ented in Prolog, and demonstrated using a prototype case.