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

хн(1, 1)лх„(1, 1)л^х,(1, 1)л^хс(1, l)h хи(1, 1), хн(1, 1) л х„(1, 1) л -, хз(1, 1) л -, х(1, 1) h х„(1, 1), хн(1, 1)лдся(1, 1)л-,х(1, 1)л^хс(1, l)h -.*,(!, 1), хн(1, 1)лхД 1)л-,*,(1, 1)л^хс(1, 1)Ь -хс(1, 1). Теперь агент может воспользоваться формулами (2.4) и правилом модус поненс: -. х(1, 1), -, хз(1, 1) з -, х(1, 1) л -, хч(2, 1) л Л -, Хч(1, 2) h- Хч(1, 1) Л -, Хч(2, 1) Л -, Хч(1, 2), -. хс(1, 1) -, х (1, 1)з-. *,(!, 1) л -. хя(2, 1) л л -. хя(\, 2) h- хя(I, 1) л -, х(2, 1) л -, х(1, 2), заключая, что истинны формулы -, хч(1, 1) л -. хч(2, 1) л -, хч(1, 2) и -, х,(1, 1) -, хя(2, 1) л -, хя(1, 2).