100 likes | 173 Views
74.419 Artificial Intelligence 2003/04 - Project Outline -. Projects Agent Architecture (MPMA) example processing video: CommandTalk (SRI) demo: START (MIT). Flakey as Communicating Agent. "Flakey, bring this file to Karen. " listener verb determiner noun preposition noun
E N D
74.419 Artificial Intelligence 2003/04 - Project Outline - Projects Agent Architecture (MPMA) example processing video: CommandTalk (SRI) demo: START (MIT)
Flakey as Communicating Agent "Flakey, bringthis fileto Karen." listener verbdeterminer nounpreposition noun VNP PP NounPhrasePrepositionalPhrase head direct objectindirect object agentactionpatiens destination
Case Frames for Representing NL "Flakey, bringthis fileto Karen.” verb NounPhrasePrepositionalPhrase head direct objectindirect object case frame action: bring head verb patiens: this file direct object recipient: to Karen indirect object manner: now modifier - added-
Mapping Case Frames to Actions case frame agent: Flakey action: bring head 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 I 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 xyloc: (have(x,y) (at(x,loc) at(y,loc))) Reasoning / Inference have (Flakey, object) at (Flakey, here) at (object, here)
Flakey - Question Answering “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 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."