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

48 2.4. Рассуждения в терминах интервалов -, х (2, 2), -п х&, 2) э гп х,(2, 2) л -. *,(1,2) л -, хч(2, 3) л -, хч(3, 2) л -, хч(2, 1) (- h -*,(2, 2) л ^ х (1, 2) л ^ ^(2, 3) л - хч(3, 2) л -, хч(2, 1), -> хс(2, 2), -, хс(2, 2) з -, х,(2, 2) л -, х„(1. 2) л -, х.(2, 3) л -, хя(3, 2) л -. хя(2,1), \- -. дс„(2, 2) л -. дс„(1, 2) л ^ х,(2, 3) л -. х„(3, 2) л -, хя(2, 1) После этого агент может воспользоваться одной из формул типа (2.6), одной из формул типа (2.7) и правилом модус поненс для перехода в ячейку (2, 3): хн(2, 2) л хп(2, 2) л -, хч(2, 3) л -, х„(2, 3), хн(2, 2) л х„(2, 2) л -, хч(2, 3) л л-,х(2,3) ^zn\~Zm, хи(2, 2) л хя(2, 2) л ^ хч(2, 3) л -. дся(2, 3)лгяэ хн(2, 3) л дся(2, 3) Ь |-хн(2,3)лхя(2,3). В результате агент оказывается в ячейке (2, 3) (истинна хн(2, 3)) и видит блеск золота (истинна х6(2,3) на основании правила хИ(2,3) и х6(2,3)). Используя формулу (2.8) и правило модус поненс, агент может сделать заключение о возможности совершения действия г, по изъятию золота из ячейки (2,3):