1 / 7

CSE4/563: Knowledge Representation Recitation September 22, 2010

CSE4/563: Knowledge Representation Recitation September 22, 2010 . “Logic is one thing and commonsense another.” Elbert Hubbard,  The Note Book , 1927. HW1/Proj1 Questions/Concerns?. http://www.cse.buffalo.edu/~shapiro/Courses/CSE563/2010/Homeworks/hw1.pdf

ismet
Télécharger la présentation

CSE4/563: Knowledge Representation Recitation September 22, 2010

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. CSE4/563: Knowledge RepresentationRecitation September 22, 2010 “Logic is one thing and commonsense another.” Elbert Hubbard, The Note Book, 1927

  2. HW1/Proj1 Questions/Concerns? http://www.cse.buffalo.edu/~shapiro/Courses/CSE563/2010/Homeworks/hw1.pdf http://www.cse.buffalo.edu/~shapiro/Courses/CSE563/2010/Projects/proj1.pdf

  3. Logical Entailment Metatheorm Proof A1,…, An ╞L B <=> ╞LA1 ^ A2 ^ … ^ An => B

  4. Logical Entailment Metatheorm Proof A1,…, An ╞L B <=> ╞LA1 ^ A2 ^ … ^ An => B => Assume A1,…, An ╞L B Therefore B is true whenever all Ai are true From this we can say ╞LA1,…, An => B

  5. Logical Entailment Metatheorm Proof A1,…, An ╞L B <=> ╞LA1 ^ A2 ^ … ^ An => B => Assume A1,…, An ╞L B If this is uncomfortable for you, assume it’s not the case that ╞LA1,…, An => B. Then all A’s must be true and B is false. This contradicts the original assumption.

  6. Logical Entailment Metatheorm Proof A1,…, An ╞L B <=> ╞LA1 ^ A2 ^ … ^ An => B <= Assume ╞LA1 ^ A2 ^ … ^ An => B We can agree then, that: A1,…, An ╞L A1 ^ A2 ^ … ^ An => B And: A1,…, An ╞L A1 ^ A2 ^ … ^ An By modus ponens: A1,…, An ╞L B

  7. ‘How Dorothy Ended Up In Oz’ Domain If there is a cyclone Dorothy should hide in the cellar. If Toto jumps from Dorothy’s arms and hides, she should find him. If Dorothy takes time to find Toto, or if she is too slow, she won’t make it to the cellar before the cyclone hits. Dorothy ends up in Oz if she doesn’t make it to the cellar in time. Assume: There is a cyclone and Toto jumps from Dorothy’s arms and hides. Prove: Dorothy ends up in Oz.

More Related