Наследование свойств категории при переходе от статических систем, использующих знания, к динамическим

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