<<<     ΛΛΛ     >>>   

ИНДУКЦИЯ
Метод перехода от частных наблюдений к общей закономерности, которой удовлетворяют все частные наблюдения.

ИНДУКЦИЯ НЕПОЛНАЯ (ЭМПИРИЧЕСКАЯ)
Нахождение закономерностей, которым подчиняются все известные до этого момента наблюдения. Найденные закономерности могут опровергаться новым наблюдениями.

ИНДУКЦИЯ ПОЛНАЯ (МАТЕМАТИЧЕСКАЯ)
Математическое доказательство справедливости некоторой закономерности, основанное на выдвижении гипотезы по конечному числу фактов и обоснований к изменению этой закономерности.

ИНЖЕНЕР ПО ЗНАНИЯМ
Специалист, основной задачей которого является проектирование баз знаний и наполнение их знаниями о проблемной области. В процессе этой деятельности И.П.З. выбирает форму представления знаний, удобную для данной проблемной области, организует приобретение знаний из различных источников (официальные документы, учебники, монографии и т.п.), а также в результате общения с экспертами-специалистами в данной проблемной области.

ИНЖЕНЕРИЯ ЗНАНИЙ
Раздел искусственного интеллекта, в рамках которого решаются проблемы, связанные с извлечением знаний, приобретением знаний, представлением знаний и манипулированием знаниями. И.З. служит основой для создания экспертных систем и других интеллектуальных систем.

ИНТЕЛЛЕКТ ИСКУССТВЕННЫЙ
1. Научное направление, в рамках которого ставятся и решаются задачи аппаратного или программного моделирования тех видов человеческой деятельности, которые традиционно считаются интеллектуальными. (См. также Представление знаний, Обучение, Общение, Объяснение).
2. Свойство интеллектуальных систем выполнять функции (творческие), которые традиционно считаются прерогативой человека.

ИНТЕРВЬЮ
Способ работы с экспертом при приобретении знаний, когда инженер по знаниям выступает в роли интервьюера.

ИНТЕРПРЕТАЦИЯ
В широком смысле - объяснение, толкование чего-либо. В программировании - процесс перевода программы, написанной на языке высокого уровня, в объектный код таким способом, что программа храниться в памяти ЭВМ в первоначальной форме, а трансляция в объектный код осуществляется частями, по мере необходимости. В искусственном интеллекте - установление связи между двумя системами описаний, что позволяет понимать одну систему на уровне другой.

ИНТЕРФЕЙС
Совокупность технических и/или программных средств, обеспечивающая сопряжение двух или более элементов системы для их совместного функционирования в этой системе. Типичным примером технического И. является набор конструктивных параметров телефонных аппаратов и телефонных каналов, позволяющих подключить любой телефонный аппарат к любому телефонному каналу.

ИНТЕРФЕЙС ЕСТЕСТВЕННО-ЯЗЫКОВЫЙ
Совокупность программных и аппаратных средств, обеспечивающих общие интеллектуальной системы с пользователем на ограниченном рамками проблемной области естественном языке. В состав И.Е.Я. входят словари, отражающие словарный состав и лексику языка, а также лингвистический процессор, осуществляющий анализ текстов (морфологический, синтаксический, семантический и прагматический) и синтез ответов пользователю.

ИНТЕРФЕЙС ИНТЕЛЛЕКТУАЛЬНЫЙ
Интерфейс, в который включены средства, позволяющие человеку вести общие с ЭВМ, не используя для ввода в ЭВМ специальные программы.

ИСКУССТВЕННЫЙ МОЗГ
Гипотетическое устройство, способное заменить мозг человека и (или) реализовать все функциональные свойства, известные о мозге. В искусственном интеллекте под И.М. понимают повторение искусственными средствами свойств, присущих мозгу.

ИСТОЧНИК ЗНАНИЙ
Текст, (инструкция, монография, фотография, кинолента и т.п.), наблюдение или сообщающий нужную информацию специалист-профессионал. Из И.З. черпается информация, преобразуемая в знания, фиксируемые в памяти интеллектуальной системы.

ИСЧИСЛЕНИЕ
Формальная система, задаваемая четверкой <Т,В,А,Р>, где Т - множество базовых символов исчисления; В - синтаксические правила, с помощью которых из элементов Т порождаются произвольные элементы; А - множество априорно истинных элементов исчисления (аксиомы исчисления); Р - множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.

ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ
См. Исчисление пропозициональное.

ИСЧИСЛЕНИЕ ГЕНЦЕНА
Исчисление, в котором аксиомы задаются в виде секвенций.

ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ
Объект изучения в математической логике, в основе которого лежит понятие формальной системы. В искусственном интеллекте используются различные И.Л.: исчисления предикатов, пропозициональное исчисление, исчисление классов, исчисление отношений, многосортные и многозначные логики и т.п.

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
Исчисление, в котором наряду с формулами исчисления высказываний используются формулы в которые могут входить отношения (предикаты), связывающие между собой группы элементов исчисления и кванторы общности и существования.

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ПЕРВОГО ПОРЯДКА
Исчисление предикатов, в котором под знаком квантора не могут находиться символы предикатов. (См. также Квантор общности, Квантор существования.)

ИСЧИСЛЕНИЕ ПРОПОЗИЦИОНАЛЬНОЕ
Формальная система, базовыми элементами которой являются высказывания - нерасчлененные предложения, относительно которых в каждый данный момент можно утверждать, что они являются либо абсолютно истинными, либо абсолютно ложными. И.П. изучает связи между этими высказываниями, которые задаются логическими связками: отрицанием, дизъюнкцией, конъюнкцией, импликацией и др. И.П. является аксиоматической системой, и для классического И.П. все аксиомы являются тождественно истинными высказываниями, а правила вывода не меняют этого свойства. С помощью И.П. порождаются все тождественно истинные высказывания и только они.

ИСЧИСЛЕНИЕ СИТУАЦИОННОЕ
Исчисление предикатов, в котором все или некоторые предикаты снабжены метками, привязывающими их к тем или иным ситуациям. Каждая ситуация задается описанием, в котором участвуют внеситуационные выражения, и те, которые связаны с данной ситуацией. В качестве аксиом И.С. используются обычные аксиомы ситуаций и характеристик этих ситуаций в той проблемной области, для которой И.С. используется . (См. также Управление ситуационное.)

 <<<     ΛΛΛ     >>>   

Логика пространственнаЯ формальная система
Язык предствлениЯ знаний логиЧеский Язык представления знаний в основе которого лежит исчисление
ФункциЯ переходов термин объясняется в статье автомат конечный
ВосприЯтие тактильной информации в интеллектуальных роботах обработка сигналов
Отношение антирефлексивное термин объясняется в статье отношение рефлексивное