1 / 8

Agent Communication BDI Logic

Agent Communication BDI Logic. CPSC 601.68/CPSC 599.68 Rob Kremer Department of Computer Science University of Calgary.

nantai
Download Presentation

Agent Communication BDI Logic

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. Agent CommunicationBDI Logic CPSC 601.68/CPSC 599.68 Rob Kremer Department of Computer Science University of Calgary Based on:FIPA. FIPA Communicative Act Library Specification. Foundation for Intelligent Physical Agents, Document number SC00037J, Document source FIPA TC Communication. 2002.

  2. Basics • First order model logic with identity • Three primitive attitudes: Bip i (implicityly) believes p Uip i is uncertain about p but thinks that p is more likely than ¬p Cip (choice) i desires that p currently holds • Other attitudes: PGip i has p as a persistent goal (desire?) Iip i has the intention to bring about p CPSC 609.68/599.68: Agent Communications

  3. Actions a1 ; a2sequence in which a2 follows a1. a1 | a2 nondeterministic choice in which either a1 happens or a2 happens, but not both. Feasible(a,p) a can take place and, if it does, p will be true just after that. (Feasible(a)  Feasible(a, True) Possible(p)  a.Feasible(a,p). Done(a,p) a has just taken place and p was true just before that. (Done(a)  Done(a,True) Agent(i,a) i is the only agent that ever performs (in the past, present or future) the actions a. Single(a) a is not a sequence. ¬Single(a1;a2), but Single(a1|a2) iff Single(a1)/\Single(a2) CPSC 609.68/599.68: Agent Communications

  4. Abbreviations Bifip  Bip \/ Bi¬p Brefi lx(x)y.Bi(lx(x) = y). Agent i believes that it knows the (x which is) . Uifip  Uip \/ Ui¬p Urefi lx(x)y.Ui(lx(x) = y). ABn,i,jp  BiBjBi …p. n is the number of B operators alternating between i and j. CPSC 609.68/599.68: Agent Communications

  5. Property: intending to achieve a RE ⊨ (x . Bi ak=x) // there exists an action /\ RE(ak)=p // who’s RE is p /\ ¬Ci¬Possible(Done(ak)) // that i thinks should be done (Iip IiDone(a1| … |an) // then if i intends p, then i intents one of the act that can achieve it “If I intent to break the vase, then I intent to either drop it, or smash it with a hammer” CPSC 609.68/599.68: Agent Communications

  6. Property: satisfiability of intent ⊨ IiDone(a)  BiFeasible(a) \/ IiBiFeasible(a) If agent i intends a, then it needs to believe a is feasible or at least have the intent to discover if a is feasible “If I intend to build a perpetual motion machine, then I have to believe it’s possible or to at least discover if it’s possible.” CPSC 609.68/599.68: Agent Communications

  7. Property: intent of act implies intent of RE ⊨ IiDone(a)  IiRE(a) If agent i intends a, then it also intents the RE of a “If I intend to drop the vase, then I also intend to break the vase” CPSC 609.68/599.68: Agent Communications

  8. Property: observing an act ⊨ Bi(Done(a) /\ Agent(j,a)  IjRE(a)) If agent i observes j doing a, then i will come to believe the j intends the RE of a. “If I see Jane hammering the vase, then I believe that Jane intends to break the vase” CPSC 609.68/599.68: Agent Communications

More Related