# ps7 - Massachusetts Institute of Technology 16.410-13...

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

Massachusetts Institute of Technology 16.410-13 Principles of Autonomy and Decision Making Assignment #7, tutorial. Due: LEC #15 Problem PS.7.1.1: value-tuples A crucial function for encoding a planning problem in propositional logic is to generate all possible tuples of values as arguments to an action or a proposition. Write the function value-tuples which takes as input a list of lists of values and returns a list of possible n- tuples (where n is the number of lists in the argument). For example, (value-tuples '((a b) (c d))) should return ((a c) (a d) (b c) (b d)) . The order of the tuples in the list does not matter, but the order of the values in each tuple does matter. For example, ((b c) (b d) (a d) (a c)) is a valid answer to the above, but ((c b) (d b) (a d) (a c)) is not a valid answer. ;; domains is a list of lists of values (define (value-tuples domains) ;; YOUR CODE HERE ) Problem PS.7.2.1: Action Exclusion Axioms As discussed in class and in Chapter 11 of Russell and Norvig, action exclusion axioms

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 11/07/2011 for the course AERO 16.410 taught by Professor Brianwilliams during the Fall '05 term at MIT.

### Page1 / 2

ps7 - Massachusetts Institute of Technology 16.410-13...

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

View Full Document
Ask a homework question - tutors are online