Task planning: STRIPS. Plan representation.

7 novembro 2013, 14:00 • Pedro Urbano Lima

Fundamentals of STRIPS: Stanford Research Institute Problem Solver. Definitions, operators, example. Relation to situation calculus.

Plan representation using Petri nets. Petri net definitions: bipartite weighted directed graph; marking; dynamics. Examples.