110 likes | 233 Vues
This article explores Flakey, a communicating agent designed to interact using natural language, focusing on its action representation and reasoning capabilities. It delves into the case frame representation, detailing both concrete and generic actions. The framework analyzes actions such as "bring" and their implications, outlining the conditions required and their effects on the knowledge base. Through question-answering examples, the article demonstrates Flakey’s ability to infer and respond to queries about object locations and interactions, showcasing the integration of logic in conversational AI.
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."