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

достижима (So), произойдет (a, s) = достижима (переход (a, s)), (V a, s) достижима (переход (a, s)) з достижима (s) л допустимо (a, s). Для каждой конкретной среды совокупность перечисленных аксиом описывает ее поведение в различных ситуациях или ее динамические свойства, являясь тем самым моделью поведения этой среды. Формулируя те или иные вопросы, интересующие нас и касающиеся поведения среды, а затем доказывая или опровергая их на основе аксиом, можно моделировать те или иные ситуации, т.е. определять возможность достижения этих ситуаций и соответствующих им истинностных значений функторных предикатов или функций. Процесс описания поведения среды по-прежнему остается нетривиальной задачей, требует определенной аккуратности и обеспечения полноты и непротиворечивости исходного описания. В процессе доказательства могут использоваться различные стратегии поиска, и они должны гарантировать получение положительного ответа, если он существует. Всем этим вопросам в специальной литературе уделяется много внимания. В настоящей книге в целях избежания перегрузки