| DC Field | Value | Language |
|---|
| dc.contributor.author | Ануреев, И. С. | - |
| dc.contributor.author | Атучин, М. М. | - |
| dc.date.accessioned | 2015-04-22T07:13:06Z | |
| dc.date.accessioned | 2017-07-18T09:06:42Z | - |
| dc.date.available | 2015-04-22T07:13:06Z | |
| dc.date.available | 2017-07-18T09:06:42Z | - |
| dc.date.issued | 2013 | - |
| dc.identifier.citation | Ануреев, И. С. Технология формально-логического проектирования и прототипирования интеллектуальных систем / И. С. Ануреев, М. М. Атучин // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2013) : материалы III Междунар. научн.-техн. конф. (Минск, 21-23 февраля 2013г.) / редкол. : В. В. Голенков (отв. ред.) [и др.]. – Минск : БГУИР, 2013. – С. 43 – 48. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/4172 | - |
| dc.description.abstract | В работе представлена технология, позволяющая выбирать оптимальную концептуальную конфигурацию
интеллектуальной системы на этапе ее проектирования и создавать ее прототип на базе формально-логических
методов. В частности, использование формально-логического аппарата обеспечивает дедуктивную
верификацию свойств безопасности проектируемой интеллектуальной системы. Технология иллюстрируется
на примере спецификации концептуальной модели системы поддержки принятия решений. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | операционно-онтологическая семантика | ru_RU |
| dc.subject | логика безопасности | ru_RU |
| dc.subject | системы переходов | ru_RU |
| dc.subject | интеллектуальные системы | ru_RU |
| dc.title | Технология формально-логического проектирования и прототипирования интеллектуальных систем | ru_RU |
| dc.title.alternative | Open technology of formal logical design and prototyping of intelligent systems | ru_RU |
| dc.type | Article | ru_RU |
| local.description.annotation | 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. | - |
| Appears in Collections: | OSTIS-2013
|
