1 / 8

Agent Communications BDI Definitions

Agent Communications BDI Definitions. CPSC 601.68/CPSC 599.68 Rob Kremer Department of Computer Science University of Calgary. Based on: Michael Wooldridge. Reasoning about Rational Agents. MIT Press, Cambridge, Mass. 2000. Chapter 2. Plan. BDI Agent. A simple BDI agent.

hollande
Download Presentation

Agent Communications BDI Definitions

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 CommunicationsBDI Definitions CPSC 601.68/CPSC 599.68 Rob Kremer Department of Computer Science University of Calgary Based on:Michael Wooldridge. Reasoning about Rational Agents. MIT Press, Cambridge, Mass. 2000. Chapter 2.

  2. Plan CPSC 609.68/599.68: Agent Communications

  3. BDI Agent CPSC 609.68/599.68: Agent Communications

  4. A simple BDI agent B := B0; I := I0; /* B0 are initial beliefs; I0 are initial intentions */ while true do { p := getNextPercept(); B := brf(B,p); D := options(B,I); I := filter(B,D,I);  := plan(B,I); execute() } Stuck to a plan:If the plan fails (becomes unsound) then the agent really should change the plan. CPSC 609.68/599.68: Agent Communications

  5. BDI Agent that reacts if plan is unsound B := B0; I := I0; /* B0 are initial beliefs; I0 are initial intentions */ while true do { p := getNextPercept(); B := brf(B,p); D := options(B,I); I := filter(B,D,I);  := plan(B,I); while not empty() do { a := hd(); execute(a);  := tail(); p := getNextPercept(); B := brf(B,p); if not sound(,I,B) then  := plan(B,I); } } Deals with unsound plans, but won’t drop intentions:What if we have unexpected early success or conditions arise that make our intentions useless or unobtainable? We might want to change our intentions. CPSC 609.68/599.68: Agent Communications

  6. BDI Agent that may drop intentions B := B0; I := I0; /* B0 are initial beliefs; I0 are initial intentions */ while true do { p := getNextPercept(); B := brf(B,p); D := options(B,I); I := filter(B,D,I);  := plan(B,I); while not (empty() or suceeded(I,B) or impossible(I,B)) do { a := hd(); execute(a);  := tail(); p := getNextPercept(); B := brf(B,p); if not sound(,I,B) then  := plan(B,I); } } But if the environment changes, we may need to reconsider intensions. CPSC 609.68/599.68: Agent Communications

  7. Cautious Agent that reconsiders after each action B := B0; I := I0; /* B0 are initial beliefs; I0 are initial intentions */ while true do { p := getNextIntention(); B := brf(B,p); D := options(B,I); I := filter(B,D,I);  := plan(B,I); while not (empty() or suceeded(I,B) or impossible(I,B)) do { a := hd(); execute(a);  := tail(); p := getNextPercept(); B := brf(B,p); D := options(B,I); I := filter(B,D,I); if not sound(,I,B) then  := plan(B,I); } } But this agent might spend almost all of it’s time considering intensions and no time actually doing useful stuff. CPSC 609.68/599.68: Agent Communications

  8. BDI Agent that attempts to strike a balance B := B0; I := I0; /* B0 are initial beliefs; I0 are initial intentions */ while true do { p := getNextPercept(); B := brf(B,p); D := options(B,I); I := filter(B,D,I);  := plan(B,I); while not (empty() or suceeded(I,B) or impossible(I,B)) do { a := hd(); execute(a);  := tail(); p := getNextPercept(); B := brf(B,p); if reconsider(I,B) then { D := options(B,I); I := filter(B,D,I); } if not sound(,I,B) then  := plan(B,I); } } This is only useful if reconsider() is a lot cheaper than options() and filter(). CPSC 609.68/599.68: Agent Communications

More Related