Situation Calculus
Depth-first search
Начално състояние (ситуация)
Аксиоми
Рамков проблем (frame axioms)
Брой стъпки
holds(+Goals,-Situation,+Steps)
Previous slide
Next slide
Back to first slide
View graphic version