|
|
|
|
|
|
|
|
|
Логика динамическая
| Глоссарий по искусственному интеллекту |
Система рассуждений, в явной форме учитывающая динамику объектов, к которым прилагаются эти рассуждения. если время входит в рассуждение в явной форме, то л.д. совпадает с одним из вариантов временной логики. если динамика задается законами смены ситуаций, то л.д. превращается в ситуационное исчисление. л.д. используется для моделирования функционирования открытых систем, в частности, открытых баз данных и баз знаний, а также во всех интеллектуальных системах, имеющих дело с динамической моделью мира.
|
|
Динамическая, русский
Динамическая выходная мощность, русский
Динамическая вышка с ногами в виде ферм, русский
Динамическая вязкость, русский
- , см. вязкость.
- Мера внутреннего трения во время течения смазочного масла (например, течения через трубы или щели).
Динамическая голография, русский
Динамическая зависимость, русский
Тип размерной зависимости, которая автоматически меняет свой размер и может быть отображена или скрыта. см. также аннотативная зависимость
Динамическая климатология, русский
, раздел климатологии, рассматривающий климат как результат процессов общей циркуляции атмосферы.
Динамическая контактная гибкость, русский
Отношение амплитуды ит переменной составляющей смещения упругого элемента к амплитуде fm возбуждающей колебания гармонической силы. при сухом точечном контакте наряду с гармонической силой на элемент упругости обычно действует постоянная сила f0, причем fm<<="" td="">
Динамическая магнитная проницаемость, русский
Магнитная проницаемость в переменном магнитном поле.
Динамическая маршрутизация, русский
Динамическая метеорология, русский
, раздел метеорологии, занимающийся теоретическим изучением атмосферных процессов, используя уравнения гидромеханики, термодинамики и теории излучения.
Динамическая мощность, русский
Динамическая нагрузка, русский
- (строительная механика) , нагрузка, для которой характерно быстрое изменение во времени ее значения и направления (напр., под действием ветра).
- Нагрузка, изменение величины, направления пли положения которой происходит настолько быстро, что при расчете сооружения необходимо учитывать инерционные силы.
Динамическая нерезкость радиационного изображения, русский
Нерезкость радиационного изображения, возникающая при относительном перемещении в процессе преобразования изображения) источника излучения, изображаемого объекта и преобразователя изображения.
Динамическая обменная емкость смолы, русский
Количество извлекаемого иона, поглощаемое ионитом до начала появления данного иона в очищенной воде/
Динамическая остойчивость, русский
Динамическая ползучесть, русский
Ползучесть при условиях колеблющейся нагрузки или колеблющейся температуры.
Динамическая расширяемая архитектура, русский
Динамическая реакция, русский
Динамическая реконфигурация устройств;, русский
Динамическая сила, русский
Сила, которая изменяется во времени и которая может вызвать значительные динамические воздействия на конструкцию; в случае удара динамическая сила представляет собой силу с соответствующей контактной площадкой в точке удара
Рассуждение, русский
- Рассуждение , суд, суждение , вдаваться в рассуждения, в рассуждение, в рассуждении
- Способ получения заключения на основе посылок и вспомогательных соображений. крайним случаем р. является логический вывод, в котором воля субъекта не играет роли. в других случаях р. отражает личностные мотивы и интересы того, кто проводит р.
Исчисление, русский
- – см. логистика.
- , знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
- Формальная система, задаваемая четверкой <т,в,а,р>, где т - множество базовых символов исчисления; в - синтаксические правила, с помощью которых из элементов т порождаются произвольные элементы; а - множество априорно истинных элементов исчисления (аксиомы исчисления); р - множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.
- Основанный на четких правилах формальный аппарат оперирования сознаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого клас
Моделирования, русский
|
Решатель, русский
Система, способная благодаря встроенной в нее общей стратегии нахождения решения (например, путем поиска в пространстве альтернатив или путем логического вывода) находить решения задач. р. входит в качестве основного блока в интеллектуальные системы. иногда этот блок называется полно: решатель задач.
Система аксиоматическая, русский
Система рассуждений, в основе которой лежат аксиомы. если аксиомы являются логическими (т. е. тождественно истинными вне зависимости от предметной области), то с.а. совпадает с формальной системой. если среди аксиом имеются аксиомы, справедливые только в данной предметной области, то с.а. применима только в этой области. часто с.а., у которой имеются предметные аксиомы, называют квазиаксиоматической системой.
|
|
|
|
|
|
|
