Required reading for next class: Use of BDDs in planning..

To: Rao Kambhampati <rao@asu.edu>
Subject: Required reading for next class: Use of BDDs in planning..
From: Subbarao Kambhampati <rao@asu.edu>
Date: Mon, 18 Oct 2010 14:13:49 -0700
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:sender:received:date :x-google-sender-auth:message-id:subject:from:to:content-type; bh=CRX8zeHtfG9hQ7S08EGdKlXFDteHpnEbULnAZxjbIus=; b=f1dGCZpctKGa0pP1Z5i4Kb8vooGUrJJ/iAXNp4qtHiq3Fcj1in0vReZ+WY41zUNXfH U96ico3Dq/ZWRn9A3LKjSCmhckfYcc8kXTsWh2IjW5hllcR6lwAaJZYe90c/fP05iEDq 73P4bhfgatyD2RZPgvOvY7TeO6tJQUS3o7cpM=
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=XtGPL1bfijQddrxt7BBSlxbK/LIkFsZ4qslrRuicqKF89HZD91iM1eFfu4unmULK2k cESPBEQ6eqdE0EZODWYd4tPklwMwv+RSigJuVzybnoReIL0se2gzXjLRKnAKhfOReL5H 24YPFUuuXBzPjr1OnPuMUhmASdNmMOlOKSnKI=
Sender: subbarao2z2@gmail.com

Folks

We will see that if states correspond to complete interpretations over state variables (propositions), then sets of states

(belief-states) can correspond to arbitrary proposition formulae. We need a way of compactly representing and reasoning with

them. One common idea is to use BDDs or binary decision diagrams.

Please read the following short write-up before coming to class on wednesday so you know what BDDs are and how they are used