13.07.2015 Views

Propositional Logic

Propositional Logic

Propositional Logic

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Selection of possible modelsSimple model checkingB11 B21 P11 P12 P21 P22 P31 R1 R2 R3 R3 R5 KB• How could we turn this into an algorithm?• What is the running time?F F F F F F FF T F F F F TF T F F F T FF T F F F T TNathan SturtevantIntroduction to Artificial IntelligenceHomework: 7.2

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!