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

Имеем таким образом постановку задачи: • начальное состояние среды представлено истинной формулой • множество формул представляют все состояния среды в последнем столбце табл. 2.4; • Множество допустимых переходов представлено импликациями в последнем столбце табл. 2.5; Таблица 2.5 Переход Импликация, соответствующая переходу Исходное состояние Действие Результирующее состояние Ь, с. ь, х1?лхллхпл21г>хклхллхп Ь, сг К \ЛЛ:лЛХпЛ22=)-;)СкАЛ:лЛХп Ь, сз ь5 х1?лхллхплг,эх1с'л-пхллхп К ci *, -.хклхллхпл2|зх1?лхллхп сг -. \ А Х„ Л Х„ Л Zj Э -. Хк Л ХЛ Л Х„ сз К ^ хкл хл л х„ л z, э-. хкл хл л-. хп К с, Ьз ^хклхлл-.хпл21эхклхл л-,х К сг \ -. Хк Л Х„ Л -, Х„ Л Zj 3 -. Хк Л Х„ Л -, Х„ \ Ч К -.Хклхл л^хпАг,=Э^хклхл л^хп с, Ьз хк л хл л -. хп л z, зхк л хл л -, х„ 34 2.3. Исчисление высказываний Окончание табл. 2.5 Переход Импликация, соответствующая переходу Исходное состояние Действие Результирующее состояние