Гриф: УМО вузов РФ по университетскому политехническому образованию

Отраслевые рубрики: автоматизированное проектирование, информатика, информационные системы, информационные технологии, проектирование, экспертные системы, интеллектуальные информационные системы

Ключевые слова: базы знаний, графы и/или, дедуктивный вывод, доказательство, искусственный интеллект, исчисление высказываний, исчисление предикатов, клаузальная форма, комбинирование стратегий, коммутативные системы продукций, линейная по входу стратегия, логика предикатов, метод наложений, метод поиска пересечений, метод полного перебора в ширину, метод резолюции, обратные системы продукций, параллельное высокоуровневое проектирование, поиск на графе, правильно построенные формулы (ППФ), представление знаний, префиксная нормальная форма, разложимые системы продукций, резолюция, семантическая сеть Куиллиана, семантические сети, сетевые модели, системы автоматизированного проектирования (САПР), системы дедукций, системы продукций, сколемовская нормальная формула, стратегии управления, стратегия опорного множества, стратегия предпочтения одночленам, структурирование знаний, формальная логика, фреймовая модель представления знаний, экспертные системы типа "объект-признак" (ЭСТОП), экспертные системы, основанные на моделях

Сигла хранения	Всего экз.	В наличии	Заказано
абонемент	1	1	0
чит. зал	1	1	0