This paper proposes two design principles for expert systems to solve a stock market timing (SMART) problems : machine knowledge and fuzzy post-adjustment, Machine knowledge is derived from past SMART instances by using an inductive learning algorithm. A knowledge-based solution, which can be regarded as a prior SMART strategy, is then obtained on the basis of the machine knowledge. Fuzzy post-adjustment (FPA) refers to a Bayesian-like reasoning, allowing the prior SMART strategy to be revised by the fuzzy evaluation of environmental factors that might effect the SMART strategy. A prototype system, named K-SISS2 (Knowledge-based Stock Investment Support System 2), was implemented using the two design principles and tested for solving the SMART problem that is aimed at choosing the best time to buy or sell stocks. The prototype system worked very well in an actual stock investment situation, illustrating basic ideas and techniques underlying the suggested design principles.