nice thing about forward-chaining simulation models is that they offer a good starting point for interactivity. You are a dove in a tree near the water. There is a leaf here. > take leaf Taken. > go water You are at the water. There is an ant here. > drop leaf You drop the leaf in the water. The ant climbs on.
simulation If something (X) hard hits something (Y) brittle, then Y breaks When something brittle breaks, the pieces are sharp Sharp things can break soft things Rope is soft, Glass is brittle ==> Player with a rock and rope in a room with a window can formulate a plan to break the glass and cut the rope.
48 Develop tools that combine the simulation capabilities of Ceptre with the generative and constraint-driven expressiveness of ASP Create better ways for generative processes and (multiple) humans to collaborate with one another
a handout to everyone in a classroom 52 1. Instructor gives each student a handout individually. 2. Instructor hands stack to one student and says to “take one and pass it down” 3. Instructor divides the stack to hand to each row of seats
property: At quiescence, all students should have one paper. Δ ⊢ has(student1, P1) * … * has(studentn, Pn) Research Problem: automatically derive constraints on initial conditions that ensure this property. e.g.: stack size >= number of students
property: At quiescence, all students should have one paper. Δ ⊢ has(student1, P1) * … * has(studentn, Pn) Research Problem: verify that the centralized and distributed versions of this algorithm are equivalent in behavior, while the distributed version has more locality.