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

-1 заведен (автомобиль) л завести (автомобиль) z> заведен (автомобиль). Если же мы хотим, чтобы действия совершались только тогда, когда среда находится в определенной макроситуации, то, обозначив ее символом s, a действие — символом d, условие совершения и результат этого действия можно записать в виде макроситуация (s.) л -i заведен (автомобиль) л действие (d) з з макроситуация (s ) л заведен (автомобиль). В обеих приведенных формулах использован предикат заведен (автомобиль). Во многих случаях более удобно не вводить подобного рода предикаты, а использовать категории свойств объектов. Например, в данном случае такой категорией может быть (Заведен, Незаведен). Тогда, используя стандартный предикат достижима, условие совершения и результат действия можно записать в виде