• Shuffle
Toggle On
Toggle Off
• Alphabetize
Toggle On
Toggle Off
• Front First
Toggle On
Toggle Off
• Both Sides
Toggle On
Toggle Off
Toggle On
Toggle Off
Front

### How to study your flashcards.

Right/Left arrow keys: Navigate between flashcards.right arrow keyleft arrow key

Up/Down arrow keys: Flip the card between the front and back.down keyup key

H key: Show hint (3rd side).h key

A key: Read text to speech.a key

Play button

Play button

Progress

1/15

Click to flip

### 15 Cards in this Set

• Front
• Back
 alpha beta procedure alpha max, beta min; Search can be discontinued below any MIN node having a beta value less than or equal to the alpha value of ANY of its MAX node ancestors. Search can be discontinued below any MAX node having an alpha value greater than or equal to the beta value of ANY of its MIN node ancestors Iconic based simulations of certain aspects of the world feature based descriptions of the world - what is true about it and what is not propositional calculus a language in which both the constraints among features and the values of features can be expressed and inference mechanisms that are able to perform the required reasoning Inference rules a set of rules for manipulating sentences in the language semantics for associating elements of the language with elements of some subject matter entailment provides very strong ways of showing that if certain propositiosn are true about a world, then some other propositions (perhaps ones that can't be sensed) must also be true PSAT (propositional satisfiability) the problem of finding a model for a formula interpretation an association of atoms with propositions denotation of the atom the proposition associated to an atom model (of the formula) an interpretation that satisfies a wff model (for that set of wff's) an interpretation that satisfies each wff in a set of wff Iterative Deepening set bound, follow DFS till find solution, if can't, set new bound, repeat resolution two clauses which can be resolved into one new clause horn clause a horn clause has at most one positive literal