Problem solving strategies for open information systems

摘要

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