Англо-русский толковый словарь по искусственному интеллекту и робототехнике

formal neuron – формальный нейрон, ФН # математическая модель нейрона, используемая в нейронных сетях. Например, стандартный формальный нейрон имеет x входов, на которые поступают сигналы либо от других нейронов, либо с входных устройств нейрокомпьютера. Каждому входу присваивается коэффициент a_x (синаптический коэффициент, или коэффициент межнейронной связи), входной сигнал на каждом входе умножается на этот коэффициент. Если значение коэффициента a_x

отрицательное, то данная связь считается тормозящей, если положительное – возбуждающей. Сумматор нейрона вычисляет сумму поступивших сигналов, складывает её с величиной, характеризующей начальное состояние ФН, и передаёт результат блоку вывода, реализующему функцию активации (activation function). По сравнению с реальным нейроном эта модель сильно упрощена. Схема, реализующая ФН, – это, по существу, автономный аналоговый или цифровой вычислительный элемент с ограниченной системой команд. Синонимы – linear threshold device (линейное пороговое устройство), threshold logic unit (блок логический пороговый) (см. также neural computer, neural network, neuron).

formal reasoning – формальное рассуждение # рассуждение, основанное на формальных методах (см. также formal method, problem solving, reasoning

).

formal representation – формальное представление, формализованное представление # например, formal knowledge representation – формализованное представление знаний; formal representation of product design specifications for validating product design – формализованное представление конструкторских спецификаций продукта (изделия) для [автоматизированной] валидации конструкции этого продукта (см. также knowledge engineering, representation).

formal review – формализованная экспертиза # экспертиза (инспекция, проверка) продукта или процесса разработки, которая базируется на утверждённой документированной процедуре.

formal test

– официальное испытание # испытание продукта (изделия) силами официальной комиссии (организации) по утверждённой методике и утверждёнными средствами. Существуют различные виды официальных испытаний – например, сертификационные, приёмо-сдаточные, государственные и др.

formal verification – формальная верификация # набор методов, служащих для того, чтобы математически доказать, что компьютерная программа делает то, что должна делать, т. е. верификация по формальным (формализованным, стандартизованным) правилам, верификация формальными средствами (способами). Формальное доказательство соответствия микросхемы (системы, приложения и т. п.) её спецификации на основе документации, исходных текстов и других документов. Пример: Formal verification is becoming a critical tool for designing software and hardware today. – Формальная верификация сегодня становится критически важным инструментом при проектировании программных и аппаратных средств.

formal verification tool – инструмент (инструментарий) формальной верификации # среди существующих средств формальной верификации выделяются системы доказательства теорем, обеспечивающие наиболее полную верификацию самых сложных аппаратно-программных комплексов (см. также ATP, formal verification, interactive theorem prover).

forward chaining

– прямая цепочка рассуждений, прямая цепочка [логического] вывода # один из методов поиска решения или логического вывода в экспертных системах. Ход рассуждений начинается от одного или нескольких фактов, идёт вперёд по цепочке правил и приводит к одному или нескольким заключениям (к решениям; к тому, что нужно доказать) (см. также backward chaining, expert system).

forward compatibility – совместимость снизу вверх, прямая совместимость # совместимость предыдущих версий системы с её последующими версиями: программа (ПО) работает не только на том компьютере, для которого была разработана, но и на новых моделях. Прямая совместимость очень важна, поскольку позволяет переходить на более мощные машины без необходимости конвертировать существующие [производственные] программы и данные. Аналогичное значение этот термин имеет для аппаратуры, обозначая совместимость новой модели с младшими или ранее разработанными моделями, но не наоборот. Синоним – upward compatibility (ср. backward compatibility).

forward engineering – прямая разработка # традиционный процесс разработки системы от концепции до физической реализации (в отличие от reverse engineering).