ГОСТ 33707—2016
4.267 дедукция: Логический вывод, когда логическое заключение выво-еп
дится из конкретного множества предпосылок.
Допустимый синоним: Дедуктивный логический вывод.
Примечание — Дедукцией является только сохраняющий истинность логи
ческий вывод.
4.268 действие (в искусственном интеллекте): В представлении зна- еп
ний, основанном на сценариях, операция, выполняемая актером.
4.269 действительная память: Основная память в системе виртуаль-еп
ной памяти.
Примечание — Физически действительная память и основная память иден
тичны. Однако, в концептуальном плане действительная память представляет
только часть области адресов, доступных пользователю системы виртуальной
памяти. Традиционнополнаяобластьадресов,доступныхпользователю,обеспе
чиваласьосновной памятью.
4.270 действительный адрес: Адрес ячейки памяти в действительнойеп
памяти.
4.271 дейтаграмма: Иногда, датаграмма. Пакет (кадр) информации,еп
посылаемый компьютеру-получателю независимо от других пакетов —
без установки логического соединения и квитирования, т.е. безо всякого
предупреждения. В этом смысле дейтаграмма похожа на телеграмму:
это самодостаточное сообщение, оно может прибыть в любое время без
предупреждения. Дейтаграммы обычно используют, если инфюрмация
пересылается нерегулярно, нечасто и небольшими порциями. Краткая
форма. Дейтаграмма.
4.272 декларативные знания: Знания, представленные фактами, пра-еп
вилами и теоремами.
Примечание — Обычнодекларативные знания не обрабатываются без пер
воначального перевода их в процедурные знания.
4.273 декодировать: Восстанавливать информацию из ее кодированно- еп
го представления путем приведения ее к исходному виду.
4.274 декомпилятор: Инструментальное программное средство, кото- еп
рое декомпилирует программы.
4.275 делегирование: Передача полномочия от его обладателя другому еп
объекту.
4.276 демонстрация корректности: Формальная математическая де- еп
монстрация того, что семантика программы согласуется со специфика
циями данной программы.
4.277 демультиплексирование логических соединений: Функция, вы-еп
полняемая логическим объектом — получателем уровня и использующая
одно соединение смежного нижнего уровня для обеспечения нескольких
соединений данного уровня. Краткая форма: Демультиплексирование.
4.278 дерево (в коммуникационных сетях): Функциональная единица еп
передачи данных между участниками по линиям связи в случае, когда
связь всех участников представляет собой связных неориентированный
граф без циклов.
4.279 дорево знаний: Иерархическая соматическая сеть, представлен-еп
ная древовидным направленным графом.
deduction, deductive
inference
action
real storage
real address
datagram
declarative knowledge
decode
decompiler
delegation
correctness proving
demultiplexing
tree
knowledge tree
22