Дата публикации: 2013

Дата публикации в реестре: 2020-03-03T07:02:57Z

Аннотация:

В работе представлена технология, позволяющая выбирать оптимальную концептуальную конфигурацию интеллектуальной системы на этапе ее проектирования и создавать ее прототип на базе формально-логических методов. В частности, использование формально-логического аппарата обеспечивает дедуктивную верификацию свойств безопасности проектируемой интеллектуальной системы. Технология иллюстрируется на примере спецификации концептуальной модели системы поддержки принятия решений. The paper presents a technology which allows one to choose an optimal conceptual configuration of an intelligent system at the stage of its design and to build its prototype on basis of formal logical methods. In particular, use of formal logical apparatus provides deductive verification of safety properties of the designed intelligent system. Use of the technology is illustrated by the example of specification of the conceptual model of a decision support system.

Тип: Article