Instruments and Systems: Monitoring, Control, and Diagnostics Annotation << Back Construction model expert system on the basis of the logic formalism in ecological monitoring problems V.V. NIKONOV In article the algorithm of construction of updated reasoning’s on the basis of a logical formalism is described. The logical formalism is used in tasks of specification, a refutation of put forward hypotheses in definition of harmful substances in air pool of atmosphere at reception of the additional facts on a course of diagnostic researches. Key words: expert system, a logic conclusion, the knowledge base, system of support of reasonings, monitoring, an artificial intellect. E-mail:it-7nik@yandex.ru