Розглядаються методи достовірного (дедуктивного) і правдоподібного (абдуктивного, індуктивного) висновків в інтелектуальних системах різного призначення. Наводяться методи дедуктивного виведення на графових структурах: виведення на графі зв'язків, графі диз'юнктів, виведення на ієрархічних структурах. Даються різні види паралелізму при виведенні на графових структурах. Описуються як класичні, так і немонотонні модальні логіки: логіки переконання і знання, немонотонні логіки Мак-Дермотта і Дойла, автоепістемічні логіки Мура, логіки замовчування Рейтера. Наводяться основи теорії аргументації і методи абдуктивного висновку. Розглядаються базові принципи побудови систем навчання і прийняття рішень і даються завдання навчання «без вчителя» і «з учителем». Викладаються індуктивні методи для випадку з неповною інформацією і методи теорії наближених множин. Для студентів, аспірантів, учнів за напрямами «Прикладна математика та інформатика», «Інформатика та обчислювальна техніка» та спеціальностями «Прикладна математика» (за областями), Прикладна математика та інформатика, а також для фахівців у галузі штучного інтелекту, Інтелектуальні системи управління та прийняття рішень.