https://libeldoc.bsuir.by/handle/123456789/4172| Title: | Технология формально-логического проектирования и прототипирования интеллектуальных систем |
| Other Titles: | Open technology of formal logical design and prototyping of intelligent systems |
| Authors: | Ануреев, И. С. Атучин, М. М. |
| Keywords: | операционно-онтологическая семантика;логика безопасности;системы переходов;интеллектуальные системы |
| Issue Date: | 2013 |
| Publisher: | БГУИР |
| Citation: | Ануреев, И. С. Технология формально-логического проектирования и прототипирования интеллектуальных систем / И. С. Ануреев, М. М. Атучин // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2013) : материалы III Междунар. научн.-техн. конф. (Минск, 21-23 февраля 2013г.) / редкол. : В. В. Голенков (отв. ред.) [и др.]. – Минск : БГУИР, 2013. – С. 43 – 48. |
| Abstract: | В работе представлена технология, позволяющая выбирать оптимальную концептуальную конфигурацию интеллектуальной системы на этапе ее проектирования и создавать ее прототип на базе формально-логических методов. В частности, использование формально-логического аппарата обеспечивает дедуктивную верификацию свойств безопасности проектируемой интеллектуальной системы. Технология иллюстрируется на примере спецификации концептуальной модели системы поддержки принятия решений. |
| Alternative abstract: | 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. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/4172 |
| Appears in Collections: | OSTIS-2013 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Anureyev_Tekhnologiya.PDF | 563.5 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.