Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
6 Cards in this Set
- Front
- Back
|
Interpretation |
An assignment of truth values to some set of clauses |
|
|
Model |
An interpretation in which all clauses are true |
|
|
Bottom up proof procedure |
If h is implies by a set of clauses which are all known to be true, h is now known to be true |
|
|
Top down proof procedure |
Try ‘[clause in question] implies yes’. Keep substituting the clause with clauses that imply it, and if you eventually get known clauses, your original clause is known. |
|
|
Normalization Trick to get Conditional Distribution |
Select joint probabilities matching the evidence Divide by their sum so that they will sum to 1 at the end. |
|
|
Product rule |
P(x|y) = p(x,y)/p(y) |
