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

Во-вторых, СОЗ можно исследовать на непротиворечивость и полноту, т.е. обосновать правильность ее работы.

В лекции будут приведены несколько простых примеров СОЗ.

Для посещения лекции необходимо подать заявку до 17 октября