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

начало (х) = /р окончание (х) = ^, продолжительность (х) = начало (х) - окончание (х). Наряду с функциями вводят также предикаты соседние (х, у), до (х, у), после (х, у), внутри (х, у), где х, у обозначают действие, состояние или ситуацию. Истинность этих предикатов определяется следующими аксиомами: (V х, у) соседние (х, у) = окончание (х) = начало (у), (V х, у) до (х, у) = окончание (х)) < начало (у), (V х, у) после (х, у) = до {у, х), (V х, у) внутри (х, у) = (начало (у) < начало (х)) л л (окончание (х) < окончание (у)), (V х, у) перекрытие (х, у) & (начало (х) < начало (у)) л