Новости искусственного интеллекта, 2005, №3

Abstract

Verification Methods and Algorithms for Checking Knowledge Bases in Integrated Expert Systems

Rybina G. V., Smirnov V. V.

Summary. Present work contains analysis and comparison of verification methods for expert systems and traditional software. This paper shows verification features for integrated expert systems knowledge bases, describes methods and algorithms for static and dynamic anomalies detection.

Knowledge Management Processes of Learning Organizations

Telnov Yu. Ph.

The formalization of organizational knowledge and creating of communication environment are represented. The strategic processes knowledge management technology based on balanced score card is investigated. The tactic processes knowledge management technology based on intelligent methods is applied to socialization, externalization, combination and internalization.

One approach to ontological engineering

Gavrilova T. A.

The papers describes the problem of ontology design and developing based on Gestalt- and cognitive psychology paradigm. The structure of a new branch of knowledge engineering called as ontological engineering is proposed. A survey of ontology editors is presented.

Modelling of knowledge life cycle with ontological approach in corporate memory system

Malinovski V. P.

The application of the model of knowledge life cycle in corporate memory systems is considered. Ontological approach is used as a mean for knowledge representation in the life cycle context. The corporate memory system and its implementations are introduced.

COMBINE-for-PACE: Performance Assessment of a Complex Enterprise

Yarushkina N. G., Semoushin I. V., Stecko A. A.

The solution strategy for a given complex enterprise performance assessment problem often depends on the experience and creativity of the assessor as well as the tools and computing resources that are immediately available. In most cases, there are a number of different approaches using different tools, different data and even different variations of the problem formulation that could be employed in an attempt to solve the assessment problem at hand. This paper describes the work underway to develop a flexible assessment environment through an integration of expert system and decision making support system relied upon Zadeh's soft computing methodology.

COMPUTER METHODS OF KNOWLEDGE REPRESENTATION AND FORMATION FOR THE SYNTHESIS OF DECISION PLANS

Trembach V. M.

The methods of knowledge representation, formation and usage are considered in this article, as well as the possibility of computer realization of these methods for solving management problems. The article also describes the structure of integrated models of knowledge representation and gives the example of using these models for the description of organizations. It presents the approach to the formation of new knowledge and their usage while developing new plans.

The methods of planning of heat energy consumption volumes in education objects

Golovina E. Y.

The methods of planning of heat energy consumption volumes in education objects are proposed. The results of comparing analyze of this methods are described. The block of planning of heat energy consumption volumes in intelligent decision making support system is developed.

The Automated Workplace for Integrated Expert Systems Construction: Complex AT-TECHNOLOGY

Rybina G. V.

The condition and tendencies of evolution of modern tool means for expert systems development is analyzed. The description of architecture and functionalities of unique domestic toolkit for integrated expert systems construction - a complex AT-TECHNOLOGY is resulted. The important place is given to means of intellectual support of the integrated expert systems development. Experience of using the complex AT-TECHNOLOGY in educational process of MEPhI for preparation of experts in the intellectual systems and technologies field is described.