Информационные технологии /technologies information ТК 022

Исчисление предикатов первого порядка — исчисление предикатов, в котором под знаком квантора не могут находиться символы предикатов. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н.

Исчисление пропозициональное — формальная система, базовыми элементами которой являются высказывания — нерасчлененные предложения, относительно которых в каждый данный момент можно утверждать, что они являются либо

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

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

Знания о предметной области — совокупность сведений о предметной области, хранящихся в базе знаний интеллектуальной системы. В З.П.О. входят факты, относящиеся к предметной области, закономерности,

Знания — совокупность сведений, образующих целостное описание, соответствующее некоторому уровню осведомленности об описываемом вопросе, предмете, проблеме и т.д. [Толковый словарь по искусственному интеллекту / Авторы-составители

Закон снятия двойного отрицания — один из базовых законов рассуждений, характерных для традиционных формальных систем. Он утверждает, что всегда имеет место равенство A=A. [Толковый словарь

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

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