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