Искусственный интеллект

Правила вывода в модальной логике. Эти правила также по аналогии с предыдущей главой назовем базовыми правилами. Общие аксиомы, описывающие свойства модели параллельных процессов (программы), не зависящие от конкретного типа программы, свойства корректности которой необходимо доказать. Эти аксиомы, как обычно, назовем модельными аксиомами. 213 9. Модальность в ситуационном исчислении Частные аксиомы, описывающие свойства конкретной программы, корректность которой необходимо доказать. Эти аксиомы, поскольку мы имеем дело с программами, назовем программными аксиомами.