Creative Expert System: Comparison of Proof Searching Strategies

This paper presents comparison of time cost of three proof searching strategies in a creative expert system. Initially, model of the creative expert system and inference algorithm are proposed. The algorithm searches for a proof up to a given maximal depth, using one of the following strategies: finding all possible proofs, finding the first proof by depth-first and finding the first proof by breadth-first. Calculation time is measured in inference scenarios from a casting domain. Creativity of the expert system is achieved thanks to integration of inference and machine learning. The learning algorithm can be automatically executed during inference process, because its execution is formalized as a complex inference rule. Such a rule can be fired during inference process. During execution, training data is prepared from facts already stored in the knowledge base and new implications are learned from it. These implications can be used in the inference process. Therefore, it is possible to infer decisions in cases not covered by the knowledge base explicitly.