Промышленные автоматизированные системы /Automation of construction production and building materials industry

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

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

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

Расстояние семантическое — оценка «семантической» близости информационных единиц, хранящихся в памяти интеллектуальной системы или человека. Понятие «семантической» близости неоднозначно. Эксперименты с людьми показывают, что в

Разрешимость алгоритмическая — наличие алгоритма решения поставленной задачи. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь,

Противоречивость модельная — противоречие, обнаруживаемое в модели. В замкнутых моделях П.М. является аналогом абсолютной противоречивости, в открытых моделях П.М. относительна. [Толковый словарь по искусственному интеллекту

Противоречивость абсолютная — возможность одновременного вывода в формальной системе утверждения и его отрицания. В такой формальной системе можно вывести любые утверждения по правилу модус поненс.

Пространство целевое — совокупность целей с указанием возможных траекторий их достижения. П.Ц. используется в интеллектуальных системах при планировании деятельности и при автоматическом синтезе программ. [Толковый

Пространство семантическое — структура на знаниях, в которой введено понятие «семантическое расстояние». Примером П.С. может служить пространство Осгуда. [Толковый словарь по искусственному интеллекту / Авторы-составители

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