1. Flakey - Example  Flakey as Communicating Agent  Case Frame Representation  Concrete and Generic Actions  Effects of Actions  Inference / Reasoning  Two Types of Questions

2. "Flakey, bring this file to Karen." listener verb determiner noun preposition noun V NP PP NounPhrase PrepositionalPhrase head direct object indirect object agent action patiens recipient Flakey as Communicating Agent

3. Case Frames for Representing NL "Flakey, bring this file to Karen.” verb NounPhrase PPhrase head direct object indirect object case frame action: bringheadverb patiens: this filedirect object recipient: to Karen indirect object manner: now modifier- added-

4. Mapping Case Frames to Actions case frame agent:Flakey action: bringhead patiens: this filedirect object recip.: to Karen indirect object robot action precondition: have (Flakey, file1) action: bring (Flakey, file1, Karen) effect: not (have (Flakey, file1)) and have (Karen, file1)

5. Concrete and Generic Actions I robot concrete action (instance of action) precondition: have (Flakey, file1) action: bring (Flakey, file1, Karen) effect: not (have (Flakey, file1)) and have (Karen, file1) robot generic action (concept in KB) precondition: have (agent, object) action: bring (agent, object, recipient) effect: not (have (agent, object)) and (have (recipient, object))

6. Concrete and Generic Actions II generic action: bring (agent, object, recipient) precondition: have (agent, object) effect: not (have (agent, object)) and (have (recipient, object)) instance of action: bring (Flakey, file1, Karen) precondition: have (Flakey, file1) effect: not (have (Flakey, file1)) and have (Karen, file1) You may add objects as features to action-frame.

7. Effects of Actions instance of action: bring (Flakey, file1, Karen) precondition: have (Flakey, file1) effect: not (have (Flakey, file1)) and have (Karen, file1) effect of this action delete from KB have (Flakey, file1) add to KB have (Karen, file1) preconditions and effects are formulae describing world states, related to the‘dynamic KB’.

8. Flakey - Reasoning, Inference Integrate General Rules (Proper Axioms; Theory) Axiom  x  y  loc: (have(x,y)  (at(x,loc)  at(y,loc))) Reasoning / Inference have (Flakey, object)  at (Flakey, here)  at (object, here)

9. Flakey - Question Answering I “Flakey, where did you bring the file.” case frame action: bring patiens: file1 destination: ? Compare to stored case frames: case frame action: bring patiens: file1 destination: Karen Conclusion and answer: “I brought the file to Karen.”

10. Flakey - Question Answering II Q: “Flakey, where is the file.” case frame action/status: is subject: the fileidentify with file1 location: ? refers to loc of file1 Access dynamic KB (world state) Stored from effect of bring-action or pre-stored:... at (file1, Karen),... have (Karen, file1),... A: “ The file is at Karen.” or "Karen has the file."