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

Оно означает: если w истинна для всех (Я, ф)-вычислений, то Dw также всегда истинна для них. Перейдем теперь к главной цели настоящей главы — изучению свойств, которым, как правило, должны удовлетворять программы. Естественно, эти свойства не являются всеобъемлющими, могут пополняться или модифицироваться, но являются достаточно характерными для рассматриваемого типа программ. Их классифицируют в зависимости от вида представляющих эти свойства формул. Принципы доказательства истинности формул в принципе ничем не отличаются от изложенных в главе 4, за исключением того, что в дополнение к уже изученным используются правила вывода, содержащие модальные операторы. Принципам доказательства и примерам доказательства будет посвящен отдельный параграф настоящей главы. Сначала рассмотрим только программные свойства.