110 likes | 220 Views
74.419 Artificial Intelligence. Flakey A Communicating Agent. Flakey - A Communicating Agent. Flakey as Communicating Agent Case Frame Representation Concrete and Generic Actions Effects of Actions Inference / Reasoning Two Types of Questions. Flakey as Communicating Agent.
E N D
74.419 Artificial Intelligence Flakey A Communicating Agent
Flakey - A Communicating Agent • Flakey as Communicating Agent • Case Frame Representation • Concrete and Generic Actions • Effects of Actions • Inference / Reasoning • Two Types of Questions
Flakey as Communicating Agent "Flakey, bringthis fileto Karen." verbdeterminer nounpreposition noun VNP PP NounPhrasePrepositionalPhrase headdirect objectindirect object listener agent actionpatiens recipient
Case Frames for Representing NL case frame action: bring head-verb agent: Flakey subject NP patiens: this file direct object NP recipient: to Karen indirect object NP manner: nowmodifier, adverb, AdvP(added) "Flakey, bringthis fileto Karen.” verb Noun PhrasePrepositional Phrase headdirect objectindirect object
Mapping Case Frames to Actions case frame agent: Flakey action: bringhead patiens: this file direct 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)
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))
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.
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.
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)
Flakey - Question Answering I “Flakey, where did you bringthe 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.”
Flakey - Question Answering II Q: “Flakey, where isthe file.” case frame action/status: is subject: the file identify 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 fileisat Karen.” or "Karen hasthe file."