Valeria V. Gribova (gribova@iacp.dvo.ru), Filipp M. Moskalenko, Vadim A. Timchenko, Elena A. Shalfeeva

Institute for Automation and Control Processes, Far Eastern Branch, Russian Academy of Sciences

The paper discusses the problem of ensuring the viability of one of the classes of software systems - systems with knowledge bases. The software tools designed for the development of systems of this class are considered, the analysis of mechanisms of achieving this important property of systems with knowledge bases is carried out. The mechanisms of increasing their viability based on the each component development according to its declarative model created on a model description language are proposed. A three-level extensible architecture of tools that implements all the proposed mechanisms is proposed.

knowledge-based system; expert systems; maintenance of software systems; viability of software systems; development tools