Реестровая запись: ЭЛ № ФС77-79395 от 02.11.2020 ISSN: 2782-1528 DOI 10.34660/c0727-6092-6372-a
Семантика ситуативная — приписывание некоторым объектам, хранящимся в базе знаний, некоторых характеристик в зависимости от ситуации, в которой эти объекты наблюдаются или используются. В системах
Секвенция — правило логического перехода А В, которое интерпретируется следующим образом: если А истинно, то В также истинно, если А ложно, то о В сказать
Свидетельство — факт, используемый для увеличения или уменьшения оценки правдоподобия некоторой гипотезы. С. применяются в продукционных системах, в которых продукции являются гипотезами. [Толковый словарь по
Сборка мусора — процесс чистки памяти, связанный с обнаружением неиспользуемых программой блоков памяти и присоединением их к пространству свободной памяти для повторного использования. Сборка мусора
Решатель — система, способная благодаря встроенной в нее общей стратегии нахождения решения (например, путем поиска в пространстве альтернатив или путем логического вывода) находить решения задач.
Резолюция — прием, используемый при дедуктивном выводе, заключающийся в нахождении двух дизъюнктов, один из которых содержит литеру, а другой — ее отрицание. На основании этого
Резольвента — образование дизъюнкта (ct — lt) V (dt — lt), где с и d — дизъюнкты, не имеющие общих переменных; l и l —
Рассуждение правдоподобное — рассуждение, которое опирается либо на знания, не имеющие абсолютно истинного характера, либо на приемы рассуждений, которые не являются абсолютно верными. Обычно результат
Рассуждение по умолчанию — один из видов правдоподобного рассуждения где результат получается не из явно присутствующих для этого посылок, а на основе «традиции», прошлого опыта,
Рассуждение по аналогии — перенос заключений, полученных на основе ряда посылок, на другую совокупность посылок, которая считывается по некоторому критерию аналогичной первой. В частном случае