{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

quiz1_2009

quiz1_2009 - 6.034 Quiz 1 Name EMail Circle your TA and...

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

View Full Document Right Arrow Icon
6.034 Quiz 1 September 30, 2009 Name EMail
Background image of page 1

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

View Full Document Right Arrow Icon
Problem 1: Rule Systems (50 points) Due to constant pressure from the 6.034 staff, J. K. Rowling decides to write an 8th Harry Potter book. But, she's suffering from a bad case of writer's block and decides to use a rule-based system to help her with the plot for Harry Potter and the Deadhorse Principle . She's given you a set of rules and assertions and would like your help with developing key plot points. Rules: P0: IF (AND('(?x) is ambitious', '(?x) is a squib') THEN '(?x) has a bad term') P1: IF ('(?x) lives in Gryffindor Tower') THEN ('(?x) is a protagonist') P2: IF (('(?x) lives in Slytherin dungeon') THEN ('(?x) is a villain'), '(?x) is ambitious)) P3: IF (AND(OR('(?x) is a protagonist', '(?x) is a villain'), '(?x) is ambitious') THEN ('(?x) studies a lot')) P4: IF (AND('(?x) studies a lot', '(?x) is a protagonist') THEN ('(?x) becomes Hermione's friend')) P5: IF (AND('(?x) snogs (?y)', '(?x) lives in Gryffindor Tower', '(?y) lives in Slytherin dungeon') THEN ('(?x) has a bad term')) Assertions: A0: (Millicent lives in Slytherin dungeon) A1: (Millicent is ambitious)) A2: (Seamus lives in Gryffindor Tower) A3: (Seamus snogs Millicent) 2
Background image of page 2
Part A: Backward Chaining (15 points) Make the following assumptions about backwards chaining: When working on a hypothesis, the backward chainer tries to find a matching assertion in the list of assertions. If no matching assertion is found, the backward chainer tries to find a rule with a matching consequent. In case none are found, then the backward chainer assumes the hypothesis is false. The backward chainer never alters the list of assertions, so it can derive the same result multiple times. Rules are tried in the order they appear.
Background image of page 3

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

View Full Document Right Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 14

quiz1_2009 - 6.034 Quiz 1 Name EMail Circle your TA and...

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

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