'Situation calculus planning analysis' presentation slideshows

CMSC 471 Spring 2014 Class #24 Thursday, April 24, 2014 Planning

Professor Marie desJardins, mariedj@cs.umbc.edu. CMSC 471 Spring 2014 Class #24 Thursday, April 24, 2014 Planning. Debating Consciousness and the Singularity.

629 views • 62 slides

CMSC 471 Fall 2009

524 views • 52 slides

Planning

Planning. Some material adopted from notes by Andreas Geyer-Schulz and Chuck Dyer. Planning problem. Find a sequence of actions that achieves a given goal when executed from a given initial world state . That is, given

534 views • 45 slides

DNF to CNF

DNF to CNF. (a ^ b) V (b ^ c) V (a ^ c) ? (a V b) ^ (b V c) ^ (a V c) Proof: (a ^ b) V (b ^ c) V (a ^ c) = [(a^b) V (b^c)] V (a^c) = [((a^b) V b) ^ ((a^b) V c)] V (a^c) = [(a V b) ^ b ^ (c V a) ^ (b V c)] V (a^c) = [((a V b) ^ b ^ (c V a) ^ (b V c)) V a] ^

1.49k views • 41 slides

DNF to CNF

DNF to CNF. (a ^ b) V (b ^ c) V (a ^ c) ? (a V b) ^ (b V c) ^ (a V c) Proof: (a ^ b) V (b ^ c) V (a ^ c) = [(a^b) V (b^c)] V (a^c) = [((a^b) V b) ^ ((a^b) V c)] V (a^c) = [(a V b) ^ b ^ (c V a) ^ (b V c)] V (a^c) = [((a V b) ^ b ^ (c V a) ^ (b V c)) V a] ^

634 views • 41 slides

Planning

CMSC 471. Planning. Chapter 11.1-11.3. Adapted from slides by Tim Finin and Marie desJardins. Some material adopted from notes by Andreas Geyer-Schulz, and Chuck Dyer. Outline. What is planning? Approaches to planning GPS / STRIPS Situation calculus formalism [revisited]

404 views • 40 slides