Sumários
Plan representation using Petri nets
12 novembro 2013, 14:00 • Pedro Urbano Lima
Plan representation using Petri nets: mapping robot tasks onto Petri net models. Task execution and token flow.
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.
Task planning: basic logic concepts
5 novembro 2013, 14:00 • Pedro Urbano Lima
The task planning problem. Logic-based planing: introduction to logic concepts (syntax, semantics, interpretations, propositions, entailment, derivation, representation of objects, functions and relations. soundness and completeness. Differences between propositional logic and predicate logic. Introduction to situation calculus.