HW3 - CSE 511A: Introduction to Artificial Intelligence...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
CSE 511A: Introduction to Artificial Intelligence Homework 3 (Due: 4pm, Nov 16) a. Download SATPLAN04 source code ( http://www.cs.rochester.edu/u/kautz/satplan/ ). Download the testing domains of the 4 th International Planning Competition (http://www.tzi.de/~edelkamp/ipc-4/domains.tgz). Run SATPLAN04 to solve the following domains. Airport-nontemporal Pipesworld-tankage-nontemporal promela-optical-telegraph PSR-small Satellite-strips For each domain, solve the problem instances numbered 1 to 5. Use STRIPS if there are both STRIPS and ADL versions. Record runtime, solution length (makespan), and number of actions in the solution plan. Set a time limit of 5 minutes. Report “timeout” when timeout. b. Read the source code and find out the encoding part. Then, modify the code to add the following constraints in the SAT encoding: at each time step t , at most one action can be executed. That is, add a mutex constraint for every pair of actions at the same time step. Re-
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This document was uploaded on 11/13/2009.

Page1 / 3

HW3 - CSE 511A: Introduction to Artificial Intelligence...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online