індукція, индукция, induction ; інтелектуальні системи, интеллектуальные системы ; абдукція, абдукция ; аргументація, аргументация ; дедуктивно-паралельний аналіз, дедуктивно-параллельный анализ ; дедукція, дедукция ; логіка, логика, logika, logic, Logik, logique ; логічне програмування, логическое программирование, logical programming, programmation logique ; метод аналітичних таблиць, метод аналитических таблиц ; модальна логіка, модальная логика ; системи прийняття рішень, системы принятия решений, decision systems ; Prolog ( Пролог, мова, Пролог, язык)

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

• УДК // Прикладні системи штучного інтелекту. Інтелектуальні системи, основані на знаннях