Разрешимость алгоритмическая
Разрешимость алгоритмическая — наличие алгоритма решения поставленной задачи. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь,
Разрешимость алгоритмическая — наличие алгоритма решения поставленной задачи. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь,
Противоречивость модельная — противоречие, обнаруживаемое в модели. В замкнутых моделях П.М. является аналогом абсолютной противоречивости, в открытых моделях П.М. относительна. [Толковый словарь по искусственному интеллекту
Противоречивость абсолютная — возможность одновременного вывода в формальной системе утверждения и его отрицания. В такой формальной системе можно вывести любые утверждения по правилу модус поненс.
Пространство целевое — совокупность целей с указанием возможных траекторий их достижения. П.Ц. используется в интеллектуальных системах при планировании деятельности и при автоматическом синтезе программ. [Толковый
Пространство семантическое — структура на знаниях, в которой введено понятие «семантическое расстояние». Примером П.С. может служить пространство Осгуда. [Толковый словарь по искусственному интеллекту / Авторы-составители
Пространство осгуда — применяемый в психологии формализованный способ выявления семантической близости используемых людьми понятий. Для построения П.О. используются бинарные шкалы, концы которых отмечены словами-антонимами типа
Пространство задач — структура, отражающая декомпозицию крупных задач на более мелкие, вплоть до стандартных задач, решение которых предполагается известным. П.З. используется в интеллектуальных системах для
Пропозиция — предложение, суждение, утверждение. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256
Программа эвристическая — программа, в основу которой положены соображения о том, как данную проблему решает человек. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин,
Программа игровая — программа позволяющая использовать ЭВМ в качестве одного из участников игры. П.И. составляются как для игр типа шахмат, шашек и т. п., так