Терминологический словарь автоматизации строительства и производственных процессов

Свидетельство о регистрации СМИ:
ЭЛ № ФС77-79395 от 02.11.2020

ISSN: 2782-1528

DOI 10.34660/c0727-6092-6372-a

Последнее обновление словаря: 18.09.2024 - 20:52
Категории

Словарь

Сеть ассоциативная

Сеть ассоциативная — семантическая сеть, в которой отношения указывают на ассоциативные связи между вершинами, характеризующими объекты, факты и ситуации для описываемой предметной области. [Толковый словарь

Читать далее

Семиотика

Семиотика — наука, изучающая свойство знаков и знаковых систем (в основном естественных и искусственных языков.) Выделяются три основных аспекта исследования: синтактика, изучающая внутренние свойства систем

Читать далее

Семантика ситуативная

Семантика ситуативная — приписывание некоторым объектам, хранящимся в базе знаний, некоторых характеристик в зависимости от ситуации, в которой эти объекты наблюдаются или используются. В системах

Читать далее

Секвенция

Секвенция — правило логического перехода А В, которое интерпретируется следующим образом: если А истинно, то В также истинно, если А ложно, то о В сказать

Читать далее

Свидетельство

Свидетельство — факт, используемый для увеличения или уменьшения оценки правдоподобия некоторой гипотезы. С. применяются в продукционных системах, в которых продукции являются гипотезами. [Толковый словарь по

Читать далее

Сборка мусора

Сборка мусора — процесс чистки памяти, связанный с обнаружением неиспользуемых программой блоков памяти и присоединением их к пространству свободной памяти для повторного использования. Сборка мусора

Читать далее

Решатель

Решатель — система, способная благодаря встроенной в нее общей стратегии нахождения решения (например, путем поиска в пространстве альтернатив или путем логического вывода) находить решения задач.

Читать далее

Резолюция

Резолюция — прием, используемый при дедуктивном выводе, заключающийся в нахождении двух дизъюнктов, один из которых содержит литеру, а другой — ее отрицание. На основании этого

Читать далее

Резольвента

Резольвента — образование дизъюнкта (ct — lt) V (dt — lt), где с и d — дизъюнкты, не имеющие общих переменных; l и l —

Читать далее

Рассуждение правдоподобное

Рассуждение правдоподобное — рассуждение, которое опирается либо на знания, не имеющие абсолютно истинного характера, либо на приемы рассуждений, которые не являются абсолютно верными. Обычно результат

Читать далее