Analogs of Horn's formulas, complemented with special temporal connectives, are proposed for describing dynamic knowledge in expert systems. An inference procedure for these types of formulas is considered. An attribute scaling mechanism is proposed as a means of controlling the logical inference search.