Висвітлено проблеми створенния експертних систем або систем, заснованих на знаннях. Розглянуто ринок систем штучного інтелекту, структуру експертної системи та етапи її розробки. Викладено формальну систему доказу формул вирахування висловлень і предикатів. Розкрито методи представлення знань предметної області - семантичні мережі, фрейми, правила продукцій. Розглянуто логічні принципи будування та виконання дій, які стосуються розділу математичної логіки. Описано методи розв'язання задач з використанням простору станів.

Освещены проблемы создания экспертных систем или систем, основанных на знаниях. Рассмотрены рынок систем искусственного интеллекта, структура экспертной системы и этапы ее разработки. Изложена формальная система доказательства выражений и предикатов. Раскрыты методы представления знаний предметной области - семантические сети, фреймы, правила продукций. Рассмотрены логические принципы построения и исполнения действий, которые касаются раздела математической логики. Описаны методы решения задач с использованием пространства состояний.

• Кравець Валерій Олексійович (технічні науки)
• Хавіна Інна Петрівна (технічні науки)
• Нікітіна Леся Олегівна (юридичні науки)
• Нікітіна Людмила Олексіївна (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"